4 ms·
Rigor was always vital to mathematics. That it wasn’t vital to mathematicians is exactly why we need automated proofs.
by moi2388 7mo ago
Rigor was always vital to mathematics. That it wasn’t vital to mathematicians is exactly why we need automated proofs.