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
29 July 2025
- diffhist Thierry Coquand 21:47 +28 Retro talk contribs (+caption)
- diffhist Foundations of mathematics 09:16 −84 D.Lazard talk contribs (→Foundational crisis: providing clarification)
- diffhist Foundations of mathematics 04:28 +133 ArthurDent006.5 talk contribs (→Foundational crisis: Request link to actual discussion of the (contextually) non-proveable theorems.)
28 July 2025
- diffhist m Axiom of choice 23:43 −99 Tito Omburo talk contribs (Undid revision 1294714974 by Goodphy (talk)) Tag: Undo
- diffhist Template:Main other 14:53 +182 Pppery talk contribs (Make substable per request)
- diffhist Module:Disambiguation/templates 14:49 +41 Pppery talk contribs (Update list)
- diffhist Formal system 00:38 −39 Yesterday, all my dreams... talk contribs (→Proof system: axioms are not theorems, given that they involve no proof as such)
- diffhist Formal system 00:37 −85 Yesterday, all my dreams... talk contribs (→Proof system: not every proof leads to a theorem)
27 July 2025
- diffhist m List of mathematical logic topics 21:35 −243 Pppery (alt) talk contribs (→top: Removing self-referential hatnotes for minor internal pages not likely to be looked for by readers or new editors unfamiliar with Wikipedia's namespaces) Tag: AWB
- diffhist Michael Makkai 17:23 +232 BD2412 talk contribs (Undid revision 1302556131 by Solomon7968 (talk) No policy is cited for the removal of a source on the grounds of it being "not his most cited one") Tag: Undo
- diffhist Georg Cantor 10:21 +16 154.208.44.74 talk (Mathematician) Tags: Mobile edit Mobile web edit
26 July 2025
- diffhist Michael Makkai 04:50 −232 Solomon7968 talk contribs (his paper with erdos is not his most widely cited one) Tag: Reverted
25 July 2025
- diffhist m Set (mathematics) 23:02 −48 Remsense talk contribs (Reverted 1 edit by 2405:9800:B860:9CC2:ADEF:4AE4:BB74:3A48 (talk) to last revision by Citation bot) Tags: Twinkle Undo
- diffhist Set (mathematics) 22:59 +48 2405:9800:b860:9cc2:adef:4ae4:bb74:3a48 talk Tag: Reverted
- diffhist Alexander Grothendieck 10:33 +5 122.108.145.96 talk (→Life: Replaced some very informal language)
- diffhist m Hilbert system 00:08 +1 TSventon talk contribs (intuitionstic→intuitionistic - toolforge:typos) Tag: Correct typos in one click [1.1]
24 July 2025
- diffhist Mathematical logic 20:10 +1 12.132.105.51 talk
- diffhist m Type theory 10:16 +22 MrBenjo talk contribs (authority control) Tag: 2017 wikitext editor
23 July 2025
- diffhist Type theory 07:01 +87 David Eppstein talk contribs (→Advanced material: clean up deadlink)
- diffhist Mathematical logic 02:07 +31 Farkle Griffen talk contribs (mentioned "metamathematics") Tag: Visual edit