math
What It Means to Be Turing Complete (Part 2/3)
Why brains and AI are 'approximate Turing machines'
What is a Turing Machine? (Part 1/3)
The elegant abstraction that defines what it means to compute
Three Proofs by Diagonalization
A family of proofs that construct objects guaranteed to differ from every item in a list