Related changes

30 May 2025

• diffhist Wikipedia:Citing sources 05:01 −483 Nikkimaria talk contribs (rv: the RfC you cite found consensus against making a change here) Tag: Undo
• diffhist Ordinal number 04:03 −2 2601:643:8c82:7890:40d0:7ec7:18df:530a talk (→Ordinals extend the natural numbers: changed 'every' to 'any' to reduce ambiguity)
• diffhist m Computability theory 03:45 −2 Bringingthewood talk contribs (Undid revision 1293009499 by 2401:D800:37B:F790:5575:319C:FD38:2F7 (talk)) Tag: Undo
• diffhist Computability theory 03:41 +2 2401:d800:37b:f790:5575:319c:fd38:2f7 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Wikipedia:Verifiability 03:01 +42 WhatamIdoing talk contribs (Not really "meanings" in the sense of definitions) Tag: Visual edit
• diffhist Cardinality 01:26 +68 Farkle Griffen talk contribs (Restored revision 1292909463 by Farkle Griffen (talk): Nevermind, the second proof doesn't work without the original) Tags: Twinkle Undo
• diffhist Ordinal analysis 01:04 +106 C7XWiki talk contribs (→Table of ordinal analyses: Cite Δ^1_1-CA_0) Tags: Mobile edit Mobile web edit
• diffhist Cardinality 00:52 +53 Farkle Griffen talk contribs (→Uniqueness: Clearer) Tags: Reverted Visual edit
• diffhist Cardinality 00:08 −121 Farkle Griffen talk contribs (→Uniqueness: Slightly simpler proof and clarity) Tags: Reverted Visual edit

29 May 2025

• diffhist Law of excluded middle 23:20 +4 LucasBrown talk contribs (Changing short description from "Logic theorem" to "Logical principle") Tag: Shortdesc helper
• diffhist Hereditary set 22:23 +52 MidnightAlarm talk contribs (Adding short description: "Concept in mathematical logic") Tag: Shortdesc helper
• diffhist Computability theory 19:42 −51 Remsense talk contribs (superfluous)
• diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit
• diffhist Willard Van Orman Quine 17:40 0 Remsense talk contribs (Undid revision 1283631301 by 74.101.228.225 (talk) lq) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
• diffhist Willard Van Orman Quine 17:39 0 Remsense talk contribs (Undid revision 1283630767 by 74.101.228.225 (talk) lq) Tags: Undo Mobile edit Mobile app edit iOS app edit App undo
• diffhist m Cardinality 14:39 −12 Farkle Griffen talk contribs (→Equinumerosity: typos and quotation marks) Tag: Visual edit
• diffhist m Cardinality 14:36 −6 Farkle Griffen talk contribs (→Equinumerosity: typos) Tag: Visual edit
• diffhist m Cardinality 14:33 +4 Farkle Griffen talk contribs (→Equinumerosity) Tag: Visual edit
• diffhist Cardinality 14:29 +1,097 Farkle Griffen talk contribs (→Equinumerosity: Added explanatory paragraph, and minor rewrite.) Tag: Visual edit
• diffhist Turing machine 13:08 +1 Jochen Burghardt talk contribs (Undid revision 1292693563 by Pstringe0 (talk): in a quote, the original text should be shown literally, whether we like it or not) Tag: Undo
• diffhist Wikipedia:Citing sources 11:04 +45 Manifestation talk contribs (This page used three different ref groups. Merged them into one.)
• diffhist Wikipedia:Citing sources 11:02 +483 Manifestation talk contribs (→Parenthetical referencing: Added two short sentences about "Author (year)" in-text citing. According to the RfC, this type of referencing should *not* be used on Wikipedia.) Tag: Reverted
• 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 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 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 Reverted 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 m Number theory 01:01 +5 Blahhmosh talk contribs
• 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 Cardinality 14:45 −16 Jochen Burghardt talk contribs (→top: it doesn't follow logically)
• diffhist m Ingebrigt Johansson 12:56 −31 Deb talk contribs (bring intro into line with bio standards)
• 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