Say I have the proof of Andrew Wiles Fermats Last Theorem, which is 100 pages long and involves numerous branches of difficult mathematics.
How would one make that proof as rigourous as possible? Which of course means converting every step into set theory.
Next. Here is a very good essay about errors in mathematical proofs.
https://www.gwern.net/The-Existential-Risk-of-Mathematical-Error
More or less. How are theorems confirmed in an absolutely rigorous mathematical framework? Or as rigorous as Bayes Theorem and the Dark Lords will allow?
[link] [comments]
from math https://ift.tt/2WMGEne
Post a Comment