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

Altre edizioni note dello stesso titolo

9780534103569: Computability: Computable Functions Logic and the Foundations of Math

Edizione in evidenza

ISBN 10:  0534103561 ISBN 13:  9780534103569
Casa editrice: Chapman and Hall/CRC, 1990
Rilegato