KotiRyhmätKeskusteluLisääAjan henki
Etsi sivustolta
Tämä sivusto käyttää evästeitä palvelujen toimittamiseen, toiminnan parantamiseen, analytiikkaan ja (jos et ole kirjautunut sisään) mainostamiseen. Käyttämällä LibraryThingiä ilmaiset, että olet lukenut ja ymmärtänyt käyttöehdot ja yksityisyydensuojakäytännöt. Sivujen ja palveluiden käytön tulee olla näiden ehtojen ja käytäntöjen mukaista.

Tulokset Google Booksista

Pikkukuvaa napsauttamalla pääset Google Booksiin.

Ladataan...

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

Tekijä: Kurt Gödel

JäseniäKirja-arvostelujaSuosituimmuussijaKeskimääräinen arvioMaininnat
401162,594 (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.… (lisätietoja)
Ladataan...

Kirjaudu LibraryThingiin nähdäksesi, pidätkö tästä kirjasta vai et.

Ei tämänhetkisiä Keskustelu-viestiketjuja tästä kirjasta.

» Katso myös 2 mainintaa

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 |
ei arvosteluja | lisää arvostelu
Sinun täytyy kirjautua sisään voidaksesi muokata Yhteistä tietoa
Katso lisäohjeita Common Knowledge -sivuilta (englanniksi).
Teoksen kanoninen nimi
Tiedot englanninkielisestä Yhteisestä tiedosta. Muokkaa kotoistaaksesi se omalle kielellesi.
Alkuteoksen nimi
Teoksen muut nimet
Alkuperäinen julkaisuvuosi
Henkilöt/hahmot
Tärkeät paikat
Tärkeät tapahtumat
Kirjaan liittyvät elokuvat
Epigrafi (motto tai mietelause kirjan alussa)
Omistuskirjoitus
Tiedot englanninkielisestä Yhteisestä tiedosta. Muokkaa kotoistaaksesi se omalle kielellesi.
to Christopher Fernau in gratitude
Ensimmäiset sanat
Tiedot englanninkielisestä Yhteisestä tiedosta. Muokkaa kotoistaaksesi se omalle kielellesi.
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.
Sitaatit
Viimeiset sanat
Erotteluhuomautus
Julkaisutoimittajat
Kirjan kehujat
Alkuteoksen kieli
Kanoninen DDC/MDS
Kanoninen LCC

Viittaukset tähän teokseen muissa lähteissä.

Englanninkielinen Wikipedia (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.

Kirjastojen kuvailuja ei löytynyt.

Kirjan kuvailu
Yhteenveto haiku-muodossa

Current Discussions

-

Suosituimmat kansikuvat

Pikalinkit

Arvio (tähdet)

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

Oletko sinä tämä henkilö?

Tule LibraryThing-kirjailijaksi.

 

Lisätietoja | Ota yhteyttä | LibraryThing.com | Yksityisyyden suoja / Käyttöehdot | Apua/FAQ | Blogi | Kauppa | APIs | TinyCat | Perintökirjastot | Varhaiset kirja-arvostelijat | Yleistieto | 203,187,841 kirjaa! | Yläpalkki: Aina näkyvissä