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
10 May 2024
- MOS:BBB)
- diffhist True arithmetic 05:32 −4 Maxeto0910 talk contribs (per WP:HOWTOSD) Tags: Mobile edit Mobile web edit Advanced mobile edit
- Undo
- diffhist One-instruction set computer 04:22 0 2a02:fe1:7c:4d00:1a31:bfff:fe27:3497 talk (→Arithmetic machine: Stones are taken from X, so it is X that needs to be at least Y, not the other way round.)
- diffhist Logical disjunction 02:05 +12 Anerdw talk contribs (Add a wikilink)
9 May 2024
- diffhist Three-valued logic 23:14 +694 HeyElliott talk contribs (Added archives, added info to refs, ce) Tag: 2017 wikitext editor
- diffhist Class (set theory) 22:46 −94 108.172.186.57 talk
- diffhist Turing machine 22:19 +9 79.87.167.154 talk (→The "state") Tags: Reverted Visual edit
- diffhist Syllogism 22:04 −4 8.47.102.128 talk Tags: Mobile edit Mobile web edit
- diffhist m Information theory 20:29 +16 Robert7277 talk contribs (Citation) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Information theory 20:27 +4 Robert7277 talk contribs (Grammar fix) Tags: Visual edit Mobile edit Mobile web edit Disambiguation links added
- Undo
- diffhist Philosophy of mathematics 17:19 +4 D.Lazard talk contribs (→Reality: omitted link)
- diffhist m Gödel's incompleteness theorems 15:46 −177 David Eppstein talk contribs (Reverted edits by 50.223.161.42 (talk) to last version by Wbm1058) Tag: Rollback
- diffhist Philosophy of mathematics 15:22 +12 D.Lazard talk contribs (→Reality: rm self link)
- diffhist Philosophy of mathematics 15:19 0 D.Lazard talk contribs (→top: Typo + summary of the preceding edit: copy of Mathematics#Reality under section "Major themes". Adding a list of major themes in the lead.)
- diffhist Gödel's incompleteness theorems 15:18 +12 50.223.161.42 talk Tag: Reverted
- diffhist Gödel's incompleteness theorems 15:17 +165 50.223.161.42 talk Tag: Reverted
- diffhist Constructive set theory 15:16 +11 88.116.31.14 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 15:14 −1 88.116.31.14 talk (→The class of all subsets of a set)
- diffhist Philosophy of mathematics 15:14 +3,196 D.Lazard talk contribs (→top)
- diffhist Constructive set theory 15:10 +77 88.116.31.14 talk (→The class of all subsets of a set)
- diffhist Constructive set theory 14:41 +24 88.116.31.14 talk (→The class of all subsets of a set: Link to Field of sets)
- diffhist Philosophy of mathematics 14:29 −2,720 D.Lazard talk contribs (→Major themes: rm section before restoring a new section with the same heading)
- diffhist Philosophy of mathematics 14:15 +4 D.Lazard talk contribs (→top: linking to mathematics)
- diffhist Constructive set theory 10:51 +4 77.119.164.145 talk (→Witness of apartness)
- diffhist Constructive set theory 10:50 +5 77.119.164.145 talk (→Witness of inequality)
- diffhist Ordinal analysis 10:16 +52 2a01:e0a:abf:c0d0:c578:b837:bc7f:11c9 talk (→Theories with proof-theoretic ordinal ε0: modified link) Tag: Visual edit
- diffhist Ordinal analysis 10:13 −7 2a01:e0a:abf:c0d0:c578:b837:bc7f:11c9 talk (→Theories with proof-theoretic ordinal ωω: modified a link) Tag: Visual edit
- Protection log 08:51 MSGJ talk contribs protected Module:Pagetype/rfd [Edit=Require template editor access] (indefinite) [Move=Require template editor access] (indefinite) (High-risk template or module) (hist)
- diffhist Module:Pagetype 08:51 +37 MSGJ talk contribs (add detection of redirects under discussion at rfd)
- diffhist Module:Pagetype/config 08:50 +50 MSGJ talk contribs (add rfd)
- diffhist m New Foundations 06:53 +23 Bbbbbbbbba talk contribs (→Notes: Added a reflist for footnotes (not sure exactly how footnotes should work with sfns).)
- diffhist New Foundations 06:45 +98 Bbbbbbbbba talk contribs (→Models of NFU: Reordered the paragraphs to have the intuition before the formalism. Also commented out the first paragraph which still doesn't belong here.)
- diffhist New Foundations 05:50 +162 Bbbbbbbbba talk contribs (As of now, I think it is probably better to separate the section on consistency from the section on resolutions of the paradoxes.)
8 May 2024
- diffhist m Information theory 23:44 −1 Mindmatrix talk contribs ("a die" is perfectly acceptable here) Tag: Manual revert
- diffhist Truth table 22:46 −1 Ancheta Wis talk contribs (typo Thruth → Truth)
- diffhist m Decidability (logic) 20:59 +4 Kku talk contribs (link computability theory)
- diffhist Peano axioms 19:33 +23 Janhrach talk contribs (→Historic second-order formulation: Improve references) Tags: Mobile edit Mobile web edit
- diffhist Peano axioms 19:18 +124 Janhrach talk contribs (→Multiplication: Clarify) Tags: Mobile edit Mobile web edit
- diffhist Peano axioms 19:14 +6 Janhrach talk contribs (→Addition: cn) Tags: Mobile edit Mobile web edit
- diffhist Information theory 18:27 +1 2a02:1210:64ed:fe00:918a:7fe6:5523:f04f talk Tag: Reverted
- diffhist Constructive set theory 16:03 +255 77.119.164.145 talk (→Subtheories of ZF: Witness of inequality section)
- diffhist m New Foundations 14:44 −2 Bbbbbbbbba talk contribs (→History: Added a missing citation.)
- diffhist New Foundations 14:43 +306 Bbbbbbbbba talk contribs (→References: Added a reference to Grishin's paper about the consistency of NF_3.)
- diffhist New Foundations 14:24 +463 Bbbbbbbbba talk contribs (I decided to bite the bullet and write down what (I think) Jensen actually said in his paper, instead of "relative to PA".)
- diffhist Truth table 13:49 −59 81.214.161.68 talk (→Truth table for most commonly used logical operators)
- diffhist Complement (set theory) 10:00 0 2a02:8388:8a80:b080:4179:ab44:d52f:3911 talk
- diffhist Philosophy of mathematics 09:49 −152 D.Lazard talk contribs (→top: More neutral lead, still to be expanded)
- diffhist Model theory 07:39 −170 David Eppstein talk contribs (→Basic model-theoretic concepts: clarify)