Foundations of Logic – Completeness, Incompleteness, Computability Completeness, Incompleteness, Computability
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Dag Westerstahl
- Engels
- Paperback
- 9781684000005
- 05 januari 2024
- 80 pagina's
Samenvatting
A comprehensive introduction to logic’s central concepts.
This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability. In addition to the central text, an appendix explains the required technical terminology and facts. The main ideas behind the three cornerstones are explained in a simple, easy-to-grasp manner, and it is possible to select among the chapters and sections so that the reader becomes familiar with these ideas, even if some technicalities are skipped or postponed. A wealth of exercises accompany a wide selection of materials, including the histories and philosophical implications of the three main premises, making it useful as a textbook for undergraduate or graduate courses focusing on any of the three main themes. The material is rigorous and detailed but keeps the main ideas in sight, and there are numerous excursions into more advanced material for curious readers to explore.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 05 januari 2024
- Aantal pagina's
- 80
Betrokkenen
- Hoofdauteur
- Dag Westerstahl
- Hoofduitgeverij
- Centre for the Study of Language & Information
Overige kenmerken
- Product breedte
- 6 mm
- Product lengte
- 9 mm
- Verpakking breedte
- 6 mm
- Verpakking lengte
- 9 mm
EAN
- EAN
- 9781684000005
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
De prijs van dit product is 41 euro en 99 cent.
Uiterlijk 29 mei in huis
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Anderen bekeken ook
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.