Related changes

24 May 2025

• diffhist Cardinality 15:07 +227 Farkle Griffen talk contribs (Undid revision 1291976139 by D.Lazard (talk) The fact that Bolzano's ''Paradoxes'' had little influence is well-sourced) Tag: Undo
• diffhist m Logic 15:05 −4 Remsense talk contribs (Reverted 1 edit by Quality Sign (talk) to last revision by Phlsph7) Tags: Twinkle Undo
• diffhist Reason 15:05 −21 Remsense talk contribs (Undid revision 1291983455 by Quality Sign (talk): useless) Tag: Undo
• diffhist Reason 15:04 +21 Quality Sign talk contribs Tag: Reverted
• diffhist Logic 14:47 +4 Quality Sign talk contribs Tag: Reverted
• diffhist Cardinality 14:12 −227 D.Lazard talk contribs (→Pre-Cantorian Set theory: Rm an opinion that may be true of false, depending whether Cantor was inluenced by Bolzano's work.) Tag: Reverted
• diffhist Cardinality 13:53 −2 Sheddow talk contribs (ce)
• diffhist Cardinality 13:51 0 Sheddow talk contribs (typo)
• diffhist Argumentation theory 13:15 −2,380 Cognsci talk contribs (→Approaches to argumentation in communication and informal logic: removed section with no citations)
• diffhist Cardinality 13:14 +234 D.Lazard talk contribs (→top: + hatnote)
• diffhist Cardinality 12:59 +3 Wolfdog talk contribs (lede)
• diffhist Kolmogorov complexity 11:49 +1,969 2001:8e0:206d:9500:886d:9694:df97:bfd4 talk (Added applications to biology.) Tag: Visual edit
• diffhist Cardinality 10:10 −3 D.Lazard talk contribs (→top: typo)
• diffhist Cardinality 10:06 +2 D.Lazard talk contribs (→top: typo)
• diffhist Cardinality 10:03 +148 D.Lazard talk contribs (→top: Encyclopedic tone for the lead)
• diffhist Formal language 09:12 −1 Ttmms talk contribs (Undid revision 1291834064 by 2600:1700:8620:2400:9D4D:4247:3274:52FF (talk)) Tag: Undo

23 May 2025

• diffhist Formal language 17:55 +1 2600:1700:8620:2400:9d4d:4247:3274:52ff talk (Account) Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Ordinal number 16:44 −6 Quantling talk contribs (Remove extraneous word)
• diffhist Ordinal number 16:43 −14 Quantling talk contribs ("when dealing with" --> "for")
• diffhist Transfer principle 16:19 −17 94.175.200.195 talk (→Statement: moved wiki markup outside <math> as it doesn’t work otherwise) Tags: Mobile edit Mobile web edit
• diffhist Transfer principle 16:13 −4 94.175.200.195 talk (→Transfer principle for the hyperreals: Fixed section link) Tags: Mobile edit Mobile web edit
• diffhist Ordinal number 14:38 −8 125.168.253.171 talk
• diffhist Image (mathematics) 11:12 0 NeilOnWiki talk contribs (→top: Postponed use of 'X to Y' to second para from first, where it wasn't needed.)
• diffhist Equivalence relation 10:22 −1,321 Diannaa talk contribs (remove content copied from https://docshare.tips/ontology-components_5889a698b6d87fe72e8b4af7.html; this might be a Wikipedia mirror) Tag: Undo
• diffhist Cardinality 07:14 +77 D.Lazard talk contribs (→Examples and properties: The inclusion exclusion principle does not apply to infinite sets)
• diffhist Cardinality 01:56 +33 D.Lazard talk contribs (→Examples and properties: inclusion-exclusion principle: fixing the sentence; not sure its belonge here)
• diffhist Topological space 01:20 −2 D.Lazard talk contribs (→See also: extraneous *)
• diffhist Topological space 01:17 −63 D.Lazard talk contribs (Undid revision 1291707775 by Yesterday, all my dreams... (talk) Dubious notability; vague and not expanded in the body) Tag: Undo
• diffhist Injective function 00:43 −94 JayBeeEll talk contribs (Restored revision 1270719362 by Zlamma (talk): Rv: redundant) Tags: Twinkle Undo
• diffhist Cardinality 00:06 −474 Sheddow talk contribs (Move the inclusion-exclusion principle to properties section)

22 May 2025

• diffhist Cardinality 23:49 +12 Sheddow talk contribs (→Cantor's paradox: rewrite sentence)
• diffhist m Cardinality 23:32 0 Sheddow talk contribs (→Uniqueness: typo)
• diffhist Computable function 23:24 −1 80.208.68.44 talk (typo: "computiong" -> "computing") Tag: Visual edit
• diffhist Satisfiability 23:20 +10 David Eppstein talk contribs (more specific short description)
• diffhist Logical biconditional 23:19 −9 David Eppstein talk contribs (more specific short description)
• diffhist Computable set 23:17 +5 David Eppstein talk contribs (more specific short description)
• diffhist Type theory 23:11 +4 David Eppstein talk contribs (more specific short description)
• diffhist Equivalence relation 22:44 +1,321 Logic Decimal talk contribs (→Connections to other relations) Tag: Reverted
• diffhist Topological space 22:07 +63 Yesterday, all my dreams... talk contribs (point free systems) Tag: Reverted
• diffhist Topological space 22:05 −15 Yesterday, all my dreams... talk contribs (→See also)
• diffhist Topological space 22:04 +2 Yesterday, all my dreams... talk contribs (→See also)
• diffhist Topological space 22:03 +40 Yesterday, all my dreams... talk contribs (→See also: link)
• diffhist Function (mathematics) 20:15 −14 JayBeeEll talk contribs (cleanup sentences left broken after last edit)
• diffhist Tarski's undefinability theorem 19:18 0 2a0c:5a81:3200:6600:afee:93a6:e0fb:6904 talk (→Statement) Tags: Mobile edit Mobile web edit
• diffhist Informal logic 16:42 +190 LWG talk contribs (→History: clarify and resolve undue weight tag)
• diffhist Rule of inference 13:55 −4 Phlsph7 talk contribs (→Modal logics: fix for system T)
• diffhist m Expression (mathematics) 07:42 −27 CarrotFarming talk contribs (René Descartes linked to Paris Descartes University.) Tag: Visual edit
• diffhist Function (mathematics) 03:48 +14 Goodphy talk contribs (→Partial functions: Slightly improved sentences for the section for partial functions.) Tag: Visual edit
• diffhist m Algebraic logic 02:32 +2 HirowoWiki talk contribs (Fixed lint errors: missing end tag)

21 May 2025

• diffhist m Bijection 19:27 −16 Farkle Griffen talk contribs (MOS:MATH#IFF) Tags: Mobile edit Mobile app edit iOS app edit App section source