Alta reperibilità
The Undecidable
Basic Papers On Undecidable Propostions, Unsolvable Problems And Computable Functions
- Editore:
Dover Publications Inc.
- Collana:
- Dover Books on Mathematics
- EAN:
9780486432281
- ISBN:
0486432289
- Pagine:
- 416
- Formato:
- Paperback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione The Undecidable
An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.
€ 23.85
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti