Logica
Volume 2 - Incompletezza, teoria assiomatica degli insiemi
Authors: Abrusci, Vito Michele, Tortora de Falco, Lorenzo
Free Preview- 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
Buy this book
- About this Textbook
-
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.
- About the authors
-
Vito Michele Abrusci è Professore ordinario di Logica e Filosofia presso l'Università degli Studi Roma Tre, dal 1996. I suoi interessi di ricerca si svolgono principalmente in teoria della dimostrazione, logica lineare e sue applicazioni, storia e filosofia della logica.
Lorenzo Tortora de Falco è Professore associato di Logica presso l'Università degli Studi Roma Tre, dal 2005. I suoi interessi di ricerca si svolgono principalmente nell’ambito della logica lineare e delle sue interazioni con l’informatica teorica.
- Table of contents (9 chapters)
-
-
Relazioni tra logica e aritmetica: un’introduzione
Pages 3-5
-
Decidibilità e risultati fondamentali di teoria della ricorsività
Pages 7-143
-
L’aritmetica di Peano
Pages 145-211
-
Introduzione alla teoria degli insiemi
Pages 215-239
-
La teoria assiomatica di Zermelo ($Z$) e quella di Zermelo-Fraenkel ($\mathit{ZF}$)
Pages 241-264
-
Table of contents (9 chapters)
Buy this book

Services for this Book
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Logica
- Book Subtitle
- Volume 2 - Incompletezza, teoria assiomatica degli insiemi
- Authors
-
- Vito Michele Abrusci
- Lorenzo Tortora de Falco
- Series Title
- La Matematica per il 3+2
- Series Volume
- 111
- Copyright
- 2018
- Publisher
- Springer-Verlag Mailand
- Copyright Holder
- Springer-Verlag Italia S.r.l., part of Springer Nature
- eBook ISBN
- 978-88-470-3968-1
- DOI
- 10.1007/978-88-470-3968-1
- Softcover ISBN
- 978-88-470-3967-4
- Series ISSN
- 2038-5722
- Edition Number
- 1
- Number of Pages
- XIII, 439
- Topics