An introduction of variables into the frame of the basic theories for the Foundations of Mathematics

Ennio De Giorgi; Marco Forti; Giacomo Lenzi

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni (1994)

  • Volume: 5, Issue: 2, page 117-128
  • ISSN: 1120-6330

Abstract

top
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.).

How to cite

top

De Giorgi, Ennio, Forti, Marco, and 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 5.2 (1994): 117-128. <http://eudml.org/doc/244111>.

@article{DeGiorgi1994,
abstract = {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.).},
author = {De Giorgi, Ennio, Forti, Marco, Lenzi, Giacomo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {Variable; Correlation; Operation; Basic-theory; variable; basic theories; Foundations of Mathematics; correlations},
language = {ita},
month = {6},
number = {2},
pages = {117-128},
publisher = {Accademia Nazionale dei Lincei},
title = {Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica},
url = {http://eudml.org/doc/244111},
volume = {5},
year = {1994},
}

TY - JOUR
AU - De Giorgi, Ennio
AU - Forti, Marco
AU - Lenzi, Giacomo
TI - Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1994/6//
PB - Accademia Nazionale dei Lincei
VL - 5
IS - 2
SP - 117
EP - 128
AB - 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.).
LA - ita
KW - Variable; Correlation; Operation; Basic-theory; variable; basic theories; Foundations of Mathematics; correlations
UR - http://eudml.org/doc/244111
ER -

References

top
  1. ARNOLD, V., Méthodes mathématiques de la mécanique classique. Mir, Mosca1976. Zbl0385.70001MR474391
  2. BALDI, P., Calcolo delle Probabilità e Statistica. Mc Graw-Hill, Milano1992. 
  3. BILLINGSLEY, P., Probability and Measure. Wiley & Sons, New York1986. Zbl0649.60001MR830424
  4. BREIMAN, L., Probability. Addison-Wesley, Reading, Mass.1968. Zbl0174.48801MR229267
  5. CLAVELLI, M., Variabili e teoria A. Rend. Sem. Fac. Sci. Univ. Cagliari, (2), 59, 1985, 125-130. Zbl0800.03030MR1098883
  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, Paris1988, 67-115. Zbl0675.03003MR956954
  7. COURANT, R. - HILBERT, D., Methods of Mathematical Physics. Wiley & Sons, New York1989. Zbl0729.00007MR1013360
  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. Zbl0797.03006
  10. FELLER, W., An Introduction to Probability Theory and its Applications. Wiley & Sons, New York1968. Zbl0138.10207MR228020
  11. LENZI, G., Estensioni contraddittorie della teoria Ampia. Atti Acc. Lincei Rend, fis., s. 8, vol. 83, 1989, 13-28. Zbl0734.03029MR1142432

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.