Kurt Gödel's Other Theorem
Tuesday, February 5, 2013 - 10:50
in Mathematics & Economics
There has recently been some discussion among mathematicians about whether or not a proof of a conjectured theorem put forward by a well-known mathematician, Shinichi Mochizuki, is complete and correct. Issues like this could be resolved immediately if it was practical to present, alongside research articles, proofs of the mathematical results written in a language for which the reasoning could be checked by computer. read more