Related changes

29 May 2025

• diffhist Ring (mathematics) 03:23 +35 Goodphy talk contribs (Added one important property for multiplication for a ring in the introductory section.) Tag: Visual edit
• 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 m Field (mathematics) 19:26 +1 JayBeeEll talk contribs
• 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 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 Database 13:59 +103 Fgnievinski talk contribs (Added {{Merge from}} tag) Tag: Twinkle
• diffhist Template:See also 13:34 +15 Ahecht talk contribs (ifexists={{{ifexists|true}}})
• diffhist Field (mathematics) 10:23 −10 JBW talk contribs (→Division rings: Making a note about the history of the name more visible; see talk page.)
• 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 Field (mathematics) 21:25 +57 D.Lazard talk contribs (→top: "skew field" in the hatnote)
• diffhist m Natural number 21:15 −14 Chaotic Enby talk contribs (Reverted edits by 197.220.89.58 (talk) (AV)) Tags: AntiVandal Rollback
• diffhist Natural number 21:15 +14 197.220.89.58 talk Tags: Reverted Mobile edit Mobile web edit
• 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 Rational number 17:42 +167 AnomieBOT talk contribs (Rescuing orphaned refs (":1" from rev 1292559158))
• diffhist m Rational number 17:17 0 Anita5192 talk contribs (ce: nonsero → nonzero in the lead)
• diffhist Rational number 16:44 −545 D.Lazard talk contribs (→top: This formal constriction does not belong to the lead)
• diffhist Rational number 16:42 +179 D.Lazard talk contribs (minor ce)
• diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
• diffhist Rational number 16:07 +39 D.Lazard talk contribs (Reverted 1 edit by GreatFireBoyPranav (talk): Unexplained removal of content) Tags: Twinkle Undo
• diffhist m Rational number 16:00 −39 GreatFireBoyPranav talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
• 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 Algebra 10:59 −1 Victimofleisure talk contribs (→Elementary algebra: Fixed typo in “The lowercase letters” *⁠a*) Tags: Mobile edit Mobile web edit
• 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 Complex number 18:44 +188 Quantling talk contribs (→Complex sine and cosine: Explain where these formulae come from)
• diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
• diffhist Complex number 18:36 +49 Quantling talk contribs (→Complex sine and cosine: Use math font for mathematical function names)
• diffhist Complex number 18:32 +196 Quantling talk contribs (→Complex sine and cosine: add disclaimer)
• diffhist Complex number 17:39 −45 Quantling talk contribs (Join two trigonometric sections into one)
• diffhist Complex number 17:35 +4 Quantling talk contribs (→Trigonometric hyperbolic functions: Restore accidentally deleted "and")
• diffhist Complex number 17:35 −16 Quantling talk contribs (Remove spaces. Change capitalization. Shorten section name.)