Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Beginner's Further Guide To Mathematical Logic, A

Af: Raymond M Smullyan Engelsk Paperback

Beginner's Further Guide To Mathematical Logic, A

Af: Raymond M Smullyan Engelsk Paperback
Tjek vores konkurrenters priser
'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 Gödel'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.
Tjek vores konkurrenters priser
Normalpris
kr 240
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
'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 Gödel'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.
Produktdetaljer
Sprog: Engelsk
Sider: 288
ISBN-13: 9789814725729
Indbinding: Paperback
Udgave:
ISBN-10: 9814725722
Kategori: Matematisk logik
Udg. Dato: 13 jan 2017
Længde: 15mm
Bredde: 155mm
Højde: 229mm
Forlag: World Scientific Publishing Co Pte Ltd
Oplagsdato: 13 jan 2017
Forfatter(e): Raymond M Smullyan
Forfatter(e) Raymond M Smullyan


Kategori Matematisk logik


ISBN-13 9789814725729


Sprog Engelsk


Indbinding Paperback


Sider 288


Udgave


Længde 15mm


Bredde 155mm


Højde 229mm


Udg. Dato 13 jan 2017


Oplagsdato 13 jan 2017


Forlag World Scientific Publishing Co Pte Ltd

Vi anbefaler også
Kategori sammenhænge