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
30 May 2025
- diffhist Cardinality 22:15 +1,695 Farkle Griffen talk contribs (→Inequality: Expanded on the Schroder-Berstein theorem and Cardinal in) Tag: Visual edit
- diffhist Cardinality 21:06 −592 Farkle Griffen talk contribs (→Inequality: Better to not talk about powersets and cantor's theorem yet) Tag: Visual edit
- diffhist Cardinality 20:13 +33 Farkle Griffen talk contribs (→Other contributors: Better flow) Tags: harv or sfn error Visual edit
- diffhist Propositional calculus 15:51 +16 2a00:8a60:c010:1::1:103d talk (→History: corrected claims from source that the source doesn't even claim; formal logic first came up in the 19th century with Frege's Begriffsschrift)
- diffhist Hilbert system 15:27 +1 2a00:8a60:c010:1::1:103d talk (→External links: use working link (https instead of http))
- diffhist m Non-standard model of arithmetic 15:14 0 Jacopo Piccione talk contribs (→Structure of countable non-standard models)
- diffhist Affine transformation 14:13 +28 Quantling talk contribs (→See also: Multilinear polynomial)
- diffhist Expression (mathematics) 12:55 +77 Jochen Burghardt talk contribs (→Variables and evaluation: more specific for "simplify")
- diffhist Expression (mathematics) 12:36 0 5.74.37.75 talk (changed some numbers that were wrong in the equations)
- diffhist Natural deduction 12:08 +405 Marc Schroeder talk contribs (Better formulation of remark)
- diffhist Category theory 09:54 +33 Yesterday, all my dreams... talk contribs (→See also: categoricity for logical theories)
- diffhist Axiomatic system 09:51 0 Yesterday, all my dreams... talk contribs (→Axioms and models: categoricity)
- 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 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 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 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 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 m NAND gate 23:51 0 Nyq talk contribs (→Functional completeness: sentence case) Tag: Visual edit
- 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 Affine transformation 21:13 +60 2a02:fe1:406d:7e00:a49c:b38e:a51c:62f talk (barycenters: now links to the math concept and not the astronomy)
- 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 Toffoli gate 15:48 +10 Quondum talk contribs (avoiding possessive where it is not universally used)
- 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 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)