Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Lindman, Phillip A. (Phillip Anthony)"'
This paper describes the tension between intuition about number theory and attempts to formalize it. I will first examine the root of the dilemma, Godel's First Incompleteness Theorem, which demonstrates that in any reasonable formalization of number
Externí odkaz:
https://digital.library.unt.edu/ark:/67531/metadc277970/
