Geodesic
Paradigmi di computazione per i numeri reali
La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 3, pp. 525-554.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

In questo articolo trattiamo lo sviluppo storico del concetto di funzione reale computabile. Durante il XX secolo alcune scuole hanno proposto approcci alternativi alla questione, ma in generale tra loro strettamente correlati. Tuttavia, mettiamo in risalto come i due paradigmi TTE a real-RAM, traendo origine da due differenti rami della matematica (teoria della computabilità ed analisi numerica) abbiamo elaborato due approcci contrastanti.
In this paper we deal with the historical development of the notion of computable real function. During the XX century, some mathematical schools provided different approaches to the subject, which are in general strictly related. Nevertheless, we point out how the two paradigms TTE and real-RAM have formulated two incompatible approaches. This contrast is mainly due to their own two different theoretical foundations (computer science on the one hand and numerical analisis on the other). 
@article{RIUMI_2008_1_1_3_a5,
     author = {Gherardi, Guido},
     title = {Paradigmi di computazione per i numeri reali},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {525--554},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {3},
     year = {2008},
     zbl = {1059.03074},
     mrnumber = {2500209},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_3_a5/}
}
TY  - JOUR
AU  - Gherardi, Guido
TI  - Paradigmi di computazione per i numeri reali
JO  - La Matematica nella società e nella cultura
PY  - 2008
SP  - 525
EP  - 554
VL  - 1
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_3_a5/
LA  - it
ID  - RIUMI_2008_1_1_3_a5
ER  - 
%0 Journal Article
%A Gherardi, Guido
%T Paradigmi di computazione per i numeri reali
%J La Matematica nella società e nella cultura
%D 2008
%P 525-554
%V 1
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_3_a5/
%G it
%F RIUMI_2008_1_1_3_a5
Gherardi, Guido. Paradigmi di computazione per i numeri reali. La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 3, pp. 525-554. http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_3_a5/

[1] L. Blum - F. Cucker - M. Schub - S. Smale, Complexity and Real Computation. Springer (1998). | DOI | MR

[2] V. Brattka, Effective Borel measurability and reducibility of functions. Mathematical Logic Quarterly, 51 (2005), 19-44. | DOI | MR | Zbl

[3] M. Braverman - S. Cook, Computing over the Reals: Foundations for Scientific Computing. Notices of the American Mathematical Society, 53 (2005), 318-329. | MR | Zbl

[4] A. Kechris, Classical Descriptive Set Theory. Springer (1995). | DOI | MR | Zbl

[5] K. Kuratowski, Topology. Volume I. Academic Press (1966). | MR

[6] P. Odifreddi, Classical Recursion Theory. North Holland (1989). | MR | Zbl

[7] P. Odifreddi, Classical Recursion Theory. Volume II. North Holland (1999). | MR | Zbl

[8] R. Penrose, The Emperor's New Mind. Oxford University Press. 1989 (edizione italiana: La Mente Nuova dell'Imperatore. Rizzoli, 1992) | MR

[9] M. B. Pour-El - J. I. Richards, Computability in Analysis and Physics. Springer (1989). | DOI | MR | Zbl

[10] A. Turing, On computable real numbers, with an application to the "Entscheidungsproblem". Proceedings of the London Mathematical Society, 422 (1936), 230-265. | DOI | MR | Zbl

[11] A. Turing, On computable real numbers, with an application to the "Entscheidungsproblem". A correction. Proceedings of the London Mathematical Society, 432 (1937), 544-546. | DOI | MR | Zbl

[12] A. Turing, Rounding-off Errors in Matrix Processes. The Quarterly Journal of Mechanics and Applied Mathematics, 1 (1948), 287-308. | DOI | MR | Zbl

[13] K. Weihrauch, Computability. Springer (1987) | DOI | MR

[14] K. Weihrauch: Computable Analysis. Springer (2000). | DOI | MR | Zbl

[15] K. Weihrauch - N. Zhong, The Wave Propagator is Turing Computable, in J. WIEDERMANN P. VAN EMDE BOAS - M. NIELSEN (Eds.), Automata, Languages and Programming. Lecture Notes in Computer Science, 1644 (1999), 697-706. | DOI | MR | Zbl