Posts

G.E.B. -- A Mental Space Odyssey

A review of Gödel, Escher, Bach: An Eternal Golden Braid

Interpreting Implication

Material implication is really about monotonic reasoning

Quantum Mechanics in Linear Algebra

Quantum mechanics as eigenvalue mechanics

Fun with Dependent Types

The trendiest, hottest type theory

What Does a Linux Distribution Mean?

Blame Debian, basically