On formally undecidable propositions of Principia mathematica and related systems
- Kategoria:
- informatyka, matematyka
- Wydawnictwo:
- Dover Publications
- Data wydania:
- 1992-01-01
- Data 1. wydania:
- 1992-01-01
- Liczba stron:
- 72
- Czas czytania
- 1 godz. 12 min.
- Język:
- angielski
- ISBN:
- 0486669807
- Tłumacz:
- R. B. Braithwaite
- Tagi:
- matematyka logika logika matematyczna logika formalna twierdzenie Gödla twierdzenia Kurt Gödel niezupełność arytmetyka arytmetyki Peano Peana
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.
Porównaj ceny
W naszej porównywarce znajdziesz książki, audiobooki i e-booki, ze wszystkich najpopularniejszych księgarni internetowych i stacjonarnych, zawsze w najlepszej cenie. Wszystkie pozycje zawierają aktualne ceny sprzedaży. Nasze księgarnie partnerskie oferują wygodne formy dostawy takie jak: dostawę do paczkomatu, przesyłkę kurierską lub odebranie przesyłki w wybranym punkcie odbioru. Darmowa dostawa jest możliwa po przekroczeniu odpowiedniej kwoty za zamówienie lub dla stałych klientów i beneficjentów usług premium zgodnie z regulaminem wybranej księgarni.
Za zamówienie u naszych partnerów zapłacisz w najwygodniejszej dla Ciebie formie:
• online
• przelewem
• kartą płatniczą
• Blikiem
• podczas odbioru
W zależności od wybranej księgarni możliwa jest także wysyłka za granicę. Ceny widoczne na liście uwzględniają rabaty i promocje dotyczące danego tytułu, dzięki czemu zawsze możesz szybko porównać najkorzystniejszą ofertę.
Mogą Cię zainteresować
Książka na półkach
- 1
- 1
- 1
- 1
Cytaty
Bądź pierwszy
Dodaj cytat z książki On formally undecidable propositions of Principia mathematica and related systems
Dodaj cytat
OPINIE i DYSKUSJE