Related changes

5 August 2025

• diffhist Euclid's Elements 02:20 +10 David Eppstein talk contribs (→Book X: format sqrt better; avoid abbrvs)
• diffhist Euclid's Elements 02:05 +274 David Eppstein talk contribs (→Book IX: clarify that Euclid does not even claim to generate all even perfects)
• diffhist Principia Mathematica 01:48 +31 131.203.59.130 talk (→Footnotes: Old link was no longer valid. Updating with a valid link (to pdf)) Tag: Visual edit

4 August 2025

• diffhist Cardinality 21:59 +1,511 Farkle Griffen talk contribs (→Cardinal numbers: Added refs) Tag: Visual edit
• diffhist m Function (mathematics) 21:43 0 EliBall talk contribs (→General properties: Fixed grammar) Tags: canned edit summary Mobile edit Mobile app edit Android app edit App section source
• diffhist m Function (mathematics) 21:37 −3 EliBall talk contribs (→Notation: Removed the use of "pronounced" when referring to a symbol and replace it with "read as," as is consistent with the rest of the article.) Tags: Mobile edit Mobile app edit Android app edit App section source
• diffhist Diophantine equation 16:07 −1,646 Johnjbarton talk contribs (Undid revision 1304177630 by Marc Schroeder (talk) Sorry but this edit has many changes contrary to WP:CITEVAR. You should not change the style of citations without consensus. A series of smaller edits will avoid collateral damage.) Tag: Undo
• diffhist Diophantine equation 12:49 +1,646 Marc Schroeder talk contribs (updated references; no change of content) Tag: Reverted
• diffhist Cardinality 07:19 +15 ALittleClass talk contribs Tag: Visual edit
• diffhist m Existential quantification 04:25 −3 Farkle Griffen talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Existential quantification 04:25 −6 Farkle Griffen talk contribs (Fixed typos) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Existential quantification 04:23 +36 Farkle Griffen talk contribs (Slightly simpler first line) Tag: Visual edit

3 August 2025

• diffhist Fermat's Last Theorem 21:46 0 Headbomb talk contribs (ce)
• diffhist Cardinality 21:17 +1,508 Farkle Griffen talk contribs (→Uncountable sets: Added refs) Tags: harv or sfn error Visual edit
• diffhist Ancient Greek 18:21 +116 Demetrios1993 talk contribs (Minor rephrasing)

2 August 2025

• diffhist Lambda calculus 21:23 −89 David Eppstein talk contribs (skeptical this is reliable, but swap out deadlink)
• diffhist Uniqueness quantification 19:53 +1,276 Farkle Griffen talk contribs (Undid revision 1303907587 by 2806:269:4481:8EBE:5582:502A:7F1F:D12 (talk) rvv) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
• diffhist Uniqueness quantification 19:51 −1,276 2806:269:4481:8ebe:5582:502a:7f1f:d12 talk (Seek the words precisas f0r anything Just ITS a little paused.) Tags: citing a blog or free web host Reverted references removed Mobile edit Mobile web edit Disambiguation links added
• diffhist Propositional calculus 19:47 +47 Christian75 talk contribs ({{R from move}})
• diffhist m Fermat's Last Theorem 15:50 +7 Crooked cottage talk contribs (Change to neutral English 'mathematics')
• diffhist Natural number 14:36 −47 KingSkyLord talk contribs (Reverted 1 pending edit by 78.245.84.142 to revision 1303575768 by Eulersidentity) Tag: Manual revert
• diffhist Natural number 14:20 +47 78.245.84.142 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Ancient Greek 14:07 +133 Florian Blaschke talk contribs (add)
• diffhist Ancient Greek 14:05 +258 Florian Blaschke talk contribs (Expanding remark about the inclusion of Koine Greek and Mycenaean Greek in Ancient Greek)
• diffhist Operation (mathematics) 13:28 +10 D.Lazard talk contribs (Reverted 1 edit by LucasBrown (talk): Too vague to be helpful. Also, WP:SDNOTDEF) Tags: Twinkle Undo
• diffhist Operation (mathematics) 13:20 −10 LucasBrown talk contribs (Changing short description from "Addition, multiplication, division, ..." to "Function from a set to itself") Tags: Shortdesc helper Reverted
• diffhist Contradiction 13:14 +90 Lentower talk contribs (→See also: add item; columnize on wider windows)
• diffhist Minimal axioms for Boolean algebra 09:40 +227 Mateusz Pyzik talk contribs (Mention redundancy of the idempotence assumption, with citation.)
• diffhist Minimal axioms for Boolean algebra 09:19 +42 Mateusz Pyzik talk contribs (Idempotence assumption was missing. See p. 486, Example 4.5, in the cited Huntington's article where idempotence of logical OR is shown te be independent of the other axioms.)
• diffhist Gödel's incompleteness theorems 07:16 +48 IrisChronomia talk contribs (added invisible comment that's visible even with visual editor.) Tag: Visual edit
• diffhist Gödel's incompleteness theorems 06:57 0 Julietdeltalima talk contribs (Reverted 1 pending edit by 102.89.47.19 to revision 1301572525 by Jochen Burghardt: reverting conceptually incorrect edit apparently made without reading hidden text) Tags: Manual revert Mobile edit Mobile web edit Advanced mobile edit
• diffhist Gödel's incompleteness theorems 03:48 0 102.89.47.19 talk (Fixed a typo) Tags: Reverted Mobile edit Mobile web edit

1 August 2025

• diffhist m Cardinality 21:14 +74 Farkle Griffen talk contribs (→Uncountable sets: added color) Tag: Visual edit
• diffhist m Cardinality 20:03 0 Arjayay talk contribs (Duplicate word reworded)
• diffhist Enumeration 14:40 +32 1F616EMO talk contribs (Added {{One source}} tag) Tag: Twinkle
• diffhist Sequent calculus 13:35 +8 80.229.208.152 talk (→Sequent calculus systems: change "sequent" to "sequent formula", per the cited source. The source does not say that a cedent is also called a sequent, and neither should we; it would be confusing.)
• diffhist Template:Radic 07:19 +23 Beland talk contribs ({{Deprecated template}})
• diffhist m Russell's paradox 06:19 +2 Nubtom talk contribs (Fixed grammar) Tags: Mobile edit Mobile app edit iOS app edit App select source
• diffhist Cardinality 03:38 +401 Farkle Griffen talk contribs (→Uncountable sets: Added example, and MOS:WE) Tag: Visual edit

31 July 2025

• diffhist m Natural number 20:18 −10 Eulersidentity talk contribs (Reverted 1 edit by 103.162.51.51 (talk) to last revision by AnomieBOT) Tags: Twinkle Undo
• diffhist Natural number 20:00 +10 103.162.51.51 talk (01871640875) Tags: Reverted Mobile edit Mobile web edit
• diffhist m Transfer principle 19:49 +2 DerSpezialist talk contribs (→Statement: Typo)
• diffhist Alphabet (formal languages) 18:51 −12 David Eppstein talk contribs (it is the notation not the strings that needs to be unambiguous)
• diffhist Alphabet (formal languages) 18:51 −7 David Eppstein talk contribs (→top: I guess infinite strings are a thing)
• diffhist Alphabet (formal languages) 18:49 −6,140 David Eppstein talk contribs (Undo. I think this whole section is a mistake and a misreading. The ambiguity occurs only when WRITING strings, not in their actual definition. Expand clarification in lead)
• diffhist Alphabet (formal languages) 18:17 +6,557 Jochen Burghardt talk contribs (suggest own section to elaborate on "indivisible symbols" (needs critical review, and most likely some improvement; also might be of undue weight here)) Tag: possible prose issues
• diffhist m Higher-order logic 14:21 +4 Notsam1 talk contribs (Just added a hyperlink to first order logic; feel free to reverse it if it sounds redundant) Tag: Visual edit
• diffhist m P versus NP problem 07:17 −2 Banedon talk contribs (→Popular culture)
• diffhist m P versus NP problem 07:15 +4 Banedon talk contribs (→Results about difficulty of proof)
• diffhist m Cardinality 05:25 +102 Farkle Griffen talk contribs (added ref) Tag: Visual edit