Skip to content
Vinony
English
EnglishBahasa IndonesiaDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsSvenskaTiếng ViệtTürkçeРусскийالعربيةفارسیहिन्दीไทย한국어中文日本語
Kurt Gödel

File:Kurt_gödel.jpg · Wikimedia Commons · See Wikimedia Commons

EntityQ41390· pop 111· linked from 1,309 articles

Kurt Gödel

Sign in to save

Also known as Kurt Friedrich Gödel

Austrian-American logician, mathematician, and philosopher of mathematics (1906-1978)

OverviewAI-generated

Kurt Gödel was born on April 28, 1906, and died on January 14, 1978. He is recognized in the Royal Society collection and the American Academy Arts Sciences collection. His works are included in the Open Library, which lists 22 works by him. Top works include *Obras completas*, *Mathematical Logic in Vienna*, *Urber dia vollständigkeit des logikkalküls*, *Kurt Gödel papers, 1905-1980*, and *Maximen VI / Maxims VI*.

Crossref lists five works by Gödel. He has an Erdős number of 3. On Last.fm, the artist Kurt Gödel has 6 listeners and a playcount of 10. His ACM Classification Code is 10011419. He is referenced by 1,309 other encyclopedia articles.

Quotes attributed to him include: "But every error is due to extraneous factors (such as emotion and education); reason itself does not err.", "Either mathematics is too big for the human mind, or the human mind is more than a machine.", and "I like Islam, it is a consistent idea of religion and open-minded."

Synthesized by Vinony from 17 facts across 7 sources: Wikidata, Last.fm, Crossref, Wikiquote, Open Library, Vinony collections, Vinony graph. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.

Person · Open Library

Works
22

Top works

  • Obras completas
  • Mathematical Logic in Vienna
  • Urber dia vollständigkeit des logikkalküls
  • Kurt Gödel papers, 1905-1980
  • Maximen VI / Maxims VI

via Open Library + Wikidata

Music · MusicBrainz

via MusicBrainz · CC0

Listeners · Last.fm

Listeners
6
Total plays
10

<a href="https://www.last.fm/music/Kurt+G%C3%B6del">Read more on Last.fm</a>

via Last.fm · Kurt Gödel

Recent publications · Crossref

5 total works indexed

  1. The PHQ-9

    · 2001 · cited 39,523x

  2. A Brief Measure for Assessing Generalized Anxiety Disorder

    · 2006 · cited 28,978x

  3. Multilayer feedforward networks are universal approximators

    · 1989 · cited 18,314x

  4. Bioconductor: open software development for computational biology and bioinformatics

    · 2004 · cited 10,286x

  5. A comparative risk assessment of burden of disease and injury attributable to 67 risk factors and risk factor clusters in 21 regions, 1990–2010: a systematic analysis for the Global Burden of Disease Study 2010

    · 2012 · cited 9,265x

via Crossref · CC0

Quotes

  • “To every &omega;-consistent recursive class &kappa; of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (&kappa;) (where v is the free variable of r).”
  • “The completeness theorem, mathematically, is indeed an almost trivial consequence of Skolem 1923a. However, the fact is that, at that time, nobody (including Skolem himself) drew this conclusion (neither from Skolem 1923a nor, as I did, from similar considerations of his own).”
  • “But every error is due to extraneous factors (such as emotion and education); reason itself does not err.”
  • “Either mathematics is too big for the human mind, or the human mind is more than a machine.”
  • “The formation in geological time of the human body by the laws of physics (or any other laws of similar nature), starting from a random distribution of elementary particles and the field is as unlikely as the separation of the atmosphere into its components. The complexity of the living things has to be present within the material [from which they are derived] or in the laws [governing their formation].”
  • “I like Islam, it is a consistent idea of religion and open-minded.”

via Wikiquote · CC BY-SA

~31 min read

Encyclopedic overview

Kurt Friedrich Gödel (/ˈɡɜːrdəl/ GUR-dəl; German: [ˈkʊʁt ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly influenced scientific and philosophical thinking in the 20th century (at a time when Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics), building on earlier work by Frege, Richard Dedekind, and Georg Cantor.

Gödel's discoveries in the foundations of mathematics led to the proof of his completeness theorem in 1929 as part of his dissertation to earn a doctorate at the University of Vienna, and the publication of Gödel's incompleteness theorems two years later, in 1931. The incompleteness theorems address limitations of formal axiomatic systems. In particular, they imply that a formal axiomatic system satisfying certain technical conditions cannot decide the truth value of all statements about the natural numbers, and cannot prove that it is itself consistent. To prove this, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.

Excerpted from Wikipedia’s “Kurt Gödel” article, available under the CC BY-SA 4.0 licence.

Gallery (5)

Available in 96 languages

Show 77 more

via Wikidata sitelinks · CC0