Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Consulta il libro - Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità

Titolo	Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità
Autore	Dario Palladino
argomento	Scienza e Tecnica Matematica Logica e teoria degli insiemi
Collana	Università
Editore	Carocci
Formato	Libro
Pagine	202
Pubblicazione	2004
ISBN	9788843029006
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

Libro di difficile reperibilità contattaci

26,50 € 25,18 € (-5%)

aggiungi ai desideri

Descrizione

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.