3 ms·
When do you think we’ll have something that can do “verify this proof of the ABC conjecture” and it would check the proof?
by jychang 3y ago
When do you think we’ll have something that can do “verify this proof of the ABC conjecture” and it would check the proof?
- aSanchezStern 3y ago1979 :) https://en.wikipedia.org/wiki/Logic_for_Computable_Functions https://en.wikipedia.org/wiki/Logic_for_Computable_Functions
- schoen 3y agoIf the proof is written in a formal language, we have that now! Even several directly competing efforts (for better and worse). https://www.cs.ru.nl/~freek/100/ https://www.cs.ru.nl/~freek/100/ Some people greatly hope that fully formal proofs become a routine part of math research and communication in the future.