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.

Resultater fra Google Bøger

Klik på en miniature for at gå til Google Books

Indlæser...

On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)

af Kurt Gödel

MedlemmerAnmeldelserPopularitetGennemsnitlig vurderingOmtaler
401162,613 (4.4)2
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.… (mere)
Indlæser...

Bliv medlem af LibraryThing for at finde ud af, om du vil kunne lide denne bog.

Der er ingen diskussionstråde på Snak om denne bog.

» Se også 2 omtaler

I thought it was quite interesting, but I don't feel I have the necessary background in math to completely appreciate this work. Gödel makes up his own notations, but follows some standards for mathematical logic. It helped that the book had references to what it was talking about in the book itself though, and it is also extensively footnoted. I though it was a very interesting paper, but like I said, I need a more thorough grounding in logic to fully appreciate it.

I will be reading this again when I can understand it better. Five out of five for turning the establishment on it's head though. Before this paper, mathematicians assumed it was possible to go and explain everything in math. But you can't explain everything in math using math, so there are some things that are just unexplainable. I probably didn't really get that right, but it matters not. ( )
  Floyd3345 | Jun 15, 2019 |
ingen anmeldelser | tilføj en anmeldelse
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 titel
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
Originaltitel
Alternative titler
Oprindelig udgivelsesdato
Personer/Figurer
Vigtige steder
Vigtige begivenheder
Beslægtede film
Indskrift
Tilegnelse
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
to Christopher Fernau in gratitude
Første ord
Oplysninger fra den engelske Almen Viden Redigér teksten, så den bliver dansk.
The development of mathematics in the direction of greater exactness has—as is well known—led to large tracts of it becoming formalized, so that proofs can be carried out according to a few mechanical rules.
Citater
Sidste ord
Oplysning om flertydighed
Forlagets redaktører
Bagsidecitater
Originalsprog
Canonical DDC/MDS
Canonical LCC

Henvisninger til dette værk andre steder.

Wikipedia på engelsk (2)

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.

No library descriptions found.

Beskrivelse af bogen
Haiku-resume

Current Discussions

Ingen

Populære omslag

Quick Links

Vurdering

Gennemsnit: (4.4)
0.5
1
1.5
2
2.5
3 3
3.5 1
4 10
4.5
5 15

Er det dig?

Bliv LibraryThing-forfatter.

 

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