Gödel, Kurt (Brno, 19061978),
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 a1938.
Emigró a los Estados Unidos en 1940 y se nacionalizó estadounidense en1948.Gödel
se dio a conocer con una obra, publicada en 1931, en la que enunció loque 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.
No hay comentarios:
Publicar un comentario