Pikkukuvaa napsauttamalla pääset Google Booksiin.
Ladataan... On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1931)Tekijä: Kurt Gödel
Ladataan...
Kirjaudu LibraryThingiin nähdäksesi, pidätkö tästä kirjasta vai et. Ei tämänhetkisiä Keskustelu-viestiketjuja tästä kirjasta. ei arvosteluja | lisää arvostelu
On vastaus tähän:Innoitti:Tutkimuksia:Gödel’s Proof (tekijä: Ernest Nagel) Godel's Theorem in Focus (tekijä: Stuart Shanker)
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. |
Current Discussions-Suosituimmat kansikuvat
Google Books — Ladataan... LajityypitMelvil Decimal System (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicKongressin kirjaston luokitusArvio (tähdet)Keskiarvo:
Oletko sinä tämä henkilö? |
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. ( )