Computers can be understood

Landmark Computer Science Proof Cascades Through Physics and Math