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.
Partager
pinterestPinterest
twitterTwitter
facebookFacebook
emailEmail

Ajouter à une autre Lightbox

Ajouter à une autre Lightbox

add to lightbox print share
Avez-vous déjà un compte? S'identifier
Vous n'avez pas de compte ? S'inscrire
Acheter cette image. Sélectionnez l'usage:
Chargement...
Titre:
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édit:
Album / Science Source / New York Public Library
Autorisations:
Modèle: Non - Propriété: Non
Questions sur les droits?
Taille de l'image:
2700 x 3469 px | 26.8 MB
Taille d'impression:
22.9 x 29.4 cm | 9.0 x 11.6 in (300 dpi)