Media Asset
Author:
Robert P. Murphy
Online Publish Date:
In 1931 Kurt Gödel published his now-famous “incompleteness theorems,” which showed the limitations of axiomatic systems of mathematics. Specifically, Gödel showed: (1) there are true statements about numbers that humans will never be able to prove, and (2) a mathematical system that is internally consistent (i.e. doesn’t generate contradictions)