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
30 May 2024
- 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 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 Type theory 08:01 +1 2a02:6b60:0:fe::8a talk (→Homotopy type theory: missing space) Tag: Visual edit
- diffhist C (programming language) 06:49 −50 Jochen Burghardt talk contribs (→top: 175.100.12.169 had a point: we needn't link both General-purpose programming language and Programming language; joining the links to a single linktext)
- diffhist C (programming language) 04:43 +4 City of Silver talk contribs (Reverted 1 pending edit by 175.100.12.169 to revision 1226045145 by Stephan Leeds: unexplained removal of content) Tag: Manual revert
- diffhist C (programming language) 04:30 −4 175.100.12.169 talk (P) Tags: Reverted Visual edit Mobile edit Mobile web edit
29 May 2024
- 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 Complex number 21:33 −3 Professor Penguino talk contribs Tag: Visual edit
- diffhist Complex number 21:31 +10 Professor Penguino talk contribs (→History) Tag: Visual edit
- diffhist Complex number 21:29 −3 41.40.27.138 talk (→History: repeated as) Tags: Mobile edit Mobile web edit
- 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)
- diffhist Tautology (logic) 06:02 −26 David Eppstein talk contribs (→Efficient verification and the Boolean satisfiability problem: reword in a way that does not provide an unsourced claim of current research focus)
- diffhist m Ordinal analysis 05:25 −3 旅に出よう一人で talk contribs (typo) Tag: Visual edit
28 May 2024
- diffhist Cantor's diagonal argument 22:56 −7 Trovatore talk contribs (→Diagonalization in broader context: there's a general problem in the treatment of the phrase "naive set theory" in Wikipedia; it can mean theories subject to the antinomies, or it can just mean non-formalized set theory. Better to avoid the term when not required)
- diffhist Cantor's diagonal argument 22:44 +39 35.139.154.158 talk (Undid revision 1225500244 by Jochen Burghardt (talk) having tons of similar names here is more harmful than helpful...it's visual clutter that most readers aren't interested in, but those who are can easily read the footnote, per WP:ALTNAME) Tag: Undo
- diffhist Cantor's diagonal argument 22:08 0 68.98.142.188 talk (→In the absence of excluded middle)
- diffhist Cantor's diagonal argument 22:05 +1 68.98.142.188 talk (→In the absence of excluded middle)
- diffhist Set (mathematics) 13:47 −40 D.Lazard talk contribs (Reverted 1 edit by ChessPage1 (talk)) Tags: Twinkle Undo
- diffhist Set (mathematics) 12:25 +40 ChessPage1 talk contribs (→Definition and notation: Added content.) Tags: Reverted Mobile edit Mobile web edit
- diffhist Empty set 10:50 −5 PBUK talk contribs (→Notation: move link to null sign from 'main article' to the sign itself)
- diffhist Von Neumann universe 09:08 +491 Bbbbbbbbba talk contribs (→Definition: Associated the "condensed" definition with the concept of the rank of a set, so that it makes more intuitive sense.)
- diffhist C (programming language) 07:13 +2 Stephan Leeds talk contribs (→B: readability)
- diffhist C (programming language) 07:12 −1 Stephan Leeds talk contribs (→B: spurious comma)
- diffhist C (programming language) 07:11 +1 Stephan Leeds talk contribs (→B: missing comma)
- diffhist C (programming language) 07:10 −1 Stephan Leeds talk contribs (→top: spurious comma)
- diffhist C (programming language) 07:07 −1 Stephan Leeds talk contribs (→B: spurious comma)
- diffhist m Non-Euclidean geometry 02:49 +10 Beland talk contribs (MOS:BBB / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB))
27 May 2024
- diffhist Euclid's Elements 23:05 +6 Jacobolus talk contribs (Undid revision 1225942826 by SreyasBANERJEE (talk) – some of these changes are grammatical errors, and others are converting American to British spelling. See WP:ENGVAR)
- diffhist Singleton (mathematics) 19:10 +191 Georgydunaev talk contribs (added the axiomatic definition containing the essence of the singleton, which leaves unspecified situations which are varying in different systems)
- diffhist Euclid's Elements 17:22 −6 SreyasBANERJEE talk contribs Tag: Visual edit
- diffhist Constructive set theory 16:57 +182 178.115.35.167 talk (→History and overview: Add reference to Crosilla Stanford Encyclopedia article on CZF & IZF)
- diffhist Kolmogorov complexity 16:51 −134 Sligocki talk contribs (→Halting problem: Clarify which BB function.)
- diffhist Constructive set theory 16:44 +238 178.115.35.167 talk (→Category and type theoretic notions: Add ref for Heyting pretopos)