Comment by roywiggins

4 hours ago

If there's a machine that automatically turns electricity into proofs then mathematics becomes a different thing altogether.

0 comments