Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Prezzo
26,50 €
Nessuna tassa
Carocci
Palladino Dario
Università
Libro in brossura
26 Febbraio 2004
202
Nuovo
Quantità

E-Book non acquistabile
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.
THEME OPTIONS

Panel Tool

Full Width Boxed Large
Yes No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default
Headings Color
Link Color
Link Hover Color
Text Color
Price Color
Button Background
Button Hover Background
Button Color
Button Hover Color
Product Background
Product Name Color
Product Name Hover Color
Product Price Color
Product Regular Price Color
Product Button Background
Product Button Hover Background
Product Button Color
Product Button Hover Color
On Sale Badge Background
On Sale Badge Color
New Badge Background
New Badge Color
Sale Badge Background
Sale Badge Color
Online Only Background
Online Only Color
Pack Badge Background
Pack Badge Color
Block Background
Block Inner Background
Block Heading Background
Block Heading Color