Related changes

25 April 2025

• diffhist m Logical disjunction 20:20 −3 MeowBombz talk contribs (Small edit to make the list of alternate names read better)
• diffhist Modus ponens 19:05 +432 Loverthehater talk contribs (→Formal notation: hopefully more readable, extended the paragraph)
• diffhist m Ludwig Wittgenstein 19:00 +4 Dlanold talk contribs (→Works: +WL) Tag: Visual edit: Switched
• 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 m Bertrand Russell 11:18 0 Headbomb talk contribs (ce)
• diffhist Ludwig Wittgenstein 07:47 −434 Wham2001 talk contribs (Restore shortdesc; rm randomly-placed reference; fix harv/sfn multiple-target error by converting ref)
• 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!)
• diffhist m The Principles of Mathematics 00:45 −2 GreenWeasel11 talk contribs (→Early reviews: rm extra space)

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 Ludwig Wittgenstein 23:46 +520 Jy Houston talk contribs (→Anschluss: become by law a 'national' [not a citizen] of the enlarged Germany *being, as a Jew, ineligible to become a Reich citizen.[1]*) Tag: Visual edit
• diffhist Tractatus Logico-Philosophicus 23:46 +65 Maurice Magnus talk contribs (→Further reading: deleted confusing and unnecessary word; inserted link to article)
• 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 Tractatus Logico-Philosophicus 21:44 +4 Maurice Magnus talk contribs (italicized word in title)
• diffhist Tractatus Logico-Philosophicus 21:41 −28 Maurice Magnus talk contribs (deleted verbiage)
• diffhist Modus ponens 21:01 +117 Loverthehater talk contribs (→Formal notation)
• diffhist Modus ponens 19:40 −116 Loverthehater talk contribs (→Formal notation: simplified)
• diffhist Modus ponens 19:36 −22 Loverthehater talk contribs (Combined truth table representation and formal notation sections under formal notation.)
• diffhist m Sequent calculus 19:24 +37 Theanswertolifetheuniverseandeverything talk contribs (Clarify restrictions on ∃L and ∀R) Tag: Visual edit
• diffhist Modus ponens 19:24 −184 Loverthehater talk contribs (→Truth table representation: reworked this section to more accurately speak on the relation between modus ponens and implication)
• 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 William Stanley Jevons 19:25 +64 Aloneinthewild talk contribs (added Category:Academics of the Victoria University of Manchester using HotCat)
• 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)