Related changes

28 July 2025

• 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.) Tag: 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 Subset 01:30 +1 Maxeto0910 talk contribs Tag: Visual edit
• diffhist Subset 01:30 −1 Maxeto0910 talk contribs (no sentence) Tag: Visual edit
• 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 Filter (set theory) 18:11 +8 Tea2min talk contribs (Undid revision 1302767324 by 177.54.93.140 (talk)) Tag: Undo
• 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 Filter (set theory) 10:43 −8 177.54.93.140 talk Tag: Reverted
• diffhist Georg Cantor 10:21 +16 154.208.44.74 talk (Mathematician) Tags: Mobile edit Mobile web edit
• 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)
• diffhist Propositional calculus 10:11 −244 Justlettersandnumbers talk contribs (re-target following page swap) Tag: New redirect
• Move log 10:08 Justlettersandnumbers talk contribs moved page Propositional calculus to Propositional logic without leaving a redirect (per talk, step 2 of round-robin)
• diffhist Three-valued logic 05:14 0 Rwv37 talk contribs (→Logics: small wording)
• diffhist Expression (mathematics) 04:50 +1 Farkle Griffen talk contribs (Moved history to bottom) Tag: Visual edit
• diffhist Expression (mathematics) 04:49 −1,125 Farkle Griffen talk contribs (Moved a bunch of computation-esque subsections into one "Computer science" section) Tags: Visual edit Disambiguation links added
• diffhist Real number 00:05 +26 Ammrat13 talk contribs (→Sources: Use `refbegin` and `refend`)

25 July 2025

• diffhist Tuple 23:27 −4 Remsense talk contribs (Reverting edit(s) by 50.200.23.198 (talk) to rev. 1288529356 by Jochen Burghardt: Vandalism (UV 0.1.6)) Tags: Ultraviolet Undo
• diffhist Tuple 23:25 +4 50.200.23.198 talk (→Properties) Tag: Reverted
• diffhist m Set (mathematics) 23:02 −48 Remsense talk contribs (Reverted 1 edit by 2405:9800:B860:9CC2:ADEF:4AE4:BB74:3A48 (talk) to last revision by Citation bot) Tags: Twinkle Undo
• diffhist Set (mathematics) 22:59 +48 2405:9800:b860:9cc2:adef:4ae4:bb74:3a48 talk Tag: Reverted
• diffhist m Expression (mathematics) 22:33 −6 Farkle Griffen talk contribs (Are -> Denote) Tag: Visual edit: Switched
• diffhist Euclid's Elements 21:58 +31 David Eppstein talk contribs (→References: Karen Michalowicz)
• diffhist m Euclid's Elements 20:59 +73 David Eppstein talk contribs (→References: some links)
• diffhist Fuzzy set 20:58 +1 Headbomb talk contribs (ce)
• diffhist Expression (mathematics) 17:27 −44 Jacobolus talk contribs (we don't need a hatnote linking a disambig page; Expression doesn't redirect here)
• diffhist Expression (mathematics) 17:26 −85 Jacobolus talk contribs (rv: this is a super confusing hatnote, and it's not clear what it's trying to communicate, but anyway mathematical formula is wikilinked prominently in the second paragraph; I think readers will be able to find it) Tag: Undo
• diffhist m Many-valued logic 15:50 +30 Kvng talk contribs (MOS:TERM)
• diffhist m Expression (mathematics) 14:31 +4 Farkle Griffen talk contribs Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Expression (mathematics) 14:26 0 Farkle Griffen talk contribs Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Expression (mathematics) 14:25 +81 Farkle Griffen talk contribs (Disambiguation of "mathematical expression") Tags: Reverted Mobile edit Mobile app edit iOS app edit App section source
• diffhist Syllogism 07:48 +107 Benedikt Schöps talk contribs (Another use of the word syllogistic)