Kurt Gödel

encontravam-se os paradoxos que matemáticos e lógicos matemáticos agora descobriam — Bertrand Russell formulou muitos deles nos primeiros anos do século — e que acarretaram as mais profundas dificuldades[c] . Oportunamente (em 1931) o matemático austríaco Kurt Gödel provou que, para certos objetivos fundamentais, não há como eliminar a contradição: não podemos provar que os axiomas da aritmética são consistentes por meio de um número finito de passos que não levem a contradições.…

human knowledge. Its rationale rests on philosophical grounds rather than on the phenomenological analysis of human knowledge. The necessity of a specific meta-knowledge section is derived, as a philosophical implication, from Kurt Gödel’s Incompleteness Theorem (Gödel, 1931). From Gödel’s theorem one can conclude that it is logically impossible to form an axiomatic system without assuming additional postulates. By accepting this implication, we realize that it is theoretically…