2 ms·
I like to view mathematical proofs as code for a virtual machine that is executed in the minds of the readers of the proof.
by adunk 3y ago
I like to view mathematical proofs as code for a virtual machine that is executed in the minds of the readers of the proof.