Computability With Computability and Undecidability-A Timeline: Computable Functions, Logic, and the Foundations of Mathematics : The Story of the ... Functions and the Undecidabilty of arithm - Softcover

Epstein, Richard L.; Carnielli, Walter A.

 
9780534546441: Computability With Computability and Undecidability-A Timeline: Computable Functions, Logic, and the Foundations of Mathematics : The Story of the ... Functions and the Undecidabilty of arithm
Softcover
ISBN 10: 0534546447 ISBN 13: 9780534546441
Verlag: Wadsworth Publishing Co Inc, 1999

Inhaltsangabe

Epstein and Carnielli, both logicians who have been collaborating on computability theory for two decades, introduce the philosophical aspects of recursion theory and logic. Opening with a discussion of the philosophical foundations of mathematics, and a presentation of the ideas of whole number, function, proof, and real number, the book continues with an exploration of computability and recursive functions. Part III presents a full development of G÷del's theorems, and the book concludes with a look at the technical side of these ideas by reviewing Church's Thesis. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Wadsworth Publishing Co Inc
Erscheinungsdatum
1999
Sprache
Englisch
ISBN 10 
0534546447
ISBN 13 
9780534546441
Einband
Taschenbuch
Anzahl der Seiten
299
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780534103569: Computability : Computable Functions Logic and the Foundations of Math (The Wadsworth & Brooks/Cole Mathematics Series)

Vorgestellte Ausgabe

ISBN 10:  0534103561 ISBN 13:  9780534103569
Verlag: Springer, 1989
Hardcover