4 ms·
I wonder if this will be constructivist.
by adamnemecek 5y ago
I wonder if this will be constructivist.
- deadbeef57 5y agoHere's my guess. Gowers wants to understand how the typical mathematician comes up with a proof. How is the proof found? Where do the ideas come from? To some extent, this is orthogonal to whether or not you do maths constructively. But since 99.9% of mathematicians have never heard of constructive mathematics, and just use AoC or LEM all over the place, I am quite certain that Gowers is very much interested in how to find proofs in the "ordinary" sense: including the use of AoC and LEM.
- auggierose 5y agoNo, it won't be.