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 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 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 Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→Mathematics and Synthetic Apriori Propositions.)
- diffhist Analytic–synthetic distinction 04:11 −6 2a00:23c7:2bd2:ab01:207c:d759:7327:9c66 talk (→The Importance of Synthetic Apriori Propositions to Kant's metaphysics)
- 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 Critical thinking 23:39 −64 Allforrous talk contribs (−Category:Analysis; −Category:Skepticism OVERCAT.)
- 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 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 Possible world 17:38 −30 Remsense talk contribs Tags: Mobile edit Mobile app edit iOS app edit App section source
- diffhist Informal logic 17:33 +2 Allforrous talk contribs (→External links: Cat main.)
- 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 Tilde 12:26 −772 ScottishFinnishRadish talk contribs (Reverting edit(s) by 66.110.254.14 (talk) to rev. 1291758543 by David Eppstein: No reliable source (UV 0.1.6)) Tags: Ultraviolet Undo
- diffhist Tilde 11:36 +772 66.110.254.14 talk (Added content) Tags: Reverted Mobile edit Mobile web edit
- diffhist m Cardinality 01:51 +1 Lmartin37 talk contribs (Fixed typo (cadinality instead of cardinality).) Tag: Visual edit
- diffhist List of fallacies 01:08 −488 Voorts talk contribs (Removing link(s) / list item(s) Wikipedia:Articles for deletion/Definist fallacy closed as delete (XFDcloser))
- diffhist m Index of logic articles 01:08 −4 Voorts talk contribs (Removing link(s) Wikipedia:Articles for deletion/Definist fallacy closed as delete (XFDcloser))
- 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 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 Formal semantics (natural language) 17:07 0 Phlsph7 talk contribs (fix date)
- diffhist Formal semantics (natural language) 17:04 +998 Phlsph7 talk contribs (→Sources: add sources)
- diffhist Formal semantics (natural language) 17:02 +6 Phlsph7 talk contribs (→Methodology: move to footnote: this might be to specific for the general explanation)
- diffhist Formal semantics (natural language) 17:01 +5,063 Phlsph7 talk contribs (→Central concepts: section "Central concepts" renamed to "Methodology" and expanded to explain how these concepts are used to analyze language and their relation to model theory; some passages were rewritten to better reflect the sources and showcase the relation; for previous drafts, see User:Phlsph7/Formal semantics - Methodology; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article) Tag: harv or sfn error
- diffhist m List of paradoxes 14:38 +4 WikiNukalito talk contribs (→Biology)
- diffhist Formal semantics (natural language) 09:23 +167 Phlsph7 talk contribs (add source)
- 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