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 m Functional programming 21:08 0 GroundclothDilemma talk contribs (→Comparison to imperative programming)
- 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 Order of operations 02:14 +5 2407:7000:88c9:b000:186f:7ee1:9c3c:5048 talk (→Mixed division and multiplication)
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 Wikipedia:Verifiability 20:53 +21 Dave souza talk contribs (Undid revision 1226310338 by Dave souza (talk) undo own revert) Tag: Undo
- diffhist m Wikipedia:Verifiability 20:50 −21 Dave souza talk contribs (Reverted edit by Dustfreeworld (talk) to last version by Cambalachero) Tags: Rollback Reverted
- diffhist Wikipedia:Verifiability 20:34 +21 Dustfreeworld talk contribs (Copied three words from the section below.) Tag: Reverted
- diffhist Wikipedia:Citing sources 18:16 −249 Schierbecker talk contribs (→When and why to cite sources: Alright, but this passage is in the completely wrong section)
- diffhist Wikipedia:Citing sources 17:35 +251 David Eppstein talk contribs (Undid revision 1226261696 by Schierbecker (talk) undiscussed changes. DYK exception is necessary to prevent us from having conflicting guidelines: this one saying repeat citations in a single passage are forbidden, and DYK rules saying they are required.) Tag: Undo
- 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 Wikipedia:Citing sources 14:49 −251 Schierbecker talk contribs (→When and why to cite sources: move to relevant passage. DYK exception is overkill.) Tag: Reverted
- diffhist Division by zero 10:43 +256 Psychoslave talk contribs (→Abstract algebra: Add a reference to Brendan Santangelo article on the topic) Tag: Visual edit
- 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 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 m Alonzo Church 19:30 +4 Jean Abou Samra talk contribs (Link Church-Rosser thm)
- 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 Wikipedia:Verifiability 17:46 −15 Cambalachero talk contribs (→Exceptional claims require exceptional sources: Despite the superficial similarities, Wikipedia's Verifiability and actual science are two different fields with their own rules.)
- 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)