Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
19 May 2025
- diffhist Elementary diagram 18:42 +46 Neiltonks talk contribs (Adding short description: "Concept in model theory") Tag: Shortdesc helper
- diffhist Philosophy of mathematics 16:31 +1 D.Lazard talk contribs (Reverted 1 edit by 79.117.72.61 (talk): ZFC is not a first-order logic) Tags: Twinkle Undo
- diffhist Philosophy of mathematics 16:19 −1 79.117.72.61 talk Tag: Reverted
- diffhist m Material conditional 12:24 +32 Marc Schroeder talk contribs (removed lint error by setting fg=#000000)
- diffhist Material conditional 12:14 +672 Marc Schroeder talk contribs (added a precision on MPC / IPC)
- diffhist m Decision problem 09:36 +13 Nyngwang talk contribs (→Notes: wording.)
- diffhist m Alan Turing 04:51 −1 BlankEclair talk contribs (→Government apology and pardon: Remove erroneous whitespace)
- diffhist m Chronology of computation of π 03:18 +1 Zodiahk talk contribs (→2009–present) Tags: Manual revert Visual edit
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 Chronology of computation of π 19:38 −1 Dajasj talk contribs Tags: Reverted Mobile edit Mobile web edit Advanced mobile edit
- 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 Ernst Zermelo 17:07 −1 Howard Cheni talk contribs (Sentence correction by restructuring for easy understanding.) Tag: Visual edit
- 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 Chronology of computation of π 15:09 −32 83.59.78.242 talk (→2009–present) Tag: Manual revert
- diffhist Chronology of computation of π 15:07 +32 83.59.78.242 talk (→2009–present) Tag: Reverted
- diffhist Euclidean geometry 13:24 +16 Xpander1 talk contribs Tag: Visual edit
- diffhist Chronology of computation of π 09:23 +60 85.195.228.178 talk (fixing wrong reference to last 100 digits (was from older calculation))
- diffhist m Cardinality 09:02 +87 TinyClayMan talk contribs (Fix Harv and Sfn no-target errors)
- diffhist Ancient Greek mathematics 06:01 +9 Guillermind81 talk contribs (Titles better fit content, CE.) Tag: Visual edit
- 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)
- diffhist Chronology of computation of π 03:23 +28 Progenitor Eri talk contribs (Fixed incorrect bolding of non-record & new link) Tag: Visual edit
16 May 2025
- diffhist Relation (mathematics) 21:23 −4 47.205.8.112 talk (→Operations on relations)
- diffhist Ancient Greek mathematics 20:07 +23 Guillermind81 talk contribs (Repurposed links.) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Approximations of π 19:59 −1 Randomdudewithinternet talk contribs (Deleted random space.) Tag: Visual edit
- diffhist Approximations of π 18:48 +199 User826481 talk contribs (added new record of approximation (300 trillion digits)) Tag: Visual edit
- diffhist Chronology of computation of π 17:55 +6 Minimac93 talk contribs (→2009–present: Fixed table formatting)
- diffhist m Chronology of computation of π 17:52 +4 Baysonfox talk contribs (Fix storage and add OS info) Tag: Visual edit: Switched
- diffhist Chronology of computation of π 17:47 +161 Dusmartijngames talk contribs (Added info of the system used by latest record)
- diffhist Chronology of computation of π 17:42 +6 76.181.236.237 talk (In this video https://www.youtube.com/watch?v=BD-AJwqzWsU they mention using Super Pi for early experiments, but y-cruncher for the actual world record.)
- diffhist Chronology of computation of π 17:37 +9 2a00:20:c04d:1f6f:d291:f655:86c3:7fd5 talk Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Chronology of computation of π 17:34 +8 Minimac93 talk contribs (→2009–present: Added links for LMG and Kioxia)