Resultado de búsqueda
Kurt Friedrich Gödel ([ˈkʊʁt ˈɡøːdəl]; Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco. [1] Se le considera uno de los lógicos más importantes de todos los tiempos.
- Cementerio de Princeton
Kurt Friedrich Gödel ( / ˈɡɜːrdəl / GUR-dəl, [2] German: [kʊʁt ˈɡøːdl̩] ⓘ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical ...
El universo de Gödel o métrica de Gödel es una solución exacta de las ecuaciones de campo de Einstein de la relatividad general, propuesta por Kurt Gödel en 1949. Describe un tipo de universo o espacio-tiempo homogéneo lleno de materia pulverulenta en rotación.
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109).
Kurt Gödel (April 28, 1906 – January 14, 1978) was one of the most significant logicians of all time, whose work had an immense impact on 20th century philosophy, logic, and mathematics. He is best known for his two incompleteness theorems, which he published in 1931 at 25 years of age, a year after finishing his doctorate at the University ...
History. See also. References. External links. Gödel's incompleteness theorems are two theorems of mathematical logic that are concerned with the limits of provability in formal axiomatic theories. These results, published by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics.
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con la existencia de proposiciones indecidibles en ciertas teorías aritméticas .
