Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
| Titolo | Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità |
| Autore | Dario Palladino |
| Collana | Università, 487 |
| Editore | Carocci |
| Formato |
Libro: Libro in brossura |
| Pagine | 202 |
| Pubblicazione | 02/2004 |
| ISBN | 9788843029006 |
Libri dello stesso autore
Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità
Marcello Frixione, Dario Palladino
Carocci
Pigreco. Geometria. Per le Scuole superiori
Dario Palladino, Stefano Scotto, Marcello Frixione
Principato
Le geometrie non euclidee e i fondamenti della geometria
Evandro Agazzi, Dario Palladino
La Scuola SEI
Oltre il mito della crisi. Fondamenti e filosofia della matematica nel XX secolo
Marco Borga, Dario Palladino
La Scuola SEI
Orizzonti della matematica online. Geometria. Per le Scuole superiori
Dario Palladino, Stefano Scotto
Principato
Orizzonti della matematica online. Ediz. compatta. Per le Scuole superiori. Volume Vol. 2
Dario Palladino, Stefano Scotto
Principato