Related changes

11 June 2025

• diffhist m Logic 20:06 −881 Favonian talk contribs (Reverted edit by 129.45.14.160 (talk) to last version by Maxeto0910) Tag: Rollback
• diffhist Logic 19:07 +881 129.45.14.160 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Church–Turing thesis 17:10 +285 Villaida talk contribs (→Statement in Church's and Turing's words: added a source) Tag: Visual edit
• diffhist Euclid's Elements 17:02 +12 D.Lazard talk contribs (→Contents: +anchor)
• diffhist m Cardinality 04:01 +2 Farkle Griffen talk contribs ("mathematical set" feels clunky) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Boolean function 02:18 −23 Nyq talk contribs (lc per MOS:EXPABBR and other common nouns) Tag: Visual edit
• diffhist m Boolean algebra 01:33 +1 Nyq talk contribs (lc common nouns, sentence case) Tag: Visual edit
• diffhist m Cardinality 01:33 +9 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
• diffhist Cardinality 01:31 −42 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
• diffhist m Cardinality 01:27 −2 Farkle Griffen talk contribs (→Axiomatic set theory) Tag: Visual edit
• diffhist Cardinality 01:26 +3,373 Farkle Griffen talk contribs (→Axiomatic set theory: added section) Tag: Visual edit

10 June 2025

• diffhist Cardinality 23:49 +35 Farkle Griffen talk contribs (→Countable sets: Specificity) Tag: Visual edit
• diffhist Axiomatic system 23:44 +19 Yesterday, all my dreams... talk contribs (lnk)
• diffhist Axiomatic system 23:43 +4 Yesterday, all my dreams... talk contribs (lnk)
• diffhist Large cardinal 23:17 −28 24.130.134.205 talk (→Hierarchy of consistency strength: If ZFC is inconsistent, then the two extensions will obviously be both inconsistent, and the statement still holds true.)
• diffhist m Cardinality 23:01 0 Farkle Griffen talk contribs (Alphabetical) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Logical connective 19:28 −1 Maxeto0910 talk contribs (no sentence) Tag: Visual edit
• diffhist Formal system 19:18 0 Maxeto0910 talk contribs (→Deductive system) Tag: Visual edit: Switched
• diffhist Set theory 19:15 +7 Maxeto0910 talk contribs (→Naive set theory: per MOS:CIRCA) Tag: Visual edit
• diffhist Set theory 19:14 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
• diffhist History of logic 19:13 −2 Maxeto0910 talk contribs (no sentences) Tag: Visual edit
• diffhist Mathematical logic 19:12 −1 Maxeto0910 talk contribs (→Symbolic logic: no sentence) Tag: Visual edit
• diffhist Logic 19:10 +1 Maxeto0910 talk contribs (→Fallacies) Tag: Visual edit
• diffhist Primitive recursive function 19:08 −9 Jochen Burghardt talk contribs (Undid revision 1294830678 by 103.58.110.6 (talk): looks pretty much the same; *all* occurrences should have the same source code) Tag: Undo
• diffhist Material conditional 15:03 +299 Robertas.Vilkas talk contribs (→History: For Bourbaki notation replaced the incorrect notation \to with \Rightarrow and added a reliable source (some time ago Wiki had the correct version, but someone messed it up))
• diffhist Cardinality 14:08 +31 Nick19520 talk contribs (→See also)
• diffhist m Forcing (mathematics) 10:54 +1 SchwartzYosale talk contribs (→Internal definition: fixed typo)
• diffhist m Forcing (mathematics) 10:39 +5 SchwartzYosale talk contribs (→The countable chain condition: fixed grammar)
• diffhist Primitive recursive function 02:01 +9 103.58.110.6 talk (Correct spacing around binary operator →Predicate "Less or equal") Tags: Reverted Visual edit: Switched

9 June 2025

• diffhist Logic 21:43 +7 Trovatore talk contribs (→Formal logic: I suspect the other editor was confused by the language; the rule of inference isn't something that applies to the premises and also to the conclusion, but rather to the path from the former to the latter)
• diffhist Cardinality 21:35 0 Sheddow talk contribs (→Ancient history: Capitalize Jaina) Tags: Mobile edit Mobile web edit
• diffhist Strength (mathematical logic) 20:08 +46 742a talk contribs (Add short description) Tags: Mobile edit Mobile web edit
• diffhist Logic 19:40 +5 ERcheck talk contribs (→Formal logic: per Trovatore, not a compound subject, so adding word to avoid any ambiguity)
• diffhist Logic 17:53 +1 Trovatore talk contribs (Undid revision 1294502182 by ERcheck (talk) the subject of "follows" is "logical structure", which is singular) Tag: Undo
• diffhist First-order logic 15:09 +192 BardRapt talk contribs (→Terms: G. Takeuti)
• diffhist Fuzzy set 13:25 +1 SchwartzYosale talk contribs (Undid revision 1293950139 by 93.38.201.218 (talk) "iff" is a common term, short for "if and only if". in this case it's more appropriate than just "if") Tag: Undo
• diffhist Forcing (mathematics) 12:57 +16 SchwartzYosale talk contribs (→The countable chain condition: reformulated in a more similar way to the proof in the reference. it was unclear before, in my opinion, why the "finite set" should in fact be finite. answer: it's a finite partial function itself!)
• diffhist Axiom of choice 11:02 +99 Goodphy talk contribs (Added a note explaining what is S_i for straightforward understanding of what is the axiom of choice.) Tag: Visual edit
• diffhist Forcing (mathematics) 10:27 +185 SchwartzYosale talk contribs (→The countable chain condition: clarified the construction (because I had to go to the reference to understand it myself)) Tag: Visual edit: Switched
• diffhist Rule of inference 08:42 +457 Phlsph7 talk contribs (mention term "deductive explosion" per DYK discussion)
• diffhist m Cardinality 01:47 0 Farkle Griffen talk contribs (→Equivalence) Tag: Visual edit
• diffhist Cardinality 01:42 −163 Farkle Griffen talk contribs (→Uniqueness: This is a little easier to read, I think?) Tag: Visual edit
• diffhist m Cardinality 01:15 +44 Farkle Griffen talk contribs (→Ancient history: via) Tag: Visual edit
• diffhist Cardinality 01:11 +332 Farkle Griffen talk contribs (→Ancient history: Added ref) Tag: Visual edit
• diffhist Cardinality 01:01 +986 Farkle Griffen talk contribs (→Ancient history: Mentioned Jain mathematics) Tag: Visual edit

8 June 2025

• diffhist m Cardinality 21:46 +37 Farkle Griffen talk contribs (→Prehistory) Tag: Visual edit
• diffhist Cardinality 21:39 +38 Farkle Griffen talk contribs (→Prehistory: Further information hatnote) Tag: Visual edit
• diffhist Proposition 21:38 +96 68.132.122.6 talk (Fix/improve citation for Hurley (2014); add page number and direct quote for definition.) Tag: Visual edit
• diffhist Proposition 21:19 −63 68.132.122.6 talk (Added a definition of proposition from the "A Concise Introduction to Logic 12th Edition" by Hurley and added that as a citation, and shortened some portions of the introduction to make it easier for beginners to understand.) Tag: Visual edit
• diffhist m Cardinality 19:05 −44 Farkle Griffen talk contribs (not necessary) Tags: Mobile edit Mobile app edit iOS app edit App section source