Related changes

28 May 2025

• diffhist m Turing machine 09:05 −1 Pstringe0 talk contribs (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: Changed integral to integer as per the definition of Diophantine equations referenced elsewhere on the site.) Tags: Manual revert Visual edit
• diffhist m Bijection 09:01 +43 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
• diffhist Turing machine 08:35 +1 Ehrenkater talk contribs (Undid revision 1292689777 by 67.204.47.19 (talk) The word "integer" is arguably more correct, but do you have a citation saying that that is what the original translation said?) Tags: Undo Reverted
• diffhist Turing machine 08:30 −1 67.204.47.19 talk (→The Entscheidungsproblem (the "decision problem"): Hilbert's tenth question of 1900: changed integral coefficients to integer coefficients.) Tag: Reverted
• diffhist Turing machine 05:13 +26 Kankawee aramrak talk contribs (Add constructor's name of physical Turing Machine.)
• diffhist m Cardinality 03:02 +1 Farkle Griffen talk contribs (→Georg Cantor: grammar) Tag: Visual edit
• diffhist Image (mathematics) 00:00 0 172.56.169.180 talk (→Properties) Tag: Manual revert

27 May 2025

• diffhist Image (mathematics) 23:57 0 172.56.169.180 talk (→General) Tag: Reverted
• 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 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 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 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 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)

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 m Sociology 18:00 −1 EnTerbury talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit
• diffhist Sociology 17:58 −2 EnTerbury talk contribs Tags: Visual edit Mobile edit Mobile web edit Advanced mobile 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 Universal algebra 09:30 −340 2a00:1880:a009:b9c2:f5e8:e63d:4b4e:97eb talk (→Constraint satisfaction problem: While Zhuk is a university-affiliated researcher, the 2017 arXiv upload cited here remains a preprint that has not been formally peer-reviewed or published in a journal. According to Wikipedia:Reliable sources, arXiv preprints are considered self-published and require coverage in reliable secondary sources to be included regardless of the author’s institutional affiliation. For consistency with prior source removals, this reference is omitted until such co...) Tags: Mobile edit Mobile web edit
• 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