CARRELLO vai al carrello ▶
Libri
Totale
SPESE DI SPEDIZIONE GRATIS
PER IMPORTI SUPERIORI A
35 € IN ITALIA
80 € IN EUROPAlimiti e condizioni
▶
#347407 Scienze

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità.

Autore:
Editore: Edizioni Carocci.
Data di pubbl.:
Dettagli: cm.15,5x22,5, pp.202, brossura. Collana Università, 487.

Abstract: 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.

EAN: 9788843029006
CondizioniUsato, molto buono
EUR 15.00
Ultima copia
Aggiungi al Carrello

Vedi anche...

#267135 Economia
Edizioni del Sole 24 Ore 1987, cm.15x21,5, pp.190, brossura.
Usato, come nuovo
EUR 10.00
Ultima copia

Visualizzati di recente...

#265403 Storia Contemporanea Prima Guerra Mondiale
Firenze, Bemporad 1918, cm.13x17, pp.50, brossura.
Usato, molto buono
EUR 17.00
Ultima copia