37 ms·
If there's a machine that automatically turns electricity into proofs then mathematics becomes a different thing altogether.
by roywiggins 5d ago
If there's a machine that automatically turns electricity into proofs then mathematics becomes a different thing altogether.