User contributions for Lfox

20:0620:06, 22 February 2026 diff hist +61‎ N Context theory ‎ Created page with "What is set theory ''about''? What are its objects of study?" current Tag: Visual edit
20:0320:03, 22 February 2026 diff hist +21‎ Main Page ‎No edit summary current Tag: Visual edit

06:2806:28, 19 August 2025 diff hist +526‎ Russell's paradox ‎No edit summary Tag: Visual edit
06:2106:21, 19 August 2025 diff hist +1,508‎ Russell's paradox ‎ →‎Implications for the relation between sets and predicates Tag: Visual edit
05:3605:36, 19 August 2025 diff hist +3,726‎ N Russell's paradox ‎ Created page with "'''Russell's paradox''' is a paradox that arises in a certain "naive" approach to set theory. The reasoning behind it is as follows. We begin with the plausible-sounding premise that to any logical predicate <math>P(x)</math> there exists a set <math>\{x : P(x) \}</math>. Indeed, there is some way in which predicates and sets seem like they are the same thing. One way I can think about this object <math>x</math> on my table is to say that it is a banana, or <math>B(x)<..." Tag: Visual edit
05:3605:36, 19 August 2025 diff hist +24‎ m Main Page ‎No edit summary Tag: Visual edit

17:3517:35, 29 May 2025 diff hist +63‎ The block universe (temporary name) ‎ →‎The nature of time Tag: Visual edit
17:2817:28, 29 May 2025 diff hist +2,348‎ N The block universe (temporary name) ‎ Created page with "The aim of this essay is to argue against the metaphysical picture of the block universe. I'm writing this for people like Andrei, who recognize that there is some sort of contradiction with determinism, but have no clue how to reconcile it with what we know about physics. Maybe I should title it "the arrogance of modern physics." It's so ridiculous for them to say we know everything except for like dark matter and confinement and quantum gravity and times earlier than..." Tag: Visual edit

18:3718:37, 24 May 2025 diff hist +666‎ Logic ‎ →‎Subjunctive quantifiers current Tag: Visual edit
17:0517:05, 24 May 2025 diff hist +1,999‎ N Logic ‎ Created page with "I think that set theory and formal logic need to be re-done rationally. This is a big project. I will list out some of my problems with formal logic below: == Material implication == <math>A \implies B</math> is held to equivalent to <math>\neg A \vee B</math>, so anything follows from a falsehood. This doesn't fit natural language reasoning. For example, suppose that it is not raining outside right now, and I say "if it were raining outside right now, then communism w..." Tag: Visual edit
16:2916:29, 24 May 2025 diff hist +12‎ Main Page ‎No edit summary Tag: Visual edit

23:3523:35, 14 May 2025 diff hist +551‎ N Category theory: abstracting mathematical construction (essay) ‎ Created page with "In real life, and in particular, in mathematics, there are ''entities'' and ''actions''. We can consider types of entities. For example, let us consider two such types <math>X</math> and <math>Y</math>, where <math>X = \text{apples}</math> and <math>Y = \text{pie}</math>. There is a specific apple sitting in my fridge, There's an action of baking apple pie too broad Definition of a category '''Definition.''' A ''category'' <math>\mathcal{C}</math> consists o..." Tag: Visual edit: Switched