The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
- Kategoria:
- informatyka, matematyka
- Tytuł oryginału:
- The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
- Wydawnictwo:
- Homebred Press
- Data wydania:
- 2024-01-01
- Data 1. wydania:
- 2024-01-01
- Liczba stron:
- 165
- Czas czytania
- 2 godz. 45 min.
- Język:
- angielski
- ISBN:
- 9798986414201
- Tagi:
- Matematyka Logika Gödel
The Annotated Gödel offers a guided tour of Kurt Gödel's 1931 article on incompleteness, which demonstrated unexpected limits to the power of many logical systems. Today we call these results Gödel's First and Second Incompleteness Theorems. The book includes the complete article in a new English translation, interleaved with commentary that guides the reader through Gödel's work, step by step.
The commentary concentrates on Gödel’s exposition. It describes what he is doing at each point, and how it relates to other parts of the article. It elaborates on his proofs by outlining them, for example, or by making a table of his variables and their uses, or by filling in gaps in his arguments.
The translation uses modern mathematical notation and terminology. It replaces Gödel's function and relation names, based on German word fragments, with English equivalents. Its language is less formal than that of the existing translations, which date from the 1960s.
The book assumes some familiarity with mathematical definitions and proofs, at the level of an undergraduate abstract math course. It also assumes some knowledge of formal logic, from an introductory course or the equivalent.
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
Cytaty
Bądź pierwszy
Dodaj cytat z książki The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness
Dodaj cytat
OPINIE i DYSKUSJE