Études
Dialectic explorations in computation and mathematics
Étude I
Decidability
What can a machine know about itself? The halting problem and the limits of self-knowledge.
Étude II
Kan Extensions
All concepts are Kan extensions. The universal method of extending functors.
Étude III
coming soon
Diagonalization
The technique that makes impossibility proofs possible.
Étude IV
coming soon
Kolmogorov Complexity
The incompressible and the random.