Carta PAYBACK di Mondadori
Su Mondadori Store, con la tua carta PAYBACK ti premi ad ogni acquisto.
Dario Palladino
pubblicato da
Carocci
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 Lowenheim-Skolem, i teoremi di incompletezza di Godel 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.
0
0
0
0
0
Torna in cima
1 recensioni
Anonimo -