Contradictory extensions of the ample theory
- Volume: 83, Issue: 1, page 13-28
- ISSN: 1120-6330
Access Full Article
top
Abstract
topHow to cite
topLenzi, Giacomo. "Estensioni contraddittorie della teoria Ampia." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 83.1 (1989): 13-28. <http://eudml.org/doc/287471>.
@article{Lenzi1989,
abstract = {Dopo una breve presentazione della teoria $A$, una teoria non riduzionista ed autoreferenziale dei fondamenti della matematica proposta da Clavelli, De Giorgi, Forti e Tortorelli nel 1987, si mostra l'inconsistenza di estensioni della teoria $A$ ottenute aggiungendo forti assiomi su relazioni e operazioni (ad es. assiomi che danno la composizione di operazioni, la congiunzione di relazioni, ecc.) e/o assiomi che forniscono qualche relazione "combinatoria".},
author = {Lenzi, Giacomo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {Quality; Relation; Operation; Pair; self-reference; A-Theory; self-referential theory for the Foundations of Mathematics},
language = {ita},
month = {12},
number = {1},
pages = {13-28},
publisher = {Accademia Nazionale dei Lincei},
title = {Estensioni contraddittorie della teoria Ampia},
url = {http://eudml.org/doc/287471},
volume = {83},
year = {1989},
}
TY - JOUR
AU - Lenzi, Giacomo
TI - Estensioni contraddittorie della teoria Ampia
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1989/12//
PB - Accademia Nazionale dei Lincei
VL - 83
IS - 1
SP - 13
EP - 28
AB - Dopo una breve presentazione della teoria $A$, una teoria non riduzionista ed autoreferenziale dei fondamenti della matematica proposta da Clavelli, De Giorgi, Forti e Tortorelli nel 1987, si mostra l'inconsistenza di estensioni della teoria $A$ ottenute aggiungendo forti assiomi su relazioni e operazioni (ad es. assiomi che danno la composizione di operazioni, la congiunzione di relazioni, ecc.) e/o assiomi che forniscono qualche relazione "combinatoria".
LA - ita
KW - Quality; Relation; Operation; Pair; self-reference; A-Theory; self-referential theory for the Foundations of Mathematics
UR - http://eudml.org/doc/287471
ER -
References
top- CLAVELLI, M., DE GIORGI, E., FORTI, M. e TORTORELLI, V.M., 1988. A self-reference oriented theory for the foundations of Mathematics. In Analyse Mathématique et applications Gauthier-Villars, Paris: 67-115. Zbl0675.03003MR956954
NotesEmbed ?
topYou 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.