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
27 May 2025
- diffhist Travelling salesman problem 21:17 +12 Nyttend talk contribs (oops, should have previewed)
- diffhist Travelling salesman problem 21:16 +87 Nyttend talk contribs (Additional image, with an unsolved problem)
- diffhist Cardinality 21:10 −218 Trovatore talk contribs (the statements in the article are true in the ordinary interpretation, which is not about a specific formal theory. There should be some acknowledgment of other possibilities (especially models of &lnot;AC); how to do that needs thought, but this isn't it)
- diffhist m Cardinality 21:02 +19 Farkle Griffen talk contribs (Fixed DAB link) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Euclid's Elements 20:55 0 Psychastes talk contribs (fix harv errors)
- diffhist Cardinality 20:18 +5 Trovatore talk contribs (→Introduction: "rule" connotes definability, which is not intended here)
- diffhist BPP (complexity) 20:16 +16 Singnear talk contribs (→Closure properties: BPP is indeed closed under concatenation via an probability error-reduction argument (using chernoff's inequality).)
- diffhist m Cardinality 20:15 −3 Arjayay talk contribs (Duplicate word removed)
- diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
- diffhist m Boolean satisfiability problem 16:06 +12 Ftiercel talk contribs (→XOR-satisfiability: GF(2))
- diffhist Cardinality 14:45 −16 Jochen Burghardt talk contribs (→top: it doesn't follow logically)
- diffhist Tarski's axiomatization of the reals 12:21 +62 WeyerStudentOfAgrippa talk contribs (Adding short description: "Second-order theory of the real numbers") Tag: Shortdesc helper
- diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
- diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
- diffhist m Cardinality 00:40 +71 Farkle Griffen talk contribs (→Uncountable sets: Hatnote link to "Cardinality of the continuum") Tag: Visual edit: Switched
- diffhist Cardinality 00:34 +1,081 Farkle Griffen talk contribs (→Comparing sets: Added some prerequisite terminology.) Tags: Visual edit Disambiguation links added
26 May 2025
- diffhist Computational complexity theory 19:18 +12 The BestEditor4 talk contribs (Link suggestions feature: 3 links added.) Tags: Visual edit Newcomer task Suggested: add links
- diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
- diffhist Cardinality 15:15 +13 D.Lazard talk contribs (Undid revision 1292344339 by Fgnievinski (talk) Using template {{hatnote}} for an important user warning does not mean that it is a WP:hanote, if not at the top of the article neither at the top of a section) Tag: Undo
- diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
- diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
- diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
- diffhist Cardinality 14:00 −13 Fgnievinski talk contribs (WP:LEGITHAT) Tag: Reverted
- diffhist Mathematical proof 11:05 −4,109 Erpert talk contribs (Surprising that so much of this article was unsourced) Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Computability theory 07:19 −20 David Eppstein talk contribs (→References: isbn goes to a 1972 reprint from Wolters-Noordhoff, but explaining the history of dutch academic publisher mergers that led to that would be more trouble than it's worth)
- diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
- diffhist Cardinality 02:25 +404 Farkle Griffen talk contribs (→Other contributors: Added ref) Tag: Visual edit
- diffhist Empty set 02:12 0 173.79.19.248 talk (→Topology: LQ)
- diffhist William Gasarch 01:39 0 David Eppstein talk contribs (→Education: lower case)
25 May 2025
- diffhist Cardinality 23:59 +356 Farkle Griffen talk contribs (→Georg Cantor: Included his view of cardinality as an abstraction from sets) Tag: Visual edit
- diffhist Naive set theory 22:32 +519 Paolo Lipparini talk contribs (various fixes; in particular an inconsistent theory proves everything (including all statements which can be interpreted as asserting its consistency!); probably many more things to be fixed|)
- diffhist m Cardinality 22:10 −1 Willondon talk contribs (→Other contributors: spelling)
- diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist Cardinality 21:20 +171 Farkle Griffen talk contribs (→Other contributors: Added some detail and clarification) Tag: Visual edit
- diffhist Cardinality 20:53 +161 Farkle Griffen talk contribs (→Georg Cantor: Mentioned Cantor's Theorem) Tag: Visual edit
- diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
- diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
- diffhist Cardinality 18:30 −1,765 Farkle Griffen talk contribs (→Georg Cantor: Major trimming. Making more room for more detail.) Tag: Visual edit
- diffhist Module:Portal/images/m 11:09 +264 Hike395 talk contribs (dark mode edits: mark as dark-on-white)
- diffhist Cardinality 09:50 −4 Jochen Burghardt talk contribs (→top: rm definite article, since there are many notions of size)
- diffhist Logicism 04:11 +65 Seananony talk contribs (→top: correction, spelling out pm) Tags: Mobile edit Mobile app edit Android app edit App full source
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
- diffhist m Material conditional 02:32 0 Marc Schroeder talk contribs (→Syntactical properties)
24 May 2025
- diffhist Cardinality 22:35 +1,907 Farkle Griffen talk contribs (→Early set theory: Started a section on "Other contributors") Tag: Visual edit
- diffhist Cardinality 21:52 −4 Trovatore talk contribs (The link to size is not particularly helpful here)
- diffhist m Cardinality 21:48 +28 Farkle Griffen talk contribs (→Georg Cantor: Swapped image for a younger Cantor) Tag: Visual edit
- diffhist m Material conditional 21:48 −567 Marc Schroeder talk contribs (→Syntactical properties: Now things are stated once instead of twice.)
- diffhist Cardinality 21:46 +1,335 Farkle Griffen talk contribs (→Georg Cantor: Added primary sources. Adding Secondary and tertiary sources soon) Tag: Visual edit
- diffhist Cardinality 21:46 0 Trovatore talk contribs (→History: sentence case for headings)
- diffhist Cardinality 21:34 +2,436 Farkle Griffen talk contribs (→Early Set theory: Expanded bit on Cantor into its own section--needs trimming and glossing. I'll begin adding in-line citations shortly) Tag: Visual edit