▶
#347407 Scienze

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

Autore
EditoreEdizioni Carocci.
Data di pubbl.
Dettagli cm.15,5x22,5, pp.202, brossura. Collana Università, 487.
AbstractIl 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.
EAN9788843029006
CondizioniUsato, molto buono
EUR 15.00
#347407Ultima copia
Aggiungi al Carrello

Vedi anche...

I fondi pensione verso il 2000. Il problema previdenza in otto paesi indstrializzati.
Edizioni del Sole 24 Ore
1987, cm.15x21,5, pp.190, brossura.
Usato, come nuovo
#267135Ultima copia
€ 10.00

Visualizzati di recente...

Il libro dei morti e dei vivi.
A.Mondadori Editore
1932, cm.13x19,5, pp.260, brossura Collana I Libri Azzurri,5. Prima edizione.
Da collezione, buono
#123162Ultima copia
€ 7.00
La scienza. Vol.1: L'universo.
La scienza. Vol.1: L'universo.
La Biblioteca di Repubblica
2005, cm.14x22, pp.832, num.figg.a col.nt. legatura editoriale cartonata, copertina figurata a colori.
Usato, come nuovo
#218383Disponibile
€ 12.90 € 7.00
La Vita.
Unione Tipografico-Editrice Torinese
1926, cm.12x18, pp.XXV,310,2 tavv.bn.ft. legatura ed.in tutta tela. Collezione di Classici Italiani con note fondata da Pietro Tommasini-Mattiucci e diretta da Gustavo Balsamo-Crivelli, vol.II.
Da collezione, molto buono
#246754Ultima copia
€ 10.00
SPESE DI SPEDIZIONE GRATIS
PER IMPORTI SUPERIORI A
35 € IN ITALIA