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 May 2024
- diffhist Logical form 23:08 −3 Jarble talk contribs (Undid revision 1222463956 by 199.117.60.161 (talk)) Tag: Undo
- diffhist Axiom of countable choice 22:46 +4 192.119.34.68 talk (→Example: finite implies Dedekind-finite)
- diffhist List of paradoxes 21:00 −1 Paradoctor talk contribs (Reverted 2 edits by 2001:8A0:E969:BB00:386B:64A:6D22:77AB (talk)) Tags: Twinkle Undo
- diffhist List of paradoxes 20:56 +1 2001:8a0:e969:bb00:386b:64a:6d22:77ab talk (→Logic)
- diffhist List of paradoxes 20:55 0 2001:8a0:e969:bb00:386b:64a:6d22:77ab talk (→Logic)
- diffhist Hartogs number 20:12 +12 Hellacioussatyr talk contribs (→Proof) Tag: 2017 wikitext editor
- 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 Logic 07:27 −41 Phlsph7 talk contribs (implement talk page suggestion)
- diffhist Löb's theorem 06:32 +192 David Eppstein talk contribs (→Löb's theorem in provability logic: explain intended meaning of box)
- diffhist Löb's theorem 06:28 −149 David Eppstein talk contribs (→Modal formulas: clarify; also re what is Box: just a symbol, so far)
- 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)
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 Universally measurable set 19:45 −86 Trovatore talk contribs (Undid revision 1226110431 by Cgriffin64 (talk) huh? AD is inconsistent with choice. PD is consistent with choice.) Tag: Undo
- diffhist m List of logic symbols 17:42 −12 Air on White talk contribs (Reverted edits by 2A02:C7C:A4EB:5500:8DC5:2B88:B353:160F (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist List of logic symbols 17:42 +12 2a02:c7c:a4eb:5500:8dc5:2b88:b353:160f talk Tags: Reverted Mobile edit Mobile web edit
- diffhist Alan Turing 17:10 −297 GuardianH talk contribs (rv, this lede is already a little too long – relegate to body) Tag: Undo
- diffhist m Algebra of sets 16:28 0 John of Reading talk contribs (Typo fixing, replaced: parantheses → parentheses) Tag: AWB
- diffhist Universally measurable set 16:22 +86 Cgriffin64 talk contribs (The axiom of choice is a required condition for many results in mathematics. It is relevant that assuming projective determinacy could imply the falsity of choice.) Tags: Reverted Mobile edit Mobile web 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 Alan Turing 11:15 +297 Offthefield talk contribs (currency) Tag: Reverted
- 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 Talk:Von Neumann universe 07:24 −52 Bbbbbbbbba talk contribs (→Condensed definition: Of course I was the one who should be embarrassed.)
- diffhist Talk:Von Neumann universe 06:41 +1,048 Bbbbbbbbba talk contribs (→Condensed definition: Reply) Tag: Reply
- diffhist Reason 03:23 +714 BobKilcoyne talk contribs (Reason compared to related concepts: unreasonable decisions and actions)
- diffhist Mathematical proof 00:56 −98 David Eppstein talk contribs (→Proof by exhaustion: updates off-topic here; remove dated stmt)
27 May 2024
- diffhist Linear logic 22:54 +20 RaphaelQS talk contribs Tag: Visual edit
- 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 m Tautology (logic) 16:41 +56 Dezaxa talk contribs (→Definition and examples: changed link to hypothetical syllogism)
- diffhist Tautology (logic) 14:04 +19 Oneequalsequalsone talk contribs (→Efficient verification and the Boolean satisfiability problem: citation needed) Tag: Visual edit
- diffhist m Tautology (logic) 13:46 +31 Oneequalsequalsone talk contribs (→Definition and examples) Tag: Visual edit
- diffhist Tautology (logic) 13:41 +84 Oneequalsequalsone talk contribs (→Definition and examples: add natural language explanation) Tag: Visual edit
- diffhist m Tautology (logic) 13:38 −6 Oneequalsequalsone talk contribs (→Background) Tag: Visual edit
- diffhist Polish space 07:35 +65 IntGrah talk contribs (→Generalizations of Polish spaces: Link Nikolai Lusin and Mikhail Suslin)
- diffhist m Singleton (mathematics) 01:54 +15 WinstonWolfie talk contribs (→Properties: Consistent format)
26 May 2024
- diffhist m Stephen Cole Kleene 21:26 −8 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist m Russell's paradox 21:15 −6 IznoRepeat talk contribs (→External links: remove Template:Date per documentation; genfixes) Tag: AWB
- diffhist Universe (mathematics) 18:02 −69 Wizmut talk contribs (shorten short description)
- diffhist m Mathematical logic 13:12 −3 Oneequalsequalsone talk contribs (→Foundations of mathematics) Tag: Visual edit
- diffhist Logic 05:04 −1 Phlsph7 talk contribs (Undid revision 1225660515 by 2A02:1810:363D:6700:84CB:A33A:54C9:8CD8 (talk) please stop edit warring) Tag: Undo
- diffhist m Haskell Curry 02:58 −11 IznoRepeat talk contribs (remove Template:Date per documentation; genfixes) Tag: AWB