Step into an ancient library at midnight. Six months, six logic tracks, quantum computing, and the humanities — a blueprint rigorous enough to be beautiful.
Enter the Cathedral →We are all in the gutter, but some of us are looking at the stars.— Oscar Wilde
Logic and quantum run the length of the semester; mathematics feeds them; the humanities run beneath it all. Two application windows give the whole thing consequence.
One card per field. Each opens onto its full map — phases, textbook chapters, and Proof Vault targets.
Six tracks: first-order logic & incompleteness, modal & epistemic logic, set theory, model theory, proof theory, category theory.
Qubits & superposition through Shor, Grover, quantum information, and error correction. The path to UvA QCS.
The engine beneath quantum mechanics. Vector spaces, operators, spectral theorem — done abstractly and properly.
Automata, computability, and complexity — from finite machines to the halting problem to the class BQP.
The physical soul of the quantum track. Postulates, the Born rule, Bell inequalities, and entanglement.
A 26-week gothic & romantic seminar: the Romantic poets, Frankenstein, Poe and the Brontës, Homer and Dante's descent, the Russians, the absurd, and the Bard.
This is not a course list. It is a cathedral — built proof by proof, poem by poem, to a standard no one is watching me keep.
Logic teaches honesty. Quantum teaches strangeness. Poetry teaches precision. Together they make you dangerous — the kind of thinker who can prove the completeness theorem in the morning and write something true about it by night.
Six months from now there will be thirty proofs, a portfolio, and an application to the programs that matter. This page exists so that on the hard days, the reason is never more than one click away.