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.

Share
Pinterest
Twitter
Facebook
Copy link
Email

Add to another lightbox

Do you already have an account? Sign in

You do not have an account? Register

Buy this image. Select the use:

Title:

Kurt Godel, Austrian Logician and Mathematician

Caption:

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.

Credit:

Album / Science Source / New York Public Library

Releases:

Model: No - Property: No
Rights questions?

Image size:

2700 x 3469 px | 26.8 MB

Print size:

22.9 x 29.4 cm | 9.0 x 11.6 in (300 dpi)

Keywords:

1906 • 1931 • 1978 • 20 XX TWENTIETH CENTURY • 20TH CENTURY • 20TH • AUSTRIAN • BW • CELEBRITIES • CELEBRITY • CLARIFIED • CLASSICAL LOGIC • COMPLETENESS THEOREM • CONTINUUM HYPOTHESIS • EUROPEA • EUROPEAN • EUROPEANS • FAMOUS PEOPLE • FAMOUS • FIGURE • GO DEL'S ONTOLOGICAL PROOF • GODEL NUMBERING • GODEL • HISTORIC • HISTORICAL • HISTORY • IMPORTANT • INCOMPLETENESS THEOREM • INTUITIONISTIC LOGIC • K. F. GODEL • K. GODEL • KURT F. GODEL • KURT FRIEDRICH GODEL • KURT GODEL • LOGICIAN • LOGISTICS • MALE • MAN • MATH • MATHEMATIC • MATHEMATICAL • MATHEMATICIAN • MATHEMATICS • MEN • MODAL LOGIC • NOTABLE • PEOPLE • PERSON • PERSONALITIES • PERSONALITY • PHILOSOPHER • PHILOSOPHICAL THINKING • PHILOSOPHY • PHOTO • PHOTOGRAPH • PORTRAIT • POTRAIT • PROOF THEORY • SCIENCE • SCIENTIFIC THINKING • SIGNIFICANT • TWENTIETH CENTURY • WELL-KNOWN