Related changes

27 April 2025

• diffhist Primitive recursive function 17:30 0 Wws talk contribs (→Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org))
• diffhist Non-standard model 16:23 +87 Mooonswimmer talk contribs (Adding local short description: "Model in mathematical logic not isomorphic to the standard model", overriding Wikidata description "model of a theory that is not isomorphic to the intended model") Tag: Shortdesc helper
• diffhist Church–Turing thesis 02:39 +4 174.72.84.123 talk (→Statement in Church's and Turing's words)

26 April 2025

• diffhist m Set (mathematics) 18:57 +1 Mdavis94538 talk contribs (→Power set: emptyset => empty set)
• diffhist m Set (mathematics) 18:55 +1 Mdavis94538 talk contribs (→Algebra of subsets: emptyset => empty set)
• diffhist Philosophy of mathematics 12:58 +54 Oneequalsequalsone talk contribs (→Psychologism: add 'by whom' template) Tag: Visual edit
• diffhist Mathematics 09:39 −41 D.Lazard talk contribs (Reverted 1 edit by Wikideas1 (talk): Unneeded: This belongs to mathematical education and is liked to in Mathematical education) Tags: Twinkle Undo
• diffhist Mathematics 05:55 +41 Wikideas1 talk contribs (→Training and practice: |Computer-based mathematics education}}) Tag: Reverted

25 April 2025

• diffhist m Information theory 23:56 −35 Remsense talk contribs (Reverted 1 edit by $govindsinghbabhan$ (talk) to last revision by Remsense) Tags: Twinkle Undo
• diffhist Information theory 23:49 +35 $govindsinghbabhan$ talk contribs (Added Citation needed) Tags: Reverted Visual edit Mobile edit Mobile web edit Advanced mobile edit Newcomer task Newcomer task: references
• diffhist m Logical disjunction 20:20 −3 MeowBombz talk contribs (Small edit to make the list of alternate names read better)
• diffhist Set (mathematics) 18:23 +82 Remsense talk contribs (→Roster notation: ce? please forgive me if this is worse)
• diffhist m Set (mathematics) 17:43 +1 Miles Waugh talk contribs (→Roster notation: Small grammatical fix.)
• diffhist Cardinality 14:41 +1 JRSpriggs talk contribs (→Finite sets: spelling)
• diffhist m Cardinality 13:17 0 Willondon talk contribs (→Finite sets: typo)
• diffhist P versus NP problem 06:53 −3 Cedar101 talk contribs (→Formal definitions: \mathsf ′ {{tooltip}})
• diffhist Logic 02:19 +1 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
• diffhist Logic 02:18 −2 DuncanHill talk contribs (Fixing harv/sfn reference errors. Please install User:Trappist the monk/HarvErrors.js and watchlist Category:Harv and Sfn no-target errors to help you spot such errors when reading and editing.)
• diffhist Logic 02:18 0 DuncanHill talk contribs (→Bibliography: Get names right way round!)

24 April 2025

• diffhist Extensionality 23:52 −37 Fang-runin talk contribs (I resolved a "clarification needed" request for the Univalence bullet point in the Extensionality subsection, wherein I provided the types of the mathematical objects and defined the notation used.) Tag: Visual edit
• diffhist m Axiomatic system 23:03 −1 Alinowe talk contribs (→top) Tags: Mobile edit Mobile app edit Android app edit App section source
• diffhist Logic 22:35 +55 David Eppstein talk contribs (→Bibliography: even more authorlinks)
• diffhist Logic 22:29 +197 David Eppstein talk contribs (→Bibliography: more authorlinks)
• diffhist Axiomatic system 22:07 +17 Yesterday, all my dreams... talk contribs (formal statements, not notions)
• diffhist Axiomatic system 22:01 +1 Yesterday, all my dreams... talk contribs (→Axiomatization and proof)
• diffhist Axiomatic system 22:01 +52 Yesterday, all my dreams... talk contribs (→Axiomatization and proof: Only for systems not complete)
• diffhist Axiomatic system 21:58 −6 Yesterday, all my dreams... talk contribs (move)
• diffhist Axiomatic system 21:57 −407 Yesterday, all my dreams... talk contribs (→Issues: unsourced and utter nonsense)
• diffhist Logic 21:56 +106 David Eppstein talk contribs (→Bibliography: several authorlinks, one missing accent in author name, and one reversed author name)
• diffhist m Sequent calculus 19:24 +37 Theanswertolifetheuniverseandeverything talk contribs (Clarify restrictions on ∃L and ∀R) Tag: Visual edit
• diffhist Cardinality 15:29 0 35.21.79.36 talk (fixed the in-article link on "Pre-Cantorian Set theory", it should actually send one to the spot in the article now. It didn't previously because the S in Set wasn't capitalized.)
• diffhist m Principia Mathematica 14:31 −72 Cutlass talk contribs (Reverted 1 edit by 2A02:1810:1E1F:4000:6500:6530:E56A:6D6D (talk) to last revision by Galaktos) Tags: Twinkle Undo
• diffhist Principia Mathematica 14:31 +72 2a02:1810:1e1f:4000:6500:6530:e56a:6d6d talk (→Scope of foundations laid) Tags: Reverted extraneous markup
• diffhist Function (mathematics) 13:49 +49 Mindmatrix talk contribs (revert - the goal of hatnotes is to point readers in the right direction for subjects having the same or similar names, irrespective of relation to the current page)
• diffhist Function (mathematics) 13:24 −57 Aray0825 talk contribs (removed unnecessary— and frankly bit suspect — reference to a band whose name happens to be the algebraic visual representation of a very generic function f(x). This has nothing to do with the article.) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Robinson arithmetic 12:30 +2 The Anome talk contribs (<p>) Tag: Visual edit
• diffhist Robinson arithmetic 12:30 +4 The Anome talk contribs (finitely axiomatized) Tag: Visual edit
• diffhist Logical biconditional 12:02 0 Celjski Grad talk contribs (nor -> NOR) Tag: Visual edit
• diffhist m Logical biconditional 11:58 −82 Adakiko talk contribs (Reverted edits by 2A01:799:965:9400:809C:C3B0:7357:4FE (talk): original research (HG) (3.4.13)) Tags: Huggle Rollback
• diffhist Logical biconditional 11:57 +82 2a01:799:965:9400:809c:c3b0:7357:4fe talk (Added a comment about the somewhat confusing nomenclature of the XNOR operator, that should rather be named NXOR (but which is harder to articulate), since this is likely contributing to what appears to be a common misconception, viz. that any op without an X - such as NOR and AND - can be "made exclusive" somehow (but eg. NOR and AND cannot be made more "exclusive" than they already are, since they are T for only a single operand pair: {F,F} and {T,T}, respectivley).) Tags: Reverted Mobile edit Mobile web edit
• diffhist Logic 04:36 +57 David Eppstein talk contribs (→Bibliography: isbn ok)
• diffhist Injective function 02:36 +91 Goodphy talk contribs (Mentioned a typical characteristic of an injection.) Tag: Visual edit

23 April 2025

• diffhist Cardinality 22:17 0 87.10.208.147 talk
• diffhist Module:Lang/data 21:33 +38 Trappist the monk talk contribs (fr-ca → Canadian French; +fr-x-quebec → Quebec French;)
• diffhist Tarski's undefinability theorem 18:11 −3 Peter M Gerdes talk contribs (Found a few more mathcal Ns and switched to mathnn) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Tarski's undefinability theorem 18:09 +83 Peter M Gerdes talk contribs (Used mathbb for the usual symbol for N. Changed talk of metalanguage to stronger system as it's not technically a metalanguage merely some stronger system.) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Set (mathematics) 16:05 +1,507 D.Lazard talk contribs (→Transfinite induction: filling the section)
• diffhist Hilbert system 11:10 +146 Emk talk contribs (→Predicate logic (example system): fixed a reference to the removed section, reverted changes to Q7)
• diffhist m Material conditional 07:30 −1 Anomalocaris talk contribs ({{2-ary truth table}} unindented to avoid multiline table in list lint error)
• diffhist m Cardinality 03:29 −44 Farkle Griffen talk contribs (Why does it keep adding Zermelo?) Tags: Mobile edit Mobile app edit iOS app edit App section source