User contributions for Lfox

For Lfox talk block log uploads logs

A user with 603 edits. Account created on 15 January 2024.

Jump to navigation Jump to search

18:2218:22, 4 June 2025 diff hist +194‎ The block universe (temporary name) ‎No edit summary current 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 current Tag: Visual edit

21:1721:17, 22 May 2025 diff hist +25‎ m Main Page ‎No edit summary Tag: Visual edit

03:2703:27, 20 May 2025 diff hist +197‎ m Category theory: abstracting mathematical construction (essay) ‎No edit summary current Tag: Visual edit
03:1903:19, 20 May 2025 diff hist +1‎ m Category theory: abstracting mathematical construction (essay) ‎ →‎Universal properties Tag: Visual edit
03:1303:13, 20 May 2025 diff hist +63‎ m Category theory: abstracting mathematical construction (essay) ‎ →‎Universal properties Tag: Visual edit
03:0803:08, 20 May 2025 diff hist +57‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit

19:2219:22, 18 May 2025 diff hist −161‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit
19:1819:18, 18 May 2025 diff hist +69‎ Main Page ‎ →‎All Pages Tag: Visual edit
19:1719:17, 18 May 2025 diff hist 0‎ m Category theory: abstracting mathematical construction (essay) ‎ Lfox moved page Category theory to Category theory: abstracting mathematical construction (essay) without leaving a redirect
19:0819:08, 18 May 2025 diff hist +296‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit
18:5618:56, 18 May 2025 diff hist +109‎ Category theory: abstracting mathematical construction (essay) ‎ →‎Universal properties Tag: Visual edit: Switched
18:5218:52, 18 May 2025 diff hist +36‎ N File:Screenshot 2025-05-18 at 2.51.41 PM.png ‎No edit summary current
18:4218:42, 18 May 2025 diff hist +2,365‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit

21:1521:15, 16 May 2025 diff hist +418‎ Category theory: abstracting mathematical construction (essay) ‎ →‎Functors Tag: Visual edit
21:0121:01, 16 May 2025 diff hist +9,288‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit

02:2002:20, 15 May 2025 diff hist +27‎ m Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit
02:1202:12, 15 May 2025 diff hist +22‎ m Main Page ‎ →‎All Pages Tag: Visual edit
02:1102:11, 15 May 2025 diff hist +6,595‎ Category theory: abstracting mathematical construction (essay) ‎No edit summary Tag: Visual edit
00:4900:49, 15 May 2025 diff hist +5,167‎ m Category theory: abstracting mathematical construction (essay) ‎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

03:2503:25, 13 May 2025 diff hist +4,940‎ Set ‎ →‎Functions current Tag: Visual edit

14:2014:20, 17 April 2025 diff hist +311‎ m Set ‎ →‎Functions Tag: Visual edit

15:1715:17, 3 April 2025 diff hist +98‎ Set ‎ →‎My email to Ray 03/27/25 Tag: Visual edit

16:2016:20, 29 March 2025 diff hist +268‎ m Set ‎ →‎Axiom schema of specification Tag: Visual edit
15:1715:17, 29 March 2025 diff hist +287‎ Set ‎ →‎Functions Tag: Visual edit
05:5205:52, 29 March 2025 diff hist +2,289‎ m Set ‎ →‎Group membership Tag: Visual edit
04:0204:02, 29 March 2025 diff hist +785‎ m Set ‎No edit summary Tag: Visual edit

05:4205:42, 27 March 2025 diff hist +54‎ Set ‎ →‎How many natural numbers are there? Tag: Visual edit
05:1505:15, 27 March 2025 diff hist +401‎ Set ‎ →‎My email to Ray 03/27/25 Tag: Visual edit
05:1005:10, 27 March 2025 diff hist +4,669‎ m Set ‎No edit summary Tag: Visual edit

22:3322:33, 12 March 2025 diff hist +107‎ m Multiplication ‎No edit summary current Tag: Visual edit
22:2422:24, 12 March 2025 diff hist +1,199‎ m Multiplication ‎No edit summary Tag: Visual edit
21:5421:54, 12 March 2025 diff hist +127‎ m Number ‎ →‎Counting current Tag: Visual edit
21:5321:53, 12 March 2025 diff hist +30‎ N Multiplication ‎ Created page with "'''Multiplication''' is [TODO]" Tag: Visual edit
21:5321:53, 12 March 2025 diff hist +21‎ m Main Page ‎No edit summary Tag: Visual edit
21:3121:31, 12 March 2025 diff hist +39‎ m Number ‎ →‎Subtraction Tag: Visual edit
21:2021:20, 12 March 2025 diff hist +515‎ m Function ‎No edit summary current Tag: Visual edit
20:5020:50, 12 March 2025 diff hist +88‎ Number ‎ →‎Subtraction Tag: Visual edit
03:5403:54, 12 March 2025 diff hist +41‎ m Fraction ‎ →‎Ratio current Tag: Visual edit
03:5403:54, 12 March 2025 diff hist +471‎ m Number ‎ →‎Multiplication Tag: Visual edit

03:1003:10, 10 March 2025 diff hist +102‎ m Number ‎No edit summary Tag: Visual edit
03:0503:05, 10 March 2025 diff hist +2,661‎ Number ‎No edit summary Tag: Visual edit
01:4501:45, 10 March 2025 diff hist −17‎ m Algorithm ‎No edit summary current Tag: Visual edit
01:3401:34, 10 March 2025 diff hist +18‎ m Multitude ‎No edit summary current Tag: Visual edit
01:3101:31, 10 March 2025 diff hist +338‎ m Number ‎No edit summary Tag: Visual edit

Retrieved from "http://64.23.165.198:80/index.php/Special:Contributions/Lfox"