Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica
De Giorgi, Ennio ; Forti, Marco ; Lenzi, Giacomo
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 5 (1994), p. 117-128 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

Introduciamo la nozione di variabile nel quadro assiomatico delle teorie base dei Fondamenti della Matematica [9]. In tale quadro le variabili sono inserite come oggetti «unari», assumono valori di varie specie, possono essere connesse da correlazioni (o corrispondenze) e ammettono rappresentazioni funzionali locali. Gli assiomi sulle variabili sono scelti tenendo presenti gli usi più frequenti del termine «variabile» in Analisi Matematica, Fisica Matematica, Algebra, Geometria, Logica e in molte scienze esatte ed umane (Fisica, Biologia, Informatica, Economia, Sociologia, ecc.).

We deal with the notion of variable inside of the axiomatic frame of the basic theories for the Foundations of Mathematics [9]. Variables are introduced into this frame as «unary» objects, taking values of different kinds, which can be connected by correlations (or correspondences), and allow local functional representations. In choosing the axioms on variables we take into account the main uses of the term «variable» in Mathematical Analysis, Mathematical Physics, Algebra, Geometry, Logic and in several exact and human sciences (Physics, Biology, Computer Science, Economics, Sociology, etc.).

Publié le : 1994-06-01
@article{RLIN_1994_9_5_2_117_0,
     author = {Ennio De Giorgi and Marco Forti and Giacomo Lenzi},
     title = {Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
     volume = {5},
     year = {1994},
     pages = {117-128},
     zbl = {0807.03003},
     mrnumber = {1292567},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLIN_1994_9_5_2_117_0}
}

De Giorgi, Ennio; Forti, Marco; Lenzi, Giacomo. Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 5 (1994) pp. 117-128. http://gdmltest.u-ga.fr/item/RLIN_1994_9_5_2_117_0/

[1] Arnold, V., Méthodes mathématiques de la mécanique classique. Mir, Mosca1976. | MR 474391 | Zbl 0385.70001

[2] Baldi, P., Calcolo delle Probabilità e Statistica. Mc Graw-Hill, Milano1992.

[3] Billingsley, P., Probability and Measure. Wiley & Sons, New York1986. | MR 830424 | Zbl 0649.60001

[4] Breiman, L., Probability. Addison-Wesley, Reading, Mass.1968. | MR 229267 | Zbl 0174.48801

[5] Clavelli, M., Variabili e teoria A. Rend. Sem. Fac. Sci. Univ. Cagliari, (2), 59, 1985, 125-130. | MR 1098883 | Zbl 0800.03030

[6] Clavelli, M. - De Giorgi, E. - Forti, M. - Tortorelli, V. M., A self-reference oriented theory for the Foundations of Mathematics. In: Analyse Mathématique et applications. Contributions en l'honneur de Jacques-Louis Lions. Gauthiers-Villars, Paris 1988, 67-115. | MR 956954 | Zbl 0675.03003

[7] Courant, R. - Hilbert, D., Methods of Mathematical Physics. Wiley & Sons, New York 1989. | MR 1013360 | Zbl 0729.00007

[8] Lenzi, G., Seminario sui Fondamenti della Matematica, diretto dal Prof. Ennio De Giorgi. Scuola Normale Superiore, Pisa a.a. 1993-1994 (note dattiloscritte).

[9] De Giorgi, E. - Forti, M. - Lenzi, G., Una proposta di teorie base dei Fondamenti della Matematica. Rend. Mat. Acc. Lincei, s. 9, v. 5, 1994, 11-22. | Zbl 0797.03006

[10] Feller, W., An Introduction to Probability Theory and its Applications. Wiley & Sons, New York1968. | MR 228020 | Zbl 0138.10207

[11] Lenzi, G., Estensioni contraddittorie della teoria Ampia. Atti Acc. Lincei Rend, fis., s. 8, vol. 83, 1989, 13-28. | MR 1142432 | Zbl 0734.03029