✍ Scribed by Vito Michele Abrusci, Lorenzo Tortora de Falco
No coin nor oath required. For personal study only.
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.
Front Matter ....Pages I-XIII
Front Matter ....Pages 1-1
Relazioni tra logica e aritmetica: un’introduzione (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 3-5
Decidibilità e risultati fondamentali di teoria della ricorsività (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 7-143
L’aritmetica di Peano (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 145-211
Front Matter ....Pages 213-213
Introduzione alla teoria degli insiemi (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 215-239
La teoria assiomatica di Zermelo ((Z)) e quella di Zermelo-Fraenkel ((\mathit{ZF})) (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 241-264
Gli ordinali (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 265-346
La gerarchia (V) e l’assioma di fondazione (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 347-365
L’assioma di scelta (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 367-388
I cardinali (Vito Michele Abrusci, Lorenzo Tortora de Falco)....Pages 389-433
Back Matter ....Pages 435-439
Mathematics; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
📜 SIMILAR VOLUMES
<span>Lolli, Gabriele Teoria assiomatica degli insiemi Bollati Boringhieri 1977 1977; Libro nuovo! Serie di logica matematica. Opera con copertina morbida in brossura. pp. 286 BC Nuovo (New)</span>
<span>All'origine di questo libro sono le lezioni tenute dall'autore all'Università di Torino per il corso di "fondamenti della matematica", rivolto agli studenti dell'indirizzo didattico, futuri insegnanti della materia. Proprio perché destinata a tale pubblico, l'opera combina una trattazione tecn
A. FRAENKEL - morto nel 1965 - è stato uno dei più importanti studiosi della teoria degli insiemi nel '900. Il suo approccio alla teoria degli insiemi raccoglie la tradizione cantoriana non limitandosi a porsi su di un piano meramente tecnico, ma considerandone gli aspetti rilevanti da un punto di v
Partendo da conoscenze matematiche molto modeste, il lettore che voglia e sappia ragionare con la sua testa è condotto passo passo alle questioni fondamentali della teoria degli insiemi, agli assiomi dell'aritmetica di Peano, alla teoria dell'ordinamento, del buon ordinamento, ai numeri ordinali e c
<span>Si può tranquillamente affermare, sulla base di molta esperienza, che il matematico medio, anche chi fa ricerca, non sa cosa sia la teoria degli insiemi. Due pregiudizi si frappongono a una buona conoscenza della teoria: uno, di tipo minimalista, è la sua identificazione con una non meglio pre