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
Pinterest
Twitter
Facebook
Copier le lien
Email

Ajouter à une autre Lightbox

Avez-vous déjà un compte? S'identifier

Vous n'avez pas de compte ? S'inscrire

Acheter cette image. Sélectionnez l'usage:

Titre: Kurt Godel, Austrian Logician and Mathematician

Légende: Voir la traduction automatique
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: ? Autorisation de modèle: Non - ? Autorisation de propriété: Non
Questions sur les droits?

Taille de l'image: 2700 × 3469 px | 26.8 MB

Taille d'impression: 22.9 × 29.4 cm | 1063.0 × 1365.7 in (300 dpi)

Mots clés: CÉLÈBRE • CELEBRITE • EUROPÉEN • HOMME • LOGISTIQUE • MATHEMATICIEN • MATHÉMATIQUE • PERSONNAGES • PERSONNALITÉS • PERSONNE • PHILOSOPHIE • PORTAIT • PORTRAIT • POTRAIT • SCIENCE: PHILOSOPHIE • XXE SIECLE