Articoli correlati a Computability With Computability and Undecidability-A...

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.

 
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
Brossura
ISBN 10: 0534546447 ISBN 13: 9780534546441
Casa editrice: Wadsworth Pub Co, 1999

Sinossi

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)

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Epstein Richard L Carnielli Walter A

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

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
Persona responsabile
non disponibile