Related changes

18 May 2025

• diffhist Halting problem 22:58 −11 Kvng talk contribs (rv unnec) Tag: Manual revert
• diffhist m Set (mathematics) 19:56 −11 D.Lazard talk contribs (Reverted 1 edit by Jyoti Thakurr (talk) to last revision by D.Lazard) Tags: Twinkle Undo
• diffhist m Formal language 19:01 +1 Klauscougar talk contribs (edited for clarity. "words" now unambiguously refers to "strings") Tag: Visual edit
• diffhist m Set (mathematics) 18:43 +11 Jyoti Thakurr talk contribs (hyperlinked) Tags: Reverted Visual edit: Switched
• diffhist Material conditional 14:54 +1,091 Marc Schroeder talk contribs (added ND proof of Peirce's law)
• diffhist m Gödel's incompleteness theorems 10:15 +10 BriDash9000 talk contribs
• diffhist Euclid's Elements 09:06 +4 Vohlonse talk contribs
• diffhist m Gödel's incompleteness theorems 07:55 −10 BriDash9000 talk contribs (Moved page protection template per Wikipedia:Manual_of_Style/Layout#Order_of_article_elements)
• diffhist m Material conditional 04:16 −5 Marc Schroeder talk contribs (→Syntactical properties)
• diffhist m Material conditional 03:52 +4 Marc Schroeder talk contribs (→A selection of theorems (classical logic))
• diffhist Material conditional 03:19 +1,661 Marc Schroeder talk contribs (added two references and a ND proof)

17 May 2025

• diffhist Material conditional 21:09 +259 Marc Schroeder talk contribs (added alternative natural deduction rule to obtain classical logic)
• diffhist m Decision problem 18:39 +16 Nyngwang talk contribs (meta(symbol): In the only accompanying image, the two answers are "YES", "NO", not "yes", "no"; update all occurrences accordingly.)
• diffhist m Decision problem 18:34 +220 Nyngwang talk contribs (meta(notes): add a note for the part that confused me, so it may help other people as well.)
• diffhist m Computable set 18:15 −15 Nyngwang talk contribs (→Examples: fix(wording): rm "special cases", which may sound like "counter examples".)
• diffhist m Computable set 18:11 0 Nyngwang talk contribs (meta(wording): it's no harm moving "decidable" to the left of the historical term "recursive".)
• diffhist Binary operation 16:41 −250 Jochen Burghardt talk contribs (→Terminology: suggest to remove incomprehensible sentence)
• diffhist Binary operation 16:39 −16 Jochen Burghardt talk contribs (→Terminology: rm duplicate mention of real numbers)
• diffhist Euclidean geometry 13:24 +16 Xpander1 talk contribs Tag: Visual edit
• diffhist m Cardinality 09:02 +87 TinyClayMan talk contribs (Fix Harv and Sfn no-target errors)
• diffhist Axiomatic system 04:19 +11 Yesterday, all my dreams... talk contribs (→Axioms and models: + ref)
• diffhist Axiomatic system 04:17 0 Yesterday, all my dreams... talk contribs (→Axioms and models)
• diffhist Axiomatic system 04:15 −185 Yesterday, all my dreams... talk contribs (→Axioms and models: Nothing to dispute, that is Theorem 1.2.11in the book in the ref)
• diffhist Axiomatic system 04:11 +88 Yesterday, all my dreams... talk contribs (→Axioms and models: Basic ref)

16 May 2025

• diffhist Relation (mathematics) 21:23 −4 47.205.8.112 talk (→Operations on relations)
• diffhist m Decision problem 13:19 0 Nyngwang talk contribs (wording: replace "solves the problem" with "answers the yes-no question", which is more clear.)
• diffhist Decision problem 13:14 +14 Nyngwang talk contribs (fix(wording): a decision procedure needs to work on all inputs.)
• diffhist m Decision problem 12:36 +22 Nyngwang talk contribs (→See also: add an entry; sort the list)
• diffhist m History of logic 12:14 +24 Oneequalsequalsone talk contribs (→Algebraic period) Tag: Visual edit
• diffhist Logic 09:25 −191 Phlsph7 talk contribs (Undid revision 1290650318 by 2600:8800:25A1:4A00:1799:643C:1F1F:73E4 (talk)) Tags: Undo Disambiguation links added
• diffhist Binary operation 06:33 +58 Goodphy talk contribs (→Terminology: Clarified that the closure property does not always hold for all binary operations.) Tag: Visual edit
• diffhist Binary operation 06:30 +29 Goodphy talk contribs (→Terminology: Clarify an expression.) Tag: Visual edit
• diffhist m Cardinality 05:38 −12 Beland talk contribs (MOS:FRAC, convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
• diffhist Logic 04:17 +191 2600:8800:25a1:4a00:1799:643c:1f1f:73e4 talk Tags: Reverted Mobile edit Mobile web edit Disambiguation links added

15 May 2025

• diffhist Decision problem 23:55 +22 Nyngwang talk contribs (meta(link): "set".)
• diffhist m Decision problem 23:49 −7 Nyngwang talk contribs (wording.)
• diffhist m Decision problem 22:29 +31 Nyngwang talk contribs (→Definition: cite twice, less confusing.)
• diffhist m Decision problem 22:18 −5 Nyngwang talk contribs (→Definition: better readability by parentheses.)
• diffhist m Halting problem 22:14 −18 Nyngwang talk contribs (fixup.) Tag: Reverted
• diffhist m Halting problem 22:12 +29 Nyngwang talk contribs (meta(format): prevent the term "program-input" from breaking into two separate lines.) Tag: Reverted
• diffhist Decision problem 22:04 +30 Nyngwang talk contribs (meta(link): how can I forget to mention "halting problem" in the intro?)
• diffhist m Decision problem 21:57 +1 Nyngwang talk contribs (grammar.)
• diffhist m Decision problem 21:55 +1 Nyngwang talk contribs (→Definition: grammar.)
• diffhist m Decision problem 21:53 +17 Nyngwang talk contribs (→Definition: wording.)
• diffhist m Decision problem 21:51 +2 Nyngwang talk contribs (→Definition: grammar.)
• diffhist m Decision problem 21:50 +32 Nyngwang talk contribs (→Definition)
• diffhist Decision problem 21:47 −85 Nyngwang talk contribs (→Definition: prefer precise "formal language" than "a yes-no question on a set of inputs"; improve readability by listing.)
• diffhist m Decision problem 21:15 +2 Nyngwang talk contribs (→Notes: fix(link).)
• diffhist m Decision problem 21:06 +62 Nyngwang talk contribs (meta: prefer no inlined reference (so that one can edit page content more easily without clustered by inlined refs.))
• diffhist m Decision problem 21:03 +13 Nyngwang talk contribs (meta: create section "Notes"; move the only note into it.)