Descriere YEO:
The Annotated Gödel: A Reader\'s - Disponibil la libris.ro
Pe YEO găsești The Annotated Gödel: A Reader\'s de la Hal Prince, în categoria Mathematics.
Indiferent de nevoile tale, The Annotated Gödel: A Reader\'s Guide to his Classic Paper on Logic and Incompleteness - Hal Prince din categoria Mathematics îți poate aduce un echilibru perfect între calitate și preț, cu avantaje practice și moderne.
Preț: 61.57 Lei
Caracteristicile produsului The Annotated Gödel: A Reader\'s
- Brand: Hal Prince
- Categoria: Mathematics
- Magazin: libris.ro
- Ultima actualizare: 15-12-2024 01:42:32
Comandă The Annotated Gödel: A Reader\'s Online, Simplu și Rapid
Prin intermediul platformei YEO, poți comanda The Annotated Gödel: A Reader\'s de la libris.ro rapid și în siguranță. Bucură-te de o experiență de cumpărături online optimizată și descoperă cele mai bune oferte actualizate constant.
Descriere magazin:
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, as well as some knowledge of formal logic, from an introductory course or the equivalent.