Related changes

22 July 2025

• 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 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
• diffhist Natural language processing 13:48 −23 Stevebroshar talk contribs (Yes, it's a field of study, but it's more than academic. It exists outside of study)

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 Symbol 09:26 +33 43.250.80.180 talk (EN) Tags: Visual edit Mobile edit Mobile web edit campaign-external-machine-translation
• 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)