About
I'm Louis Liu. I also use the name Deep0Thinking online.
I am interested in logic.
Logic leads me to the formal sciences, mainly mathematics and computer science.
I study Mathematics, with a focus on Discrete Mathematics and Logic, at Carnegie Mellon University.
I like logic because everything in it is clear to me.
I also write proofs in Lean.
Current work
Axiomatization of Classical Mechanics
This is my main project right now.
The name
The name Deep0Thinking reflects my view that careful thinking matters. I originally wanted to use Deep_Thinking, but it was already registered, so I replaced the underscore with a zero. The zero has no special meaning.
Other interests
- Games
- My current favorite is Apex Legends, where I recently reached Diamond III. I used to play Counter-Strike.
- Music
- My favorite artists are Cheat Codes and OVSKY.
Elsewhere
Contact and profiles.