Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline

Carnielli, Walter A.,Epstein, Richard L.

ISBN 10: 0534546447 / ISBN 13: 9780534546441

Editore: Wadsworth Publishing, 1999

Riguardo questo articolo

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

Codice articolo S_345367421

Dati bibliografici

• Titolo: Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
• Editore: Wadsworth Publishing
• Data di pubblicazione: 1999
• Lingua: Inglese
• ISBN 10: 0534546447
• ISBN 13: 9780534546441
• Rilegatura: Paperback
• Edizione: seconda edizione
• Condizione: Good

Descrizione articolo

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)

Product Description

Book by Epstein Richard L Carnielli Walter A