Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén
| Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén |
| Autore | Franzén Torkel |
| Pubbl/distr/stampa | Wellesley, MA, : A K Peters, c2005 |
| Descrizione fisica | x, 172 p |
| Disciplina | 511.3 |
| Soggetto topico |
Gödel's theorem
Incompleteness theorems |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-56881-500-X
1-4398-7692-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910454403903321 |
Franzén Torkel
|
||
| Wellesley, MA, : A K Peters, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén
| Gödel's theorem [[electronic resource] ] : an incomplete guide to its use and abuse / / Torkel Franzén |
| Autore | Franzén Torkel |
| Pubbl/distr/stampa | Wellesley, MA, : A K Peters, c2005 |
| Descrizione fisica | x, 172 p |
| Disciplina | 511.3 |
| Soggetto topico |
Gödel's theorem
Incompleteness theorems |
| ISBN |
1-56881-500-X
1-4398-7692-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910782047303321 |
|
Franzén Torkel
|
||
| Wellesley, MA, : A K Peters, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel's theorem : an incomplete guide to its use and abuse / / Torkel Franzén
| Gödel's theorem : an incomplete guide to its use and abuse / / Torkel Franzén |
| Autore | Franzén Torkel |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Wellesley, MA, : A K Peters, c2005 |
| Descrizione fisica | x, 172 p |
| Disciplina | 511.3 |
| Soggetto topico |
Gödel's theorem
Incompleteness theorems |
| ISBN |
1-56881-500-X
1-4398-7692-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 |
| Record Nr. | UNINA-9910828412403321 |
|
Franzén Torkel
|
||
| Wellesley, MA, : A K Peters, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||