Annika Kanckos

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The limitations of the formal systems of arithmetic, revealed by Gödel’s incompleteness theorems in 1931, imply that the consistency of Peano arithmetic can be established only by reducing the problem to certain fundamental principles that are not formalizable within the theory itself. For a proof to be meaningful, these principles should be considered more(More)
  • 1