4 ms·
> we have an upper bound Is Wiles' proof even in ZFC?
by tliltocatl 1y ago
> we have an upper bound
Is Wiles' proof even in ZFC?
- openasocket 1y agoI would be surprised if it wasn’t. Maybe some part of depends on the continuum hypothesis, but ZFC is pretty powerful
- jibal 1y agoYour question is explored in https://www.cs.umd.edu/users/gasarch/BLOGPAPERS/fltlargecard.pdf https://www.cs.umd.edu/users/gasarch/BLOGPAPERS/fltlargecard...
- tliltocatl 1y agoThanks. So if I read this correctly - there is consensus that Wiles' proof can be reduced to ZFC and PA (and maybe even much weaker theories). But as presented Wiles proof relies on Grothendieck's works and Grothendieck could not care less about foundationalism, so no such reduction is known and we don't really have a lower bound even for ZFC.