Related changes

24 April 2025

• 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 Rhetoric 12:08 +489 MattressSmith talk contribs (Added quote citations.) Tag: Visual edit
• diffhist Logical biconditional 12:02 0 Celjski Grad talk contribs (nor -> NOR) Tag: Visual edit
• diffhist XNOR gate 12:00 −124 Adakiko talk contribs (rv unsourced editorializing) Tag: Undo
• 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
• diffhist Ampersand 01:21 0 Spitzak talk contribs (Undid revision 1287094554 by 2600:1700:120:8480:E922:DDCE:7644:8212 (talk)) Tag: Undo

23 April 2025

• diffhist Ampersand 23:48 0 2600:1700:120:8480:e922:ddce:7644:8212 talk (200xx) Tag: Reverted
• 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 London 15:16 −47 Remsense talk contribs (Restored revision 1286900651 by Nampa DC (talk): Not verified in the article body, which the lead summarizes) Tags: Twinkle Undo
• diffhist London 15:12 +47 Caberouii talk contribs (Qmul) Tags: Reverted Mobile edit Mobile web edit
• diffhist Contingency (philosophy) 13:44 +19 LilyKitty talk contribs (about indeterminism)
• diffhist m Contingency (philosophy) 11:38 +1 Dznz00 talk contribs (→Determinism and foreknowledge: add missing closing quote) Tag: Visual edit
• 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 Logical NOR 09:41 +170 185.118.40.1 talk (→Alternative notations and names: APL notation)
• 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 XNOR gate 22:07 0 2a01:799:965:9400:809c:c3b0:7357:4fe talk (fixed mistake) Tags: Reverted Mobile edit Mobile web edit
• diffhist XNOR gate 21:03 +2 2a01:799:965:9400:809c:c3b0:7357:4fe talk (moderated "unfortunate" to "confusing") Tags: Reverted Mobile edit Mobile web edit
• diffhist XNOR gate 21:01 −8 2a01:799:965:9400:809c:c3b0:7357:4fe talk (corrected typo) Tags: Reverted Mobile edit Mobile web edit
• diffhist XNOR gate 21:00 +130 2a01:799:965:9400:809c:c3b0:7357:4fe talk (Trying again with explanatory comment: Commented on the "unfortunate" naming of this gate, given its actual functionality (which was already pointed out). I think it can be valuable to emphasize this, to hopefully avoid a possible confusion that can arise, say if a reader thinks one can "make a NOR gate exclusive" (it already is! same with AND, so XAND is just as moronic). Ironically, NXOR is *not exclusive* as it gives T for both FF and TT (necessarily, as it's the compl to the exclusive XOR).) Tags: Reverted Mobile edit Mobile web edit
• diffhist XNOR gate 20:30 −116 MrOllie talk contribs (Reverted 1 edit by 2A01:799:965:9400:809C:C3B0:7357:4FE (talk): Rv editorializing) Tags: Twinkle Undo
• diffhist XNOR gate 20:28 +116 2a01:799:965:9400:809c:c3b0:7357:4fe talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Contradiction 19:31 −69 ComplexRational talk contribs (→Outside formal logic: not exactly, and not clear what "bad theory" is)
• diffhist m London 18:10 0 Nampa DC talk contribs (→Areas: adjust)
• diffhist London 18:04 +117 Nampa DC talk contribs (No consensus for any lede image change; use talk. Also duplicates with images in article body.) Tag: Undo
• diffhist Cartesian product 17:31 −721 Senomo Drines talk contribs (Nevermind.) Tag: Manual revert
• diffhist Cartesian product 17:29 +566 Senomo Drines talk contribs (Forgot the source.) Tag: Reverted
• diffhist Cartesian product 17:29 +17 Senomo Drines talk contribs Tag: Reverted
• diffhist Cartesian product 17:28 +138 Senomo Drines talk contribs (A sentence bringing up binary relations should be here, since they share a similar concept, although placing it in a see also section is fine too.) Tag: Reverted
• diffhist Cartesian product 17:19 +22 Senomo Drines talk contribs (Similar to the revision done in binary relations, a and b can be misinterpreted to be subsets of A and B instead of elements of A and B.)
• diffhist London 17:17 +37 Caberouii talk contribs (Queen mary) Tags: Reverted Mobile edit Mobile web edit
• diffhist London 17:15 −154 Caberouii talk contribs (Images) Tags: Reverted Mobile edit Mobile web edit
• diffhist Boolean function 14:24 +4 MrSwedishMeatballs talk contribs (→On the symmetric hypercube) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Venn diagram 13:31 −14 Macrakis talk contribs (concision) Tag: Visual edit
• diffhist Ackermann set theory 11:02 +8 MrMacmur talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links