Comment by adastra22

16 hours ago

The idea the proofs are the heart and soul of mathematics is an unfortunate unforced error, and will lead to the death of the professions now that machines are better at making proofs.

0 comments