Related changes

21 July 2025

• diffhist Boolean algebras canonically defined 16:52 −10 SamSat talk contribs
• diffhist Binary tree 15:32 +455 CiaPan talk contribs (→Recursive definition: adding a note on the branches' set)
• diffhist Principia Mathematica 15:24 +6 Jean Abou Samra talk contribs (→Comparison with set theory: cn) Tags: Mobile edit Mobile web edit
• diffhist Foundations of geometry 15:23 +12 RankASea talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Mobile edit Mobile web edit Newcomer task Suggested: add links
• diffhist Cardinality 03:03 +8 ALittleClass talk contribs (minor grammar fix "cardinality is greater than [that of] the integers") Tag: Visual edit
• diffhist Euclid's Elements 00:22 +40 David Eppstein talk contribs (gah bad metadata from doi.org; rm one bogus isbn and tag another as ok)
• diffhist Euclid's Elements 00:19 +338 David Eppstein talk contribs (→Non-Euclidean geometry: this will do for the remaining citation)
• diffhist Euclid's Elements 00:15 +555 David Eppstein talk contribs (supply requested pages; fix heath name; tag isbn as ok; supply one of two requested citations)

20 July 2025

• diffhist m Cardinality 19:20 −4 Nimbru talk contribs (removed questionable "and")
• diffhist Gödel's incompleteness theorems 14:58 −116 Jochen Burghardt talk contribs (→top: now obsolete)
• diffhist Banach–Tarski paradox 14:01 +12 Will Orrick talk contribs (Undid revision 1301563781 by 77.11.62.100 (talk) Difficult to tell what the edit was trying to say, but whatever it was, it seems unlikely to be backed by a reliable source.) Tag: Undo
• diffhist Banach–Tarski paradox 13:56 −12 77.11.62.100 talk (This is not a paradox, but Mathematician being smart about defining stuff so it bends to their will. Poor.) Tag: Reverted
• diffhist Construction of the real numbers 10:39 0 97.120.138.17 talk (→Explicit constructions of models)
• diffhist m Church–Turing thesis 09:27 +1 Avarai talk contribs (→Circa 1930–1952: Missing comma) Tags: Mobile edit Mobile app edit Android app edit App select source
• diffhist m Church–Turing thesis 09:25 0 Avarai talk contribs (→Later developments: Punctuation consistency) Tags: Mobile edit Mobile app edit Android app edit App select source
• diffhist m Euclidean geometry 05:28 0 Nyq talk contribs (lc common noun) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Axiom 05:23 0 Nyq talk contribs (lc common nouns (names of the mathematical laws and principles are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m First-order logic 02:36 +7 Farkle Griffen talk contribs (→Formulas: Equality is a predicate, and linked to the correct article) Tag: Visual edit

19 July 2025

• diffhist Formal language 22:12 +14 73.15.152.232 talk (adjusting by flipping around 'concatenation' highlights surely seen out of order; 3 or 4 uses of this word among the text ---<--@)
• diffhist m Gödel's incompleteness theorems 21:31 −29 FrazerSebastian talk contribs (Godels theroum are universally accepted in the scientific community.)
• diffhist Peano axioms 19:26 +16 Tassedethe talk contribs
• diffhist m Foundations of mathematics 19:22 +15 Tassedethe talk contribs (v2.05 - fix links - Jeremy Gray / Fix errors for CW project (Whitespace characters after heading)) Tag: WPCleaner

18 July 2025

• diffhist Tree (graph theory) 16:11 +15 Avarai talk contribs (→top: Intro math definition clarity) Tags: Mobile edit Mobile app edit Android app edit App section source
• diffhist Symbol (formal) 14:49 0 Oculusvides talk contribs (→Words modeled as formal symbols: Corrected capitalization) Tags: Mobile edit Mobile web edit
• diffhist Logic 13:47 −2,909 MartinPoulter talk contribs (Undid revision 1301177266 by Yourstruly1167 (talk) Off-topic and sourced to a self-published blog) Tag: Undo
• diffhist Logic 13:36 +2,909 Yourstruly1167 talk contribs (Addition of a new engineering study on logical methods) Tags: Reverted Visual edit: Switched
• diffhist Boolean algebra 10:59 +2 Oneequalsequalsone talk contribs (→Propositional logic) Tag: Visual edit
• diffhist Tree (graph theory) 06:17 +1 Avarai talk contribs (Updated short description) Tags: Mobile edit Mobile app edit Android app edit App description change
• diffhist m P versus NP problem 00:27 +14 JayBeeEll talk contribs (claiming responsibility for one sentence of changes by a banned user)

17 July 2025

• diffhist P versus NP problem 18:21 +338 Lynch44 talk contribs (Reverted 2 edits by 167.98.155.171 (talk): Rv block evasion) Tags: Twinkle Undo Mobile edit Mobile web edit
• diffhist P versus NP problem 08:30 −274 167.98.155.171 talk (→Context: "clearly" and "arguably" are not useful things to write. improved general tone, and removed statement of the blindingly obvious which was also extremely badly written) Tag: Reverted
• diffhist P versus NP problem 08:23 −64 167.98.155.171 talk (→History: improved very bad grammar and general tone) Tag: Reverted

16 July 2025

• diffhist Tautology (logic) 20:24 +70 Jemptymethod talk contribs (LOL)
• diffhist Cardinality 19:57 −13 Trovatore talk contribs (Undid revision 1300765959 by ALittleClass (talk) "powerset" is a common spelling in the field) Tag: Undo
• diffhist Formal system 15:50 −57 180.75.46.143 talk (sprucing up of paragraph)
• diffhist Formal system 15:36 +35 180.75.46.143 talk (i have removed statements on this page which are inaccurate (note: formal systems have nothing to do with inductive systems). i have restored paragraphs from earlier versions of this page.)
• diffhist m Formal system 11:20 +317 ClueBot NG talk contribs (Reverting possible vandalism by 203.106.194.247 to older version. Report False Positive? Thanks, ClueBot NG. (4404302) (Bot)) Tag: Rollback
• diffhist Formal system 11:15 +17 203.106.194.247 talk Tags: Manual revert Reverted
• diffhist Formal system 11:15 −17 203.106.194.247 talk Tag: Reverted
• diffhist Formal system 11:13 +34 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
• diffhist Formal system 11:13 −1 203.106.194.247 talk Tag: Reverted
• diffhist Formal system 11:12 −350 203.106.194.247 talk (i have restored the older version of this page, because the new edits are linguistically and mathematically inaccurate.) Tag: Reverted
• diffhist Proposition 08:40 +4 Phlsph7 talk contribs (Undid revision 1300350032 by 2A02:CE0:2002:6C57:C0B8:6EC5:3593:49B8 (talk) sentences are linguistic expressions) Tag: Undo
• diffhist Cardinality 08:03 +13 ALittleClass talk contribs (replaced instances of "powerset" with "power set") Tags: Reverted Visual edit

15 July 2025

• diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
• diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
• diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
• diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
• diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
• diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))