|
Revisa tus competencias
Halla el Múltiplo 4980 Divisores 5000
Pruebas especiales
Goldbach 4980 Contando ovejas 5000 Múltiplo Especial 5000
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| GÖDEL, KURT (1906-1978), lógico estadounidense de origen austriaco, conocido sobre todo por sus investigaciones en filosofía y en matemáticas. Estudió en la Universidad de Viena y dio clases en esta institución desde 1933 a 1938. Emigró a los Estados Unidos en 1940 y se nacionalizó estadounidense en 1948. Gödel se dio a conocer con una obra, publicada en 1931, en la que enunció lo que se conoce como teorema de Gödel. Este principio establece que en cualquier sistema simbólico formal es posible construir una proposición que no se puede probar ni refutar en el mismo sistema. |