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
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.
- EditoreWadsworth Pub Co
- Data di pubblicazione1999
- ISBN 10 0534546447
- ISBN 13 9780534546441
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine299
Altre edizioni note dello stesso titolo
Risultati della ricerca per Computability With Computability and Undecidability-A...
Foto dell'editore
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
Editore:
Wadsworth Publishing (edition 2), 1999
ISBN 10: 0534546447
ISBN 13: 9780534546441
Antico o usato
Paperback
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. 2. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 0534546447-11-1
Quantità: 1 disponibili
Foto dell'editore
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
Editore:
Wadsworth Publishing, 1999
ISBN 10: 0534546447
ISBN 13: 9780534546441
Antico o usato
Paperback
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. 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_390759686
Quantità: 1 disponibili
Foto dell'editore
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
Editore:
Wadsworth Publishing, 1999
ISBN 10: 0534546447
ISBN 13: 9780534546441
Antico o usato
Paperback
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_392534657
Quantità: 1 disponibili
Foto dell'editore
Computability: Computable Functions, Logic, and the Foundations of Mathematics, with Computability: A Timeline
Editore:
Wadsworth Publishing, 1999
ISBN 10: 0534546447
ISBN 13: 9780534546441
Antico o usato
Brossura
Da: Shakespeare Book House, Rockford, IL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Acceptable. Item in acceptable condition including possible liquid damage. As well answers may be filled in. May be missing DVDs, CDs, Access code, etc. 100%Money-Back Guarantee! Ship within 24 hours!! Codice articolo 570SDV000VPB_ns
Quantità: 1 disponibili