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
30 July 2025
- diffhist Inaccessible cardinal 18:59 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
- diffhist Constructible universe 18:58 +115 Beland talk contribs ({{MOS|article|date=July 2025| MOS:FORMULA - avoid mixing {{tag|math}} and {{tl|math}} in the same expression}})
- diffhist Universal set 10:39 +33 IrisChronomia talk contribs (linking) Tag: Visual edit
- diffhist m Primitive recursive function 09:34 +36 Marc Schroeder talk contribs (Replaced LaTeX "\stackrel.-" by "\mathbin{\dot{-}}" for monus)
- diffhist m Negation 09:00 −4 EvanBaldonado talk contribs (Replace curly quotes with straight quotes (see MOS:CURLY).)
- diffhist m Validity (logic) 09:00 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
29 July 2025
- diffhist Bertrand Russell 11:06 −1 Bruce leverett talk contribs (Undid revision 1303098984 by Chibits42 (talk) Section title was correct as is.) Tag: Undo
- diffhist m Euclid's Elements 11:00 0 Nyq talk contribs (lc common nouns (names of the mathematical theorems are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Turing machine 09:54 −15 A3nm talk contribs (→See also: link) Tag: 2017 wikitext editor
- diffhist Foundations of mathematics 09:16 −84 D.Lazard talk contribs (→Foundational crisis: providing clarification)
- diffhist Foundations of mathematics 04:28 +133 ArthurDent006.5 talk contribs (→Foundational crisis: Request link to actual discussion of the (contextually) non-proveable theorems.)
- diffhist Logicism 03:39 0 Jonesey95 talk contribs (fix non-existent templates per WP:REDNOT.)
- diffhist m Bertrand Russell 03:04 +1 Chibits42 talk contribs (→Marriages and issue) Tags: Reverted Visual edit
28 July 2025
- diffhist m Axiom of choice 23:43 −99 Tito Omburo talk contribs (Undid revision 1294714974 by Goodphy (talk)) Tag: Undo
- diffhist Logicism 23:21 +437 Hairy Dude talk contribs (→The unit class, impredicativity, and the vicious circle principle: again) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Logicism 23:03 +134 Hairy Dude talk contribs (→An example of a logicist construction of the natural numbers: Russell's construction in the Principia: {{quote}} etc. again) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Logicism 22:48 +297 Hairy Dude talk contribs (rv translation of Frege's work "Grundgesetze" ("Basic Laws"). The link to The Foundations of Mathematics ("Grundlagen") suggests confusion as to which work is actually being referred to) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Logicism 22:26 +15 Hairy Dude talk contribs (→Epistemology, ontology and logicism: again; fix quotation mark nesting; abbreviate numbers in ranges to exactly two digits) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Logicism 22:19 +39 Hairy Dude talk contribs (→Intent, or goal, of logicism: correct placement of parentheses; {{quote}}; don't space out ellipses; use attribution parameter) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Logicism 22:14 −30 Hairy Dude talk contribs (→Overview: use English; edition → volume; citation → cite book) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Tarski's undefinability theorem 22:09 0 Hairy Dude talk contribs (→Discussion: put punctuation outside math tags) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Tarski's undefinability theorem 22:09 +10 Hairy Dude talk contribs (→Statement: don't use contractions; capitalisation; rm spurious comma; put punctuation outside math tags) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Tarski's undefinability theorem 22:03 +10 Hairy Dude talk contribs (→History: don't put book titles in quotation marks; lang tag) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Cantor's paradox 21:58 +93 Hairy Dude talk contribs (→References: correct use of CS1 parameters) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist Material conditional 19:26 −279 KenyonP talk contribs (Should not be citing stack exchange)
- diffhist Isomorphism 17:09 −35 JayBeeEll talk contribs (Undid revision 1302950106 by Goodphy (talk) rv: awkward, unclear, and often not actually part of the definition) Tag: Undo
- diffhist Template:Main other 14:53 +182 Pppery talk contribs (Make substable per request)
- diffhist Module:Disambiguation/templates 14:49 +41 Pppery talk contribs (Update list)
- diffhist Isomorphism 08:03 +35 Goodphy talk contribs (Elaborated the definition of isomorphisms in the introductory section.) Tags: Reverted Visual edit
- diffhist Negation 05:48 +173 Anythingyouwant talk contribs (→Programming language and ordinary language: insert ref)
- diffhist Negation 05:37 −4 Anythingyouwant talk contribs (→Programming language and ordinary language: fix !vote)
- diffhist Cardinality 04:45 +1,214 Farkle Griffen talk contribs (→Inequality: Added refs) Tag: Visual edit
- diffhist m Euclid's Elements 03:07 +6 Jessicapierce talk contribs (fixed ref error, minor copy edits)
- diffhist Negation 01:23 +20 Mx. Granger talk contribs (→Programming language and ordinary language: citation needed)
- diffhist Euclid's Elements 00:51 +258 David Eppstein talk contribs (demote P.Oxy. to extlink and add another actual ref)
- diffhist Euclid's Elements 00:44 +12 David Eppstein talk contribs (I think changing "incommensurable lines" to "incommensurability" is clearer for the general overview sections, especially as "lines" in this context really means "line segments")
- diffhist Formal system 00:38 −39 Yesterday, all my dreams... talk contribs (→Proof system: axioms are not theorems, given that they involve no proof as such)
- diffhist Formal system 00:37 −85 Yesterday, all my dreams... talk contribs (→Proof system: not every proof leads to a theorem)
- diffhist m Expression (mathematics) 00:29 +11 Farkle Griffen talk contribs (→Formal definition) Tag: Visual edit
- diffhist Expression (mathematics) 00:27 +123 Farkle Griffen talk contribs (→Formal definition: Fixed somewhat anachronistic explanation "over the centuries" and loosened definition slightly to mention non-linear notation) Tag: Visual edit
- diffhist Theorem 00:02 −28 David Eppstein talk contribs (→Informal account of theorems: really the entire book is about this claim but this page will do)
- diffhist Theorem 00:00 +1 David Eppstein talk contribs (→Works cited: less spammy download link)
27 July 2025
- diffhist Theorem 23:58 +367 David Eppstein talk contribs (→Lore: trim to something that can be credibly sourced)
- diffhist Robinson arithmetic 18:59 −329 Oneequalsequalsone talk contribs (this makes little difference but can induce confusion) Tag: Visual edit
- diffhist Hilbert's axioms 18:22 +541 Soucelover talk contribs (→I. Incidence: Wrote formal definitions of first three Incidence axioms.)
- diffhist m Euclidean geometry 17:54 0 Nyq talk contribs (lc per MOS:SECTIONCAPS and MOS:EXPABBR, lc other common nouns) Tag: Visual edit
- diffhist Sequent calculus 12:37 +51 95.208.134.162 talk (I have corrected the authors of a citation.)
- diffhist Syllogism 09:03 −6 Andi Fugard talk contribs (→Typeslinked from 'Term logic') Tag: Visual edit: Switched
26 July 2025
- diffhist Euclid's Elements 22:13 −191 David Eppstein talk contribs (move more citations into more-consistent sfn style; rescue "mathematical treasures" ref)
- diffhist Euclid's Elements 22:02 0 David Eppstein talk contribs (→Apocryphal books: avoid disputed redirect)