Astratto
Presentazione sommaria del tema centrale della Parte I del volume, l’incompletezza, affrontato nel seguito attraverso lo studio della calcolabilità (Capitolo 2) e delle relazioni tra logica e aritmetica (Capitolo 3). Sintesi dei principali contenuti della Parte I.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
La questione di sapere se una determinata operazione è o meno effettiva si pone in qualsiasi ambito della conoscenza.
- 2.
Più precisamente, come specificato nel Capitolo 3, si dimostra la rappresentabilità delle funzioni ricorsive nella sottoteoria finita \(\mathit{AP}_{0}\) di \(\mathit{AP}\).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag Italia S.r.l., part of Springer Nature
About this chapter
Cite this chapter
Abrusci, V.M., Tortora de Falco, L. (2018). Relazioni tra logica e aritmetica: un’introduzione. In: Logica . UNITEXT(), vol 111. Springer, Milano. https://doi.org/10.1007/978-88-470-3968-1_1
Download citation
DOI: https://doi.org/10.1007/978-88-470-3968-1_1
Published:
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-3967-4
Online ISBN: 978-88-470-3968-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)