Vai al contenuto principale della pagina

Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Franzén Torkel Visualizza persona
Titolo: Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén Visualizza cluster
Pubblicazione: Wellesley, MA, : A K Peters, c2005
Descrizione fisica: x, 172 p
Disciplina: 511.3
Soggetto topico: Gödel's theorem
Incompleteness theorems
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di bibliografia: Includes bibliographical references (p. 165-167) and index.
Nota di contenuto: 5050 1. Introduction -- 2. The incompleteness theorem : an overview -- 3. Computability, formal systems, and incompleteness -- 4. Incompleteness everywhere -- 5. Skepticism and confidence -- 6. Gödel, minds, and computers -- 7. Gödel's completeness theorem -- 8. Incompleteness, complexity, and infinity
Titolo autorizzato: Gödel's theorem  Visualizza cluster
ISBN: 1-56881-500-X
1-4398-7692-4
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910782047303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui