Related changes

7 June 2025

• diffhist Cardinality 16:08 +11 D.Lazard talk contribs (→top: clearer)
• diffhist m Variable (mathematics) 15:16 +1 Arjayay talk contribs (Plural)
• diffhist Zermelo–Fraenkel set theory 13:43 0 2600:1702:6eba:8200:4c4f:ff2e:8eeb:c7e0 talk (Changed "amount" to "number" for grammar.)
• diffhist Formal semantics (natural language) 12:55 −14 Phlsph7 talk contribs (→Definite and indefinite descriptions: rename to also cover "names")
• diffhist m Formal semantics (natural language) 12:50 +2 Phlsph7 talk contribs (fix reference error)
• diffhist Formal semantics (natural language) 12:49 +1 Phlsph7 talk contribs (fix reference error)
• diffhist Formal semantics (natural language) 12:48 +314 Phlsph7 talk contribs (→Sources: add source)
• diffhist m Formal semantics (natural language) 12:44 +8 Phlsph7 talk contribs (fix reference error)
• diffhist Formal semantics (natural language) 12:42 +8,199 Phlsph7 talk contribs (→Sources: add sources)
• diffhist Formal semantics (natural language) 12:41 +19 Phlsph7 talk contribs (→Phenomena: rename to "Studied linguistic phenomena" to make the topic more concrete)
• diffhist Formal semantics (natural language) 12:40 +18,460 Phlsph7 talk contribs (→Phenomena: section "Phenomena" expanded to discuss various other linguistic phenomena studied in formal semantics; the previous sections were integrated into the new material, such as the discussion of scope in the section on quantifiers; for previous drafts, see User:Phlsph7/Formal semantics - Studied linguistic phenomena and theories; for a discussion, see Talk:Formal_semantics_(natural_language)#Changes_to_the_article)
• diffhist Lambda calculus 11:14 +4 WillNess talk contribs (→Arithmetic in lambda calculus: correct minor omission of italics in formula)
• diffhist Lambda calculus 11:11 +269 WillNess talk contribs (→Arithmetic in lambda calculus: c/e)
• diffhist Lambda calculus 10:53 +934 WillNess talk contribs (→Arithmetic in lambda calculus: wiki-links; style; clarity)

6 June 2025

• diffhist Category theory 23:58 −3 Yesterday, all my dreams... talk contribs (→Sources: lnk)
• diffhist Category theory 23:57 +9 Yesterday, all my dreams... talk contribs (→Sources: lnk)
• diffhist Category theory 23:56 +120 Yesterday, all my dreams... talk contribs (→Sources: source)
• diffhist Category theory 23:49 −6 Yesterday, all my dreams... talk contribs (almost all is over do)
• diffhist Axiomatic system 23:41 +4 Yesterday, all my dreams... talk contribs (→See also: lnk)
• diffhist Axiomatic system 23:40 −38 Yesterday, all my dreams... talk contribs (→See also: better link) Tag: Disambiguation links added
• diffhist Cardinality 21:09 +7 Farkle Griffen talk contribs (→Equivalence: Cardinality -> equinumerosity) Tag: Visual edit
• diffhist m Cardinality 20:50 −21 Farkle Griffen talk contribs (→Apparent paradoxes: Mentioning AC seems out of place here) Tag: Visual edit
• diffhist Cardinality 20:30 −503 Farkle Griffen talk contribs (→Equivalence: Rm definitions of reflexive, symmetric, and transitive) Tag: Visual edit
• diffhist m Cardinality 20:23 +265 Farkle Griffen talk contribs (→Equivalence: List form) Tag: Visual edit: Switched
• diffhist Fixed-point logic 20:13 0 Headbomb talk contribs (Altered template type. Add: chapter, title. | Use this tool. Report bugs. | #UCB_Gadget)
• diffhist Antinomy 18:48 −518 Fedjmike talk contribs (Revert changes by User:Cathysinoz. These citations do not corroborate the material they have been added to.) Tags: Manual revert Visual edit
• diffhist m Church encoding 17:17 0 Inaccessibles talk contribs (→Table of functions on Church numerals)
• diffhist m Formal semantics (natural language) 17:12 +25 Don Stroud talk contribs (→See also: * Semantics of logic)
• diffhist Formal semantics (natural language) 16:54 −121 Remsense talk contribs (Reverted 1 edit by Don Stroud (talk): See WP:NOHAT) Tags: Twinkle Undo
• diffhist Formal semantics (natural language) 16:52 +121 Don Stroud talk contribs (hatnote) Tags: Reverted Disambiguation links added
• diffhist Natural deduction 09:00 −1 Periklismant talk contribs (→Gentzen-style example proofs)

5 June 2025

• diffhist List of paradoxes 22:46 +129 Plastixfy talk contribs (add) Tag: Visual edit
• diffhist Substructure (mathematics) 22:05 +281 Rgdboer talk contribs (→Examples: image)
• diffhist Isomorphism 16:31 −11 129.79.197.239 talk (→Isomorphism class)
• diffhist Truth 15:22 +24 150.221.50.138 talk (Added hyperlinks to philosophical skepticism section regarding Pontius Pilate/Quid est Veritas)
• diffhist Truth 15:18 +1,287 150.221.50.138 talk (Added a referenced paragraph under ‘Philosophical skepticism’ highlighting Pontius Pilate’s ‘What is truth?’ (John 18:38) as an early literary expression of epistemological skepticism, citing Plummer and Bacon.)
• diffhist Axiomatic system 10:59 +1 Adam El-Sawaf talk contribs (typo) Tags: Mobile edit Mobile web edit
• diffhist Injective function 10:13 +106 Goodphy talk contribs (→Injections can be undone: Added a proof of a fact that a function with the left inverse of it is injective.) Tag: Visual edit
• diffhist Cardinality 05:13 −67 Farkle Griffen talk contribs (→Other contributors: The correct translation is indeed "manifold" due to Riemann, though it did not have the same meaning as the modern term. Reworded for clarification, and some other small fixes) Tag: Visual edit
• diffhist Informal logic 03:36 −33 Psychastes talk contribs (removed Category:Philosophical logic using HotCat in grandparent, more appropriate there)

4 June 2025

• diffhist Information theory 23:39 −73 Headbomb talk contribs (ce)
• diffhist Fuzzy set 17:09 −1 93.38.201.218 talk (→Entropy: Fixed a typo (iff -> if)) Tags: Mobile edit Mobile web edit
• diffhist Formal semantics (natural language) 09:22 −52 Phlsph7 talk contribs (→Methodology: not necessary for this explanation)
• diffhist Formal semantics (natural language) 09:21 −63 Phlsph7 talk contribs (already explained later)
• diffhist m Formal semantics (natural language) 09:18 −1 Phlsph7 talk contribs (ce)
• diffhist Formal semantics (natural language) 09:17 +62 Phlsph7 talk contribs (I think we need to include somewhere that models are supposed to represent reality)
• diffhist Formal semantics (natural language) 09:14 +11 Phlsph7 talk contribs (clarify for general reader)
• diffhist Formal semantics (natural language) 09:10 −3 Phlsph7 talk contribs (this could be too strong)
• diffhist Principia Mathematica 04:25 +423 ABCD talk contribs (Undid revision 1293542798 by 203.30.15.49 (talk)) Tag: Undo
• diffhist m Truth 03:18 +281 ZachH007 talk contribs (Reverted 1 edit by Bigdickrandy27 (talk) to last revision by Omnipaedista) Tags: Twinkle Undo