Geodesic
Natural limitations of algorithmic procedures in logic
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 69 (1980) no. 3-4, pp. 101-105 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

I più semplici aspetti (quantistici e relativistici) dei procedimenti di calcolo vengono matematizzati: quindi si ricavano risultati limitativi per quanto riguarda (i) la realizzabilità pratica dell’interpolazione di Craig, e (ii) la decidibilità pratica dell’aritmetica con quantificatori limitati. 
@article{RLINA_1980_8_69_3-4_a1,
     author = {Mundici, Daniele},
     title = {Natural limitations of algorithmic procedures in logic},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {101--105},
     year = {1980},
     volume = {Ser. 8, 69},
     number = {3-4},
     zbl = {0518.03005},
     mrnumber = {0670813},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/}
}
TY  - JOUR
AU  - Mundici, Daniele
TI  - Natural limitations of algorithmic procedures in logic
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1980
SP  - 101
EP  - 105
VL  - 69
IS  - 3-4
UR  - http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/
LA  - en
ID  - RLINA_1980_8_69_3-4_a1
ER  - 
%0 Journal Article
%A Mundici, Daniele
%T Natural limitations of algorithmic procedures in logic
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1980
%P 101-105
%V 69
%N 3-4
%U http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/
%G en
%F RLINA_1980_8_69_3-4_a1
Mundici, Daniele. Natural limitations of algorithmic procedures in logic. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 69 (1980) no. 3-4, pp. 101-105. http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/