Related changes

29 May 2025

• diffhist m Cardinality 01:51 +1 Lmartin37 talk contribs (Fixed typo (cadinality instead of cardinality).) Tag: Visual edit
• diffhist Axiomatic system 00:10 +81 Yesterday, all my dreams... talk contribs (→Axioms and models: cartegoricity)

28 May 2025

• diffhist Logic 23:53 +18 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random word removal) Tags: Twinkle Undo
• diffhist Logic 23:35 −18 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Logic 22:57 +6 TonySt talk contribs (Reverted 1 edit by 2601:145:C301:1BB0:9947:49B6:E93C:C553 (talk): Revert random letter removals) Tags: Twinkle Undo
• diffhist Logic 22:56 −6 2601:145:c301:1bb0:9947:49b6:e93c:c553 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Scientific method 19:28 +9 Headbomb talk contribs (denyu)
• diffhist m Scientific method 19:27 −101 Headbomb talk contribs (Reverted edit by Citation bot (talk) to last version by Headbomb) Tag: Rollback
• diffhist m Church encoding 19:22 +90 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB
• diffhist Scientific method 19:01 +36 Headbomb talk contribs (ce)
• diffhist Module:Labelled list hatnote 18:18 +127 Ahecht talk contribs (Exclude section anchors from ifexists, properly show "no input" error message when ifexists=true)
• diffhist Scientific method 17:06 −817 Remsense talk contribs (Undid revision 1292756203 by Bathwater grim (talk) if the paper is too new to have had an impact in greater scholarship, then it is too new for Wikipedia. we are a tertiary source that proportionately represents relevant aspects of the entire body of sources) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
• diffhist m Scientific method 16:58 +817 Bathwater grim talk contribs (Undid revision 1292742608 by Remsense (talk). Claim of reference spam unwarranted; this is a legitimate contribution to dialogue on metascience. Paper is very new (hence lack of citations to it) but senior author of paper is a noted metascientist (cited >104,000 times). Although a commentary, open peer review shows rigorous assessment, including by the editor-in-chief of Science in the first round.) Tags: Undo Reverted
• diffhist Scientific method 15:29 −817 Remsense talk contribs (Reverted 1 edit by Bathwater grim (talk): Rv undue material, heretofor uncited and likely WP:REFSPAM) Tags: Twinkle Undo Reverted
• diffhist m Scientific method 15:26 +817 Bathwater grim talk contribs (→Relationship with statistics: Added reference to new metascience paper seeking to differentiate categories of scientific errors) Tags: Reverted Visual edit
• diffhist Template:See also 13:34 +15 Ahecht talk contribs (ifexists={{{ifexists|true}}})
• 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 Mortar methods 22:41 +24 David Eppstein talk contribs (Catherine Mavriplis)
• 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 m Computer program 15:18 +2 EvanBaldonado talk contribs (Replace hyphen with en-dash.)
• 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 m Artificial intelligence 14:59 +1 John of Reading talk contribs (→Planning and decision-making: Typo fixing, replaced: a.k.a → a.k.a.) Tag: AWB
• diffhist m Artificial intelligence 14:27 +52 Curious1i talk contribs (Added links) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Artificial intelligence 14:25 +26 Curious1i talk contribs (Added links) Tags: Mobile edit Mobile app edit iOS app edit App section source
• 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