Deep0Thinking
I'm Louis Liu. This site contains my notes, projects, game records, and selected personal entries.
On this site
Notes
Mathematics, physics, computing, and things worth understanding.
Series
Connected notes, developed one subject at a time.
Projects
Software, research, and experiments.
Labs
Useful tools that run in your browser.
Games
Games I play, with settings, strategies, and observations.
About
A little about me and the name Deep0Thinking.
Recent entries
New notes and recent additions to a series.
-
Two-Do
An app for couples, built by my partner Grace Tian and me.
-
History of Logic
28 notes, arranged in reading order.
-
History of Logic: Earlier Traditions
6 notes, arranged in reading order.
-
Apex Legends
Everything I have written about Apex Legends, from my settings to notes on how I try to play better.
-
Apex Legends: Game Sense
Notes on the mistakes I keep making in Apex and how I try to stop repeating them. This is only part of game sense, and only the part I have managed to name so far.
-
Why Mathematical Logic Textbooks Look Circular
Standard textbooks use sets to define first order logic, then define set theory inside first order logic. Where that apparent circularity resolves, and what the metatheory consists of.