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.
For publications and research interests, visit my academic page.
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.