Related changes

25 April 2025

• 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 Jean-Yves Béziau 02:38 +1,432 Discospinster talk contribs (replace cited content - if you have concerns, discuss them on the talk page) Tag: Manual revert
• diffhist Jean-Yves Béziau 02:38 −1,432 Lucy dos Santos e Diva talk contribs (Discopinter is making alterations without any justification.) Tags: Undo Reverted references removed
• diffhist Jean-Yves Béziau 02:34 +1,432 Discospinster talk contribs (replace cited content - if you have concerns, discuss them on the talk page) Tags: Manual revert Reverted
• diffhist Jean-Yves Béziau 02:34 −1,432 Lucy dos Santos e Diva talk contribs (Discopinter is making alterations without any justification.) Tags: Undo Reverted references removed
• diffhist Jean-Yves Béziau 02:29 +1,432 Discospinster talk contribs (replace cited content - if you have concerns, discuss them on the talk page) Tags: Manual revert Reverted
• diffhist Jean-Yves Béziau 02:22 −1,432 Lucy dos Santos e Diva talk contribs (The World Logic Day was created by Beziau, not by UNESCO, read the paper. What is said about the principle of explosion and paraconsistent logic is pure nonsense. The Synthese controversy has been promoted by people who don't understand logic.) Tags: Undo Reverted references removed
• 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 Modal logic 21:55 +191 Yesterday, all my dreams... talk contribs (→Extensions)
• diffhist Modal logic 21:52 +24 Yesterday, all my dreams... talk contribs (→Extensions: lnk)
• diffhist Modal logic 21:51 +329 Yesterday, all my dreams... talk contribs (→Extensions: Intuitionistic logic)
• 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 Modal logic 23:05 −11 Yesterday, all my dreams... talk contribs
• diffhist Modal logic 23:04 0 Yesterday, all my dreams... talk contribs (→Extensions)
• diffhist Modal logic 23:02 +3 Yesterday, all my dreams... talk contribs (→Extensions)
• diffhist Modal logic 23:00 +1 Yesterday, all my dreams... talk contribs (→Extensions)
• diffhist Modal logic 23:00 +390 Yesterday, all my dreams... talk contribs (→Extensions)
• diffhist Cardinality 22:17 0 87.10.208.147 talk
• 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)