Logica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Buch in deiner Nähe kaufen
Beschreibung
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.
L'opera si propone come testo di riferimento per acquisire una solida preparazione specialistica nella Logica, presentando in maniera rigorosa ed innovativa argomenti tradizionalmente affrontati nei corsi universitari di secondo livello. Questo secondo volume, che completa l'opera, presenta le basi della teoria della ricorsività, l'aritmetica di Peano ed i teoremi di incompletezza, gli assiomi della teoria assiomatica degli insiemi di Zermelo-Fraenkel e la teoria degli ordinali e dei cardinali che ne deriva.
Permette di conseguire una solida preparazione specialistica nella Logica, adottando un punto di vista emerso dalla ricerca contemporanea Mostra una particolare attenzione alla dimostrazione dei principali teoremi sulla Logica e la presentazione della teoria assiomatica degli insiemi Offre un sito web dedicato nel quale possono essere fornite integrazioni e proposti esercizi
Autor*in
Vito Michele Abrusci
Themen in »Logica«
Funzioni elementari e ricorsive Aritmetica di Peano Teoremi di incompletezza di Goedel Assiomi di Zermelo-Fraenkel Ordinali e Carinali