New pages
Jump to navigation
Jump to search
- 20:06, 22 February 2026 Context theory (hist | edit) [61 bytes] Lfox (talk | contribs) (Created page with "What is set theory ''about''? What are its objects of study?") Tag: Visual edit
- 05:36, 19 August 2025 Russell's paradox (hist | edit) [5,946 bytes] Lfox (talk | contribs) (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
- 17:28, 29 May 2025 The block universe (temporary name) (hist | edit) [2,605 bytes] Lfox (talk | contribs) (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
- 17:05, 24 May 2025 Logic (hist | edit) [2,665 bytes] Lfox (talk | contribs) (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