Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
28 April 2025
- diffhist m Formal language 10:52 +2 Nyngwang talk contribs (→Definition)
- diffhist m Formal language 10:44 +16 Nyngwang talk contribs (add internal link.)
- diffhist Formal language 10:32 +201 Nyngwang talk contribs (Formalize the definition of "well-formed" by set theory; notice that this edit also formalized the possibly informal term "expression".)
- diffhist Formal language 10:00 +54 Nyngwang talk contribs (Prefer introducing the parent set Σ* first instead of doing so for its subset, since a reader should be able to derive the informal meaning of its subset themselves; use markdown tags for math symbols.)
- diffhist Alphabet (formal languages) 07:16 −41 Nyngwang talk contribs (Remove superfluous adjective "indivisible", which at worst is misleading when an alphabet is simply a "non-empty set"; simplified the immediate sentence following it.)
- diffhist m Alphabet (formal languages) 06:41 −3 Nyngwang talk contribs
- diffhist Alphabet (formal languages) 06:38 +31 Nyngwang talk contribs (Add wiki-link to the definition section of the page "formal language". All previous revisions I made are credited to the linked section.)
- diffhist Alphabet (formal languages) 05:44 +75 Nyngwang talk contribs
- diffhist Alphabet (formal languages) 04:13 +101 Nyngwang talk contribs
- diffhist Willard Van Orman Quine 00:23 +33 Turtlens talk contribs (→Rejection of the analytic–synthetic distinction)
27 April 2025
- diffhist Russell's paradox 22:21 −3 Eric Rowland talk contribs (punctuation)
- diffhist Propositional calculus 21:58 +305 Thiagovscoelho talk contribs (→Syntax: added another name) Tag: Visual edit
- diffhist Georg Cantor 20:06 −9 Trovatore talk contribs (Undid revision 1287684155 by 2806:104E:4:B8FD:A54:1E30:4C5E:139D (talk)) Tag: Undo
- diffhist Georg Cantor 20:01 +9 2806:104e:4:b8fd:a54:1e30:4c5e:139d talk (Contenido añadido) Tags: Reverted Mobile edit Mobile web edit
- diffhist Primitive recursive function 17:30 0 Wws talk contribs (→Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org))
- diffhist Non-standard model 16:23 +87 Mooonswimmer talk contribs (Adding local short description: "Model in mathematical logic not isomorphic to the standard model", overriding Wikidata description "model of a theory that is not isomorphic to the intended model") Tag: Shortdesc helper
- diffhist Church–Turing thesis 02:39 +4 174.72.84.123 talk (→Statement in Church's and Turing's words)
26 April 2025
- diffhist m Set (mathematics) 18:57 +1 Mdavis94538 talk contribs (→Power set: emptyset => empty set)
- diffhist m Set (mathematics) 18:55 +1 Mdavis94538 talk contribs (→Algebra of subsets: emptyset => empty set)
- diffhist Kurt Gödel 17:22 +3,128 Marc Schroeder talk contribs (→Important publications: Added aleditors to)
- diffhist Philosophy of mathematics 12:58 +54 Oneequalsequalsone talk contribs (→Psychologism: add 'by whom' template) Tag: Visual edit
- diffhist Mathematics 09:39 −41 D.Lazard talk contribs (Reverted 1 edit by Wikideas1 (talk): Unneeded: This belongs to mathematical education and is liked to in Mathematical education) Tags: Twinkle Undo
- diffhist Mathematics 05:55 +41 Wikideas1 talk contribs (→Training and practice: |Computer-based mathematics education}}) Tag: Reverted
25 April 2025
- diffhist m Information theory 23:56 −35 Remsense talk contribs (Reverted 1 edit by $govindsinghbabhan$ (talk) to last revision by Remsense) Tags: Twinkle Undo
- diffhist Information theory 23:49 +35 $govindsinghbabhan$ talk contribs (Added Citation needed) Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit Newcomer task Newcomer task: references
- diffhist m Logical disjunction 20:20 −3 MeowBombz talk contribs (Small edit to make the list of alternate names read better)
- diffhist Set (mathematics) 18:23 +82 Remsense talk contribs (→Roster notation: ce? please forgive me if this is worse)
- diffhist m Set (mathematics) 17:43 +1 Miles Waugh talk contribs (→Roster notation: Small grammatical fix.)
- diffhist Cardinality 14:41 +1 JRSpriggs talk contribs (→Finite sets: spelling)
- diffhist m Cardinality 13:17 0 Willondon talk contribs (→Finite sets: typo)
- diffhist m Bertrand Russell 11:18 0 Headbomb talk contribs (ce)
- diffhist P versus NP problem 06:53 −3 Cedar101 talk contribs (→Formal definitions: \mathsf ′ {{tooltip}})
- diffhist Logic 02:19 +1 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
- diffhist Logic 02:18 −2 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
- diffhist Logic 02:18 0 DuncanHill talk contribs (→Bibliography: Get names right way round!)
24 April 2025
- diffhist Extensionality 23:52 −37 Fang-runin talk contribs (I resolved a "clarification needed" request for the Univalence bullet point in the Extensionality subsection, wherein I provided the types of the mathematical objects and defined the notation used.) Tag: Visual edit
- diffhist m Axiomatic system 23:03 −1 Alinowe talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit App section source
- diffhist Logic 22:35 +55 David Eppstein talk contribs (→Bibliography: even more authorlinks)
- diffhist Logic 22:29 +197 David Eppstein talk contribs (→Bibliography: more authorlinks)
- diffhist Axiomatic system 22:07 +17 Yesterday, all my dreams... talk contribs (formal statements, not notions)
- diffhist Axiomatic system 22:01 +1 Yesterday, all my dreams... talk contribs (→Axiomatization and proof)
- diffhist Axiomatic system 22:01 +52 Yesterday, all my dreams... talk contribs (→Axiomatization and proof: Only for systems not complete)
- diffhist Axiomatic system 21:58 −6 Yesterday, all my dreams... talk contribs (move)
- diffhist Axiomatic system 21:57 −407 Yesterday, all my dreams... talk contribs (→Issues: unsourced and utter nonsense)
- diffhist Logic 21:56 +106 David Eppstein talk contribs (→Bibliography: several authorlinks, one missing accent in author name, and one reversed author name)
- diffhist m Sequent calculus 19:24 +37 Theanswertolifetheuniverseandeverything talk contribs (Clarify restrictions on ∃L and ∀R) Tag: Visual edit
- diffhist Cardinality 15:29 0 35.21.79.36 talk (fixed the in-article link on "Pre-Cantorian Set theory", it should actually send one to the spot in the article now. It didn't previously because the S in Set wasn't capitalized.)
- diffhist m Principia Mathematica 14:31 −72 Cutlass talk contribs (Reverted 1 edit by 2A02:1810:1E1F:4000:6500:6530:E56A:6D6D (talk) to last revision by Galaktos) Tags: Twinkle Undo
- diffhist Principia Mathematica 14:31 +72 2a02:1810:1e1f:4000:6500:6530:e56a:6d6d talk (→Scope of foundations laid) Tags: Reverted extraneous markup
- diffhist Function (mathematics) 13:49 +49 Mindmatrix talk contribs (revert - the goal of hatnotes is to point readers in the right direction for subjects having the same or similar names, irrespective of relation to the current page)