Estensioni contraddittorie della teoria Ampia
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 13-28
Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica
First I briefly present the $A$-Theory, a non-reductionist, self-referential theory for the Foundations of Mathematics proposed by Clavelli, De Giorgi, Forti and Tortorelli in 1987. Then, in §§2-4,1 show the inconsistency of some extensions of the $A$-Theory, obtained by adding strong axioms on relations and operations (e.g. axioms giving the conjunction of relations, the composition of operations, etc.) and/or axioms giving some "combinatorial" relation.
@article{RLINA_1989_8_83_1_a2,
author = {Lenzi, Giacomo},
title = {Estensioni contraddittorie della teoria {Ampia}},
journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
pages = {13--28},
year = {1989},
volume = {Ser. 8, 83},
number = {1},
zbl = {0734.03029},
mrnumber = {1142432},
language = {it},
url = {http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/}
}
TY - JOUR AU - Lenzi, Giacomo TI - Estensioni contraddittorie della teoria Ampia JO - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali PY - 1989 SP - 13 EP - 28 VL - 83 IS - 1 UR - http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/ LA - it ID - RLINA_1989_8_83_1_a2 ER -
%0 Journal Article %A Lenzi, Giacomo %T Estensioni contraddittorie della teoria Ampia %J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali %D 1989 %P 13-28 %V 83 %N 1 %U http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/ %G it %F RLINA_1989_8_83_1_a2
Lenzi, Giacomo. Estensioni contraddittorie della teoria Ampia. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 13-28. http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a2/