New pages
Jump to navigation
Jump to search
- 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
- 23:35, 14 May 2025 Category theory: abstracting mathematical construction (essay) (hist | edit) [24,973 bytes] Lfox (talk | contribs) (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 originally created as "Category theory"
- 21:53, 12 March 2025 Multiplication (hist | edit) [1,336 bytes] Lfox (talk | contribs) (Created page with "'''Multiplication''' is [TODO]") Tag: Visual edit