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 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 m Production (computer science) 11:41 +2 AAW150065 talk contribs (I fixed small grammar errors in the document.) Tags: Visual edit Newcomer task Newcomer task: references
- 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 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
- diffhist New York City 03:53 0 Castncoot talk contribs (sp)
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 m New York City 21:52 −4 Jessicapierce talk contribs (minor copy edits, fixed transcription error in quote)
- diffhist New York City 19:48 +11 Josve05a talk contribs (→Late 20th and early 21st centuries) Tag: ProveIt edit
- 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 New York City 07:13 −33 Remsense talk contribs (Reverting edit(s) by John Leilang (talk) to rev. 1225929788 by Celjski Grad: Manual of Style issues (UV 0.1.5)) Tags: Ultraviolet Undo
- 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 New York City 06:59 +33 John Leilang talk contribs (added citation) Tags: Reverted Visual edit
- 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)
- diffhist m Tautology (logic) 16:41 +56 Dezaxa talk contribs (→Definition and examples: changed link to hypothetical syllogism)
- diffhist Constructive set theory 16:32 +77 178.115.35.167 talk (→Analysis: Add Bishop reference)
- diffhist Constructive set theory 16:27 +267 178.115.35.167 talk (→Imposed restrictions on a set theory: Add Feferman reference)
- diffhist Constructive set theory 16:21 0 178.115.35.167 talk (→Equality)
- diffhist Constructive set theory 16:13 +350 178.115.35.167 talk (Add classic reference)