Related changes

22 July 2025

• diffhist Banach–Tarski paradox 11:40 +1 Will Orrick talk contribs (locales: "point" --> "points")
• diffhist Banach–Tarski paradox 11:30 +4 Will Orrick talk contribs (One of the copy edits altered the sense of the sentence. Rephrase for clarity.)
• diffhist m Tarski's axioms 09:46 0 Nyq talk contribs (lc common nouns (names of the mathematical laws, axioms and principles are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Tarski's axioms 09:44 +5 Nyq talk contribs (lc common nouns (names of the mathematical laws, acioms and principles are not proper nouns), wikiformatting) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Tarski's axioms 09:39 0 Nyq talk contribs (lc per MOS:SECTIONCAPS) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Tarski's axioms 09:37 0 Nyq talk contribs (lc common nouns (names of the mathematical laws, axioms and principles are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Tarski's axioms 09:36 +8 Nyq talk contribs (lc common nouns (names of the mathematical laws, axioms and principles are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Hilbert's axioms 09:21 0 Nyq talk contribs (lc common noun (names of scientific axioms, laws and theorems are not proper nouns)) Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Satisfiability 07:15 +21 Jochen Burghardt talk contribs (Undid revision 1301861019 by 187.189.66.209 (talk): why?) Tag: Undo
• diffhist Banach–Tarski paradox 07:08 −342 2601:447:c600:4ce0:3921:7b41:f444:bef0 talk (ce) Tag: Visual edit
• diffhist Euclid's Elements 06:33 +29 David Eppstein talk contribs (most recent date I can find with a consistent citation style is early in 2010, when this was all CS1, and it still predominantly is; standardize on that. I don't see why a 2019 reformat is relevant but I don't want to get into a contest of who can be pissier than whom, so whatever.)
• diffhist m Euclid's Elements 06:30 +3 Jacobolus talk contribs (→References)
• diffhist Euclid's Elements 06:29 −75 Jacobolus talk contribs (the google books link for heath's book is useless. let's cite the Clarendon edition of which Dover's is basically a facsimile)
• diffhist Euclid's Elements 06:23 +16 Jacobolus talk contribs (→References: the "indent" style was set for sources by user:Waynejayes in 2019, and has been fine for the past 6 years; there's no particularly obvious reason to change it without discussion)
• diffhist Satisfiability 03:46 −21 187.189.66.209 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Euclid's Elements 00:07 −32 David Eppstein talk contribs (clean up ibox subject)
• diffhist m Euclid's Elements 00:06 +9 David Eppstein talk contribs (→Background: ce)
• diffhist Euclid's Elements 00:05 +775 David Eppstein talk contribs (repeat sentence from lead later and source; convert more sources to consistent sfn style)

21 July 2025

• diffhist Euclid's Elements 23:51 +12 David Eppstein talk contribs (→Book XIII: repeat name regular polyhedra)
• diffhist Euclid's Elements 23:50 +19 David Eppstein talk contribs (→Book IX: repeat name of Euclid's theorem)
• diffhist Boolean algebras canonically defined 16:52 −10 SamSat talk contribs
• diffhist m Axiom of infinity 15:43 +24 Brendanheaney talk contribs (Reworded slightly to fit style guidelines better and improve flow)
• 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 Wikipedia:Citing sources 14:39 +5 TooManyFingers talk contribs (→Preventing and repairing dead links: It could easily have been interpreted as "remove all convenience links, even if they're working", and the fix is small.) Tags: Mobile edit Mobile web edit Advanced mobile edit
• 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 Natural number 19:23 +16 Tassedethe talk contribs (v2.05 - fix links - Jeremy Gray) Tag: WPCleaner
• 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
• diffhist m Bertrand Russell 00:40 +4 BD2412 talk contribs (clean up spacing around commas and other punctuation, replaced: ,M → , M, ; → ;) Tag: AWB

18 July 2025

• 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 m P versus NP problem 00:27 +14 JayBeeEll talk contribs (claiming responsibility for one sentence of changes by a banned user)