Related changes

25 April 2025

• 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 Human brain 15:59 −223 ARToftness talk contribs (→Sensory: Fixed an inaccurate claim about visual fields/retinas, corrected the use of the word "vision" to the proper "light," and merged two small vision-related paragraphs into a single paragraph with a cleaner description.)
• diffhist Busy beaver 15:43 −669 Jochen Burghardt talk contribs (→References: given in footnote)
• 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 m Busy beaver 13:43 +11 AmirOnWiki talk contribs (→Relationships between Busy beaver functions: Missing name of author)
• 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 m Busy beaver 11:32 0 BennBluee talk contribs (unbolded 2 single parentheses) Tag: Visual 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
• diffhist "Hello, World!" program 00:02 +153 Skynxnex talk contribs (these early examples are formatted that way to match their original presentation, see the sources)

23 April 2025

• diffhist "Hello, World!" program 22:28 −1 129.97.124.230 talk (→History)
• diffhist "Hello, World!" program 22:28 −5 129.97.124.230 talk (→History)
• diffhist Cardinality 22:17 0 87.10.208.147 talk
• diffhist Wikipedia:Citing sources 21:02 +74 Beland talk contribs (→What information to include: note some other exceptions discovered during discussion research)
• diffhist Wikipedia:Citing sources 21:00 +92 Beland talk contribs (→Citation style: add "and applicable Wikipedia style guidelines should be followed" following Wikipedia talk:Citing sources#Clarifying which MOS guidelines apply to citations #2)
• 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 Programming language 09:02 −1 Annh07 talk contribs (→Definitions: rm whitespace)
• diffhist m Programming language 09:01 0 Not-cheesewhisk3rs talk contribs (Punctuation)
• 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
• diffhist m Material conditional 02:45 −470 Marc Schroeder talk contribs (→Analytic tableaux: better strategy, first apply alpha rules)
• diffhist m Material conditional 01:44 +18 Marc Schroeder talk contribs (→Semantics)
• diffhist m Material conditional 01:42 −9 Marc Schroeder talk contribs
• diffhist Material conditional 01:32 +3,313 Marc Schroeder talk contribs (Added semantical proof of validity by method of analytic tableaux)

22 April 2025

• diffhist Philosophy of mathematics 23:03 +35 David Eppstein talk contribs (Amy Roth McDuffie)
• diffhist Cartesian product 17:31 −721 Senomo Drines talk contribs (Nevermind.) Tag: Manual revert