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
31 May 2024
- diffhist Constructive set theory 17:17 +66 178.165.170.6 talk (→Infinitude: Link to Necessary and sufficient conditions for finiteness)
- diffhist Constructive set theory 17:03 +85 178.165.170.6 talk (→Infinitude)
- diffhist Logical disjunction 16:57 +4 Macrakis talk contribs (deitalicize in Redirect for clarity) Tag: 2017 wikitext editor
- diffhist Logical disjunction 16:56 −27 Macrakis talk contribs (clearer hatnote) Tag: Visual edit
- diffhist m Term logic 16:42 −32 A68-n talk contribs Tag: Visual edit
- diffhist Logical disjunction 16:40 0 Marcin Rychlewicz talk contribs Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Turing machine 16:11 +4 Hooman Mallahzadeh talk contribs (→Description)
- diffhist Halting problem 15:54 +25 ClassA42 talk contribs (Corrected the incorrect claim about the impact of the proof on "practical computing". Please see the "Talk" page at " Misleading sentence?!".)
- diffhist Willard Van Orman Quine 14:50 +6 Thewikibeagles talk contribs
- diffhist Willard Van Orman Quine 14:49 −3 Thewikibeagles talk contribs
- diffhist m Injective function 14:07 0 Oneequalsequalsone talk contribs (→Injections may be made invertible) Tag: Visual edit
- diffhist Foundations of mathematics 13:56 +311 D.Lazard talk contribs (→top: Fixing the two first paragraphs in a way that can be accepted by mathematicians)
- diffhist m Non-well-founded set theory 12:53 −1 Starlighsky talk contribs (→Applications) Tag: Visual edit
- diffhist Schröder–Bernstein theorem 12:47 −67 Oneequalsequalsone talk contribs (→Proof: removing reference to removed section and {{Clear}} template) Tag: 2017 wikitext editor
- diffhist Georg Cantor 12:46 −2 194.80.232.25 talk (Undid revision 1226561766 by 194.80.232.25 (talk)) Tag: Undo
- diffhist Georg Cantor 12:45 +2 194.80.232.25 talk (georg) Tag: Reverted
- diffhist Ordered pair 03:49 +4 Jochen Burghardt talk contribs (→Axiomatic definition: separate the two example theorems)
- diffhist m Euclid's Elements 00:54 +8 Kaasterly talk contribs (Standardization: "Arabic translation of Elementa" to "Arabic translation of the Elements".) Tag: 2017 wikitext editor
30 May 2024
- diffhist Non-well-founded set theory 23:55 +4 Starlighsky talk contribs (→Applications: Added link) Tag: Visual edit
- diffhist Logic 21:54 +37 Biogeographist talk contribs (Undid revision 1226477025 by 2607:FEA8:C2DF:D400:15A5:AFB:B059:C31D (talk): I don't see how the word "something" helps avoid confusion, but perhaps a couple of wikilinks will aid the easily confused?)
- diffhist Logic 21:40 +12 2607:fea8:c2df:d400:15a5:afb:b059:c31d talk (Avoided confusion.) Tags: Mobile edit Mobile web edit
- diffhist Logical truth 21:05 −429 184.18.5.36 talk (→Logical truth and logical positivism: No citation) Tags: Mobile edit Mobile web edit
- diffhist Transfer principle 20:48 −76 Wizmut talk contribs (shorten short description)
- diffhist Ordered pair 17:40 0 Tea2min talk contribs (Undid revision 1226440174 by 108.46.136.57 (talk): It was right before.) Tag: Undo
- diffhist Ordered pair 17:14 0 108.46.136.57 talk (→Axiomatic definition: Fix bracing error) Tag: Reverted
- diffhist m Negation 16:51 +719 Mathrick talk contribs (Fix up my previous edit)
- diffhist Negation 16:48 −715 Mathrick talk contribs (Revert to the revision prior to revision 1226430792 dated 2024-05-30 16:02:27 by Mathrick using popups) Tag: Manual revert
- diffhist Foundations of mathematics 16:34 +1,826 D.Lazard talk contribs (→Foundational crisis: It must be said that the crisis is essentially resolved)
- diffhist Negation 16:02 +715 Mathrick talk contribs (→Programming language and ordinary language: Add !!x C idiom) Tag: Reverted
- diffhist Constructive set theory 14:42 −1 88.117.193.86 talk (→Language)
- diffhist Constructive set theory 14:42 +129 88.117.193.86 talk (Define discreteness early)
- diffhist Intuitionistic logic 13:29 +14 Jean Abou Samra talk contribs (→Semantics: Needs sourcing) Tags: Mobile edit Mobile web edit
- diffhist Non-well-founded set theory 13:00 −137 Starlighsky talk contribs (→Applications: Moved last sentence to https://en.wikipedia.org/wiki/Nonstandard_analysis#Other_applications where is it is more relevant to the topic.) Tag: Visual edit
- diffhist m Non-well-founded set theory 12:53 +641 Starlighsky talk contribs (→Applications: Expanded article) Tag: Visual edit
- diffhist Type theory 08:01 +1 2a02:6b60:0:fe::8a talk (→Homotopy type theory: missing space) Tag: Visual edit
- diffhist Bertrand Russell 04:22 +1,479 A. Randomdude0000 talk contribs (Restored revision 1225828989 by Prevenient (talk)) Tags: Twinkle Undo
- diffhist Bertrand Russell 04:15 −1,479 39.58.163.53 talk (→Between the wars) Tags: Reverted references removed
29 May 2024
- diffhist Axiom of countable choice 22:46 +4 192.119.34.68 talk (→Example: finite implies Dedekind-finite)
- diffhist Constructive set theory 21:50 +143 91.141.73.235 talk (→Exponentiation)
- diffhist Constructive set theory 21:43 +154 91.141.73.235 talk (→Exponentiation: Models of ZFC minus Power)
- diffhist m Foundations of mathematics 17:31 0 Tule-hog talk contribs (undid tag order change) Tag: Undo
- diffhist m Foundations of mathematics 17:29 0 Tule-hog talk contribs (switch tag order) Tag: Reverted
- diffhist Foundations of mathematics 17:28 +23 Tule-hog talk contribs ({{mcn}} " indicates that the article needs additional inline citations)
- diffhist Halting problem 15:08 −3 Jochen Burghardt talk contribs (Undid revision 1226229093 by 218.248.13.196 (talk)) Tag: Undo
- diffhist Halting problem 09:54 +3 218.248.13.196 talk Tag: Reverted
- diffhist Function (mathematics) 07:58 −123 Sigma440 talk contribs (Undid revision 1226218239 by 174.214.49.76 (talk) computer sci definition is already covered below) Tag: Undo
- diffhist Function (mathematics) 07:54 +123 174.214.49.76 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist Logic 07:27 −41 Phlsph7 talk contribs (implement talk page suggestion)