Kurt Gödel - On formally undecidable propositions of Principia mathematica and related systems

[Chambre]

Kurt Gödel - On formally undecidable propositions of Principia mathematica and related systems

Jest to reprint opublikowanej przez Gödla w roku 1931 pracy "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.", w której wykazał, że w aksjomatycznej niesprzecznej teorii matematycznej, zawierającej pojęcie liczb naturalnych, da się sformułować takie zdanie, którego w ramach tej teorii nie da się ani udowodnić, ani obalić. Praca ta należy do najważniejszego odkrycia logiki matematycznej w dziejach matematyki i definitywnie zakończyła wieloletnie próby zaksjomatyzowania całej matematyki, gdyż z zawartego w niej twierdzenia (tzw. I twierdzenie Gödla) wynika wprost, że jest to niewykonalne oraz, że matematyka nie jest i być nie może nauką zamkniętą i zakończoną, jak dotychczas sądzono.  

Kod:

data wydania: 1992 (data przybliżona)
ISBN: 0486669807
liczba stron: 72
słowa kluczowe: matematyka, logika, logika matematyczna, logika formalna, twierdzenie Gödla, twierdzenia, Kurt Gödel, niezupełność, arytmetyka, arytmetyki, Peano, Peana
język: angielski