An Introduction to Gödel's Theorems - Peter Smith
- Dodał: administrator
- Data: 04:46 16-11-2018
- Kategoria: Filozofia i etyka
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book – extensively rewritten for its second edition – will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic. Includes a wide coverage of related formal results, not all easily available in other textbooks Provides optional material for follow-up work, to develop the learning of the interested teacher/student Contains historical and philosophical commentary źródło opisu: http://www.cambridge.org/ źródło okładki: http://www.cambridge.org/us/academic/subjects/phil...»
| ISBN | 9781107606753 | ||
| słowa kluczowe | Gödel, podręczniki akademickie, logika, arytmetyka, matematyka | ||
| język | angielski | ||
| data wydania | 2013 (data przybliżona) | ||
| liczba stron | 402 | ||
| kategoria | filozofia i etyka |
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.
Podobne wpisy do An Introduction to Gödel's Theorems - Peter Smith
The Original Folk and Fairy Tales of the Brothers Grimm - Jacob Grimm, Wilhelm Grimm
When Jacob and Wilhelm Grimm published their "Children's and Household Tales" in 1812, followed by a second volume in 1815, they had no idea that such stories as "Rapunzel," "Hansel and Gretel," and "Cinderella" would become the most celebrated in th...
Thor Viking God of Thunder - Graeme Davis
In the stories of the ancient Vikings, Thor is a warrior without equal, who wields his mighty hammer in battles against trolls, giants, and dragons. He is the god of storms and thunder, who rides to war in a chariot pulled by goats, and who is fated...
Tolkien the Medievalist (Routledge Studies in Medieval Religion and Culture) - Jane Chance
Interdisciplinary in approach, Tolkien the Medievalist provides a fresh perspective on J. R. R. Tolkien's Medievalism. In fifteen essays, eminent scholars and new voices explore how Professor Tolkien responded to a modern age of crisis - historical,...
Skins - Gavin Watson
Perhaps one of the most reviled yet misunderstood of all the youth subcultures, the skinhead look and lifestyle has now rightly returned to the very forefront of contemporary youth culture. While celebrities and sportsmen shave their heads for the re...
Serafina i czarny płaszcz - Robert Beatty
W piwnicach pełnej przepychu rezydencji Biltmore mieszka potajemnie niezwykła dziewczyna. Czy to z powodu jej żółtych oczu i czterech palców u rąk i nóg ojciec ukrywa ją przed ludzkim wzrokiem? Serafina żyje przyczajona w mroku, poruszając się bezsze...
Encyclopedia of Crime Scene Investigation - Michael Newton
Recent years have brought numerous developments in crime and crimefighting, such as DNA evidence, designer drugs, computer viruses, and online fraud and theft. As criminals get more sophisticated, police must develop new techniques to stop them. "The...