Related changes

15 July 2025

• diffhist Zermelo–Fraenkel set theory 22:21 −164 Trovatore talk contribs (→Axiom of pairing: oh, I see why that was there. Easily fixed; just get rid of the digression about redundancy, which is unimportant)
• diffhist m Jan Łukasiewicz 22:20 −2 Ira Leviton talk contribs (Fixed another reference.)
• diffhist Zermelo–Fraenkel set theory 22:19 −233 Trovatore talk contribs (→Axiom of pairing: rm out-of-place claim -- we don't need to prove here that there is a set with at least two elements)
• diffhist Zermelo–Fraenkel set theory 22:18 +2 Trovatore talk contribs (fix comma splice)
• diffhist m Jan Łukasiewicz 22:18 −2 Ira Leviton talk contribs (Fixed a reference. Please see Category:CS1 errors: empty unknown parameters.)
• diffhist Zermelo–Fraenkel set theory 22:10 +1 Trovatore talk contribs (add period)
• diffhist Zermelo–Fraenkel set theory 22:10 −2 Trovatore talk contribs (typo)
• diffhist Zermelo–Fraenkel set theory 22:09 +358 Trovatore talk contribs (fixes to pairing axiom (see discussion on talk))
• diffhist Axiomatic system 21:56 −13 Yesterday, all my dreams... talk contribs (→Example: these axioms are deductive, not semantic)
• diffhist Axiomatic system 21:55 −13 Yesterday, all my dreams... talk contribs (→Axioms and models: formal structures are by definition well defined)
• diffhist m Natural deduction 21:09 −1 Scrooge Mcduc talk contribs (→Gentzen-style example proofs: typo fix)
• diffhist Jan Łukasiewicz 20:57 +220 Comp.arch talk contribs (Are "Chapter IV" and Tarksi refs misformated/misaligned? E.g. with ":—;" meaning what?) Tag: 2017 wikitext editor
• diffhist m Lambda calculus 19:32 −4 Frap talk contribs
• diffhist Lambda calculus 18:28 +416 Jochen Burghardt talk contribs (→Free variables: citation; bound / free aren't disjoint)
• diffhist Truth table 18:13 −2,371 Jochen Burghardt talk contribs (distracting) Tag: Undo
• diffhist Mathematical object 18:11 0 162.106.6.36 talk
• diffhist Church encoding 17:43 +10 WillNess talk contribs (Updated short description) Tags: Mobile edit Mobile app edit Android app edit App description change
• diffhist Lambda calculus 17:39 −32 Scrooge Mcduc talk contribs (→Free variables)
• diffhist Zermelo–Fraenkel set theory 17:35 +36 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed "Axiom of pairing")
• diffhist m Critical thinking 17:20 +8 PuppyMonkey talk contribs Tag: Visual edit
• diffhist Zermelo–Fraenkel set theory 17:20 +3 2601:204:f181:9410:7903:f639:5086:2ec9 talk (→Axiom of pairing: Fixed false statement (and bad grammar).)
• diffhist Truth table 16:32 +170 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
• diffhist Truth table 16:16 +2,201 46.159.119.122 talk (→Applications of truth tables in digital electronics) Tags: Reverted Mobile edit Mobile web edit
• diffhist Analytic philosophy 14:48 +20 59.27.38.124 talk
• diffhist Image (mathematics) 05:46 +8 GALI MANISH KUMAR talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist Construction of the real numbers 05:14 +76 Scrooge Mcduc talk contribs
• diffhist Construction of the real numbers 04:51 +114 Scrooge Mcduc talk contribs (Added clarification that almost homomorphism condition is just the condition that the error is bounded.)
• diffhist Infinity 01:14 0 190.236.166.171 talk Tags: Mobile edit Mobile web edit

14 July 2025

• diffhist Zermelo–Fraenkel set theory 20:02 +152 41.230.140.43 talk (→Axiom of infinity) Tag: Visual edit: Switched
• diffhist m Cardinality 19:42 −63 Farkle Griffen talk contribs (→Cardinal numbers: Clearer) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Functional predicate 18:28 +61 Jochen Burghardt talk contribs (→top)
• diffhist Pure mathematics 17:39 +9 104.152.83.178 talk (→19th century: minor clarification/jargon)
• diffhist P versus NP problem 16:39 −1,430 David Eppstein talk contribs (Undid revision 1300487044 by David Conway 522758601 (talk) space logic crankery) Tag: Undo
• diffhist God 16:39 +1 Protonprometheus talk contribs (→External links: Corrected archived url link with archive date.) Tags: Mobile edit Mobile web edit
• diffhist m P versus NP problem 16:37 +1,430 David Conway 522758601 talk contribs (→Claimed solutions) Tag: Reverted
• diffhist God 16:20 +35 Protonprometheus talk contribs (→External links) Tags: Mobile edit Mobile web edit
• diffhist Cardinality 15:07 +1 LooksGreatInATurtleNeck talk contribs (Fixed Category:Harv and Sfn no-target errors, sfn contained typos)
• diffhist Cardinality 15:02 −11 LooksGreatInATurtleNeck talk contribs (There was a Script warning on the page from a cite book template, "Category:CS1 maint: date and year", fixed by removing the redundant date= field as year= was already set)
• diffhist Ambiguity 12:02 0 Discertain talk contribs (→Social psychology and the bystander effect: Fixed typo) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist m Axiom 12:00 0 Chatul talk contribs (plain -> plane)
• diffhist m Axiom 08:27 +2 Des Vallee talk contribs
• diffhist m Axiom 08:26 0 Des Vallee talk contribs
• diffhist m Axiom 08:26 0 Des Vallee talk contribs
• diffhist Axiom 08:25 +310 Des Vallee talk contribs
• diffhist Sentence (mathematical logic) 06:05 +23 FatalSubjectivities talk contribs ({{other uses|Sentence}}) Tag: Disambiguation links added
• diffhist Proposition 06:03 +21 FatalSubjectivities talk contribs (→See also: **Doxastic logic)
• diffhist Explanation 06:02 +27 FatalSubjectivities talk contribs (→Explanations vs. arguments)
• diffhist Argument 05:58 +13 FatalSubjectivities talk contribs (→Explanations: removed [[claim (logic))
• diffhist Proposition 05:56 −20 FatalSubjectivities talk contribs (→See also: Removed Claim (logic))
• diffhist Norbert Wiener 02:06 +49 Anomalous+0 talk contribs (→External links: +Category:Jewish American non-fiction writers)