alb3823721

Kurt Godel, Austrian Logician and Mathematician

Kurt Friedrich Godel (1906-1978) was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Godel made an immense impact upon scientific and philosophical thinking in the 20th century. Godel is best known for his two incompleteness theorems, published in 1931 when he was 25 years old. To prove this theorem, Godel developed a technique now known as Godel numbering, which codes formal expressions as natural numbers. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Compartir
pinterestPinterest
twitterTwitter
facebookFacebook
emailEmail

Añadir a otro lightbox

Añadir a otro lightbox

add to lightbox print share
¿Ya tienes cuenta? Iniciar sesión
¿No tienes cuenta? Regístrate
Compra esta imagen. Selecciona el uso:
Cargando...
Título:
Kurt Godel, Austrian Logician and Mathematician
Kurt Friedrich Godel (1906-1978) was an Austrian logician, mathematician and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Godel made an immense impact upon scientific and philosophical thinking in the 20th century. Godel is best known for his two incompleteness theorems, published in 1931 when he was 25 years old. To prove this theorem, Godel developed a technique now known as Godel numbering, which codes formal expressions as natural numbers. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Crédito:
Album / Science Source / New York Public Library
Autorizaciones:
Modelo: No - Propiedad: No
¿Preguntas relacionadas con los derechos?
Tamaño imagen:
2700 x 3469 px | 26.8 MB
Tamaño impresión:
22.9 x 29.4 cm | 9.0 x 11.6 in (300 dpi)