Kurt Gödel
lógico, matemático e filósofo austríaco naturalizado norte-americano
Kurt Gödel (28 de abril de 1906 — 14 de janeiro de 1978) foi um filósofo e matemático austríaco, naturalizado norte-americano.
| Kurt Gödel |
|---|
 |
| Kurt Gödel em outros projetos: |
- Ou a matemática é grande demais para a mente humana, ou a mente humana é mais do que uma máquina.
- -citado em Topoi: The Categorial Analysis of Logic (1979) por Robert Goldblatt, p. 13
- O teorema da completude, matematicamente, é de fato uma consequência quase trivial de Skolem 1923a. No entanto, o fato é que, naquela época, ninguém (incluindo o próprio Skolem) tirou essa conclusão (nem de Skolem 1923a nem, como eu fiz, de considerações semelhantes de sua autoria).
- -citado, de uma carta de 1967 para Hao Wang, por Hao Wang em From Mathematics to Philosophy, 1974, p. 8
Sobre editar
- A realização de Kurt Gödel na lógica moderna é singular e monumental.
- - Kurt Gödel's achievement in modern logic is singular and monumental.
- - John von Neumann como citado in: Kurt Gödel - The Genius of Metamathematics, Por William D. Brewer · Springer International Publishing, 2022, ISBN: 9783031113093, 3031113098
- - Kurt Gödel's achievement in modern logic is singular and monumental.
- Gödel publicou comparativamente pouco, mas quase sempre com o máximo efeito; seus artigos são modelos de precisão e apresentação incisiva.
- -Solomon Feferman, em "Gödel's Life and Work", Kurt Gödel: Collected Works, Volume I: Publications 1929-1936 (1986), p. 1