De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo:
Una proposta di teorie base dei Fondamenti della Matematica
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni Serie 9 5 (1994), fasc. n.1, p. 11-22, (Italian)
pdf (1.46 MB), djvu (264 Kb). | MR 1273887 | Zbl 0797.03006
Sunto
Vengono proposte alcune teorie base dei Fondamenti della Matematica che assumono come concetti primitivi i concetti di numero naturale, collezione, qualità, operazione e relazione; le operazioni e le relazioni considerate possono essere più o meno complesse: il numero naturale che indica il grado di complessità è detto arietà. Nelle teorie considerate è raggiunto un alto grado di autoreferenza.
Referenze Bibliografiche
[1]
A. ASPERTI -
G. LONGO,
Categories, Types and Structures - An Introduction to Category Theory for the Working Computer Scientist. Cambridge Mass.,
1991. |
MR 1159196 |
Zbl 0783.18001[3]
Y. BAR HILLER -
A. A. FRAENKEL -
A. LEVY,
Foundations of Set Theory. Amsterdam
1973. |
Zbl 0248.02071[6]
M. BOFFA,
Sur la théorie des ensembles sans axiome de fondement.
Bull. Soc. Math. Belg.,
21,
1969, 16-56. |
MR 260588 |
Zbl 0193.30601[7]
A. CHURCH,
Set theory with a universal set. In:
L. HENKIN et al. (eds.),
Proceedings of the Tarski Symposium.
Proc. of Symp. P. Math. XXV, Rhode Island
1974, 297-308. |
MR 369069 |
Zbl 0317.02079[8]
M. CLAVELLI -
E. DE GIORGI -
M. FORTI -
V. M. TORTORELLI,
A selfreference oriented theory for the Foundations of Mathematics. In:
Analyse Mathématique et applications. Contributions en l'honneur de Jacques-Louis Lions. Parigi
1988, 67-115. |
Zbl 0675.03003[9]
H. B. CURRY -
R. FEYS,
Combinatory Logic. Amsterdam
1958. |
Zbl 0081.24104[10] E. DE GIORGI, Fondamenti della Matematica e teorie base: gli esempi delle teorie \( 7 \times 2 \) e \( 7 \times 5 \) (sunto di una conversazione). Lecce 1989, manoscritto.
[11]
E. DE GIORGI -
M. FORTI,
Una teoria-quadro per i fondamenti della matematica.
Atti Acc. Lincei Rend. fis., s. 8, vol.
79,
1985, 55-67. |
Zbl 0635.03045[12] E. DE GIORGI - M. FORTI, \( "5 x 7" \): A Basic Theory for the Foundations of Mathematics. Preprint di Matematica n. 74, Scuola Normale Superiore, Pisa 1990.
[13]
S. FEFERMAN,
Constructive theories of functions and classes. In:
M. BOFFA et al. (eds.),
Logic Colloquium 1978. Amsterdam
1979. |
MR 567670 |
Zbl 0441.03022[14]
M. FORTI -
F. HONSELL,
Models of self descriptive set theories. In:
F. COLOMBINI et al. (eds.),
Partial Differential Equations and the Calculus of Variations - Essays in Honor of Ennio De Giorgi. Boston
1989, 473-518. |
MR 1034017 |
Zbl 0709.03030[15] M. FORTI - G. LENZI, Assiomi e modelli di teorie base dei Fondamenti della Matematica. In preparazione.
[16]
G. FREGE,
Grundgesetze der Aritmetik, begriffsschriftlich abgeleitet. Vol.
I, Jena
1893; vol.
II, Pohle, Jena
1903 (ristampato Olms, Hildesheim
1962). |
MR 211840 |
Jbk 25.0101.02[18]
G. LENZI,
Estensioni contraddittorie della teoria Ampia.
Atti Acc. Lincei Rend. fis., s. 8, vol.
83,
1989, 13-28. |
Zbl 0734.03029[19] G. LENZI - V. M. TORTORELLI, Introducing predicates into a basic theory for the foundations of Mathematics. Preprint di Matematica n. 51, Scuola Normale Superiore, Pisa, luglio 1989.
[21]
B. RUSSELL -
A. N. WHITEHEAD,
Principia Mathematica. Cambridge
1925. |
Jbk 51.0046.06[22]
D. SCOTT,
Combinators and classes. In:
C. BÖHM (ed.),
\( \lambda \)
λ
-Calculus and Computer Science Theory.
LNCS,
37, Berlino
1975. |
MR 505296 |
Zbl 0342.02018