HjemGrupperSnakMereZeitgeist
Søg På Websted
På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.
MedlemmerAnmeldelserPopularitetVurderingUdvalgt   Begivenheder   
561235,638 (4.22)40
Scritti scelti 6 eksemplarer
OBRAS COMPLETAS 3 eksemplarer
Ingen arrangementer for tiden. (Tilføj et arrangement)
Du bliver nødt til at logge ind for at redigere data i Almen Viden.
For mere hjælp se Almen Viden hjælpesiden.
Kanonisk navn
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Juridisk navn
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Andre navne
Fødselsdag
Dødsdag
Begravelsessted
Køn
Nationalitet
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Land (til kort)
Fødested
Dødssted
Cause of death
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Bopæl
Uddannelse
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Erhverv
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Relationer
Organisationer
Priser og hædersbevisninger
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Agenter
Kort biografi
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
One of the most significant logicians of all time, Gödel's work has had immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, were pioneering the use of logic and set theory to understand the foundations of mathematics.

Gödel is best known for his two incompleteness theorems, published in 1931 when he was 25 years of age, one year after finishing his doctorate at the University of Vienna. The more famous incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.

He also showed that the continuum hypothesis cannot be disproved from the accepted axioms of set theory, if those axioms are consistent. He made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
Oplysning om flertydighed

Medlemsvurderinger

Gennemsnit: (4.22)
0.5
1
1.5
2
2.5 1
3 5
3.5 1
4 11
4.5
5 14

Forbedr oplysningerne om denne forfatter og vedkommendes værker

Sammenlæg/adskil værker

Opsplit forfatter

Kurt Gödel er for indeværende opfattet som navnet på "én bestemt forfatter". Hvis et eller flere værker er af en anden forfatter, så fortsæt og opsplit forfatteren.

Inkluderer

Kurt Gödel omfatter 7 forskellige navne. Du kan undersøge og skille navne ud.

Kombiner med

 

Om | Kontakt | LibraryThing.com | Brugerbetingelser/Håndtering af brugeroplysninger | Hjælp/FAQs | Blog | Butik | APIs | TinyCat | Efterladte biblioteker | Tidlige Anmeldere | Almen Viden | 157,698,873 bøger! | Topbjælke: Altid synlig