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 - Brossura

Epstein, Richard L.; Carnielli, Walter A.

Brossura

ISBN 10: 0534546447 ISBN 13: 9780534546441

Casa editrice: Wadsworth Pub Co, 1999

Riassunto

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)

Su questo libro

Product Description

Book by Epstein Richard L Carnielli Walter A

Dettagli dell?edizione

• Editore: Wadsworth Pub Co
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 0534546447
• ISBN 13: 9780534546441
• Rilegatura: Copertina flessibile
• Numero di pagine: 299
• Contatto del produttore: non disponibile