Recensioni dei lettori
Attualmente non ci sono recensioni dei lettori. La valutazione si basa su 2 voti.
Titolo originale:
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Contenuto del libro:
In una nuova edizione, la presentazione classica della teoria delle funzioni computabili nel contesto dei fondamenti della matematica. La Parte I motiva lo studio della computabilità con discussioni e letture sulla crisi dei fondamenti della matematica all'inizio del XX secolo, presentando al contempo le idee di base di numero intero, funzione, prova e numero reale.
La seconda parte inizia con letture di Turing e Post che portano alla teoria formale delle funzioni ricorsive. La Parte III presenta una logica formale sufficiente a fornire uno sviluppo completo dei teoremi di incompletezza di Godel.
La Parte IV considera il significato del lavoro tecnico con una discussione della Tesi di Church e letture sui fondamenti della matematica. Questa nuova edizione contiene la linea temporale "Computabilità e indecidibilità" e il saggio "Sulla matematica"".
Altre informazioni sul libro:
| ISBN: | 9780981550725 |
| Autore: | |
| Editore: | |
| Rilegatura: | Copertina rigida |
Acquisto:
Attualmente disponibile, in magazzino.
