Beginner's Further Guide To Mathematical Logic, A

Name: Beginner's Further Guide To Mathematical Logic, A
Author: Raymond M Smullyan

Auteur: Raymond M Smullyan

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Raymond M Smullyan Raymond M. Smullyan

Engels
Paperback
9789814725729
13 januari 2017
288 pagina's

Alle productspecificaties

Samenvatting

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Goedel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 13 januari 2017
Aantal pagina's: 288
Illustraties: Nee

Betrokkenen

Hoofdauteur: Raymond M Smullyan
Tweede Auteur: Raymond M. Smullyan
Hoofduitgeverij: World Scientific Publishing Co Pte Ltd

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Product breedte: 150 mm
Product hoogte: 22 mm
Product lengte: 210 mm
Studieboek: Ja
Verpakking breedte: 155 mm
Verpakking hoogte: 20 mm
Verpakking lengte: 228 mm
Verpakkingsgewicht: 389 g

EAN

EAN: 9789814725729

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Wiskunde

Grondslagen van de wiskunde

Toegepaste wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.