3 ms·
He might be describing one bifurcation in the world of math, where constructive proofs reign, but overlooking nonconstructive "existence" proofs.
by jjtheblunt 4y ago
He might be describing one bifurcation in the world of math, where constructive proofs reign, but overlooking nonconstructive "existence" proofs.