Geodesic
Equivalenze tra teoremi: il programma di ricerca della reverse mathematics
La Matematica nella società e nella cultura, Série 1, Tome 2 (2009) no. 1, pp. 101-126

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

Mathematical Logic can give a precise meaning to statements of the form «Theorem A is stronger than Theorem B». In the last few decades logicians have proved many results about the axiomatic strength of theorems from different areas of mathematics. These results form a research project known as reverse mathematics. In this paper we discuss the antecedents of reverse mathematics, describe the current research in the area, and elucidate the import of reverse mathematics upon the foundations of mathematics. 
@article{RIUMI_2009_1_2_1_a3,
     author = {Marcone, Alberto},
     title = {Equivalenze tra teoremi: il programma di ricerca della reverse mathematics},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {101--126},
     publisher = {mathdoc},
     volume = {Ser. 1, 2},
     number = {1},
     year = {2009},
     zbl = {1186.03020},
     mrnumber = {2537477},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/}
}
TY  - JOUR
AU  - Marcone, Alberto
TI  - Equivalenze tra teoremi: il programma di ricerca della reverse mathematics
JO  - La Matematica nella società e nella cultura
PY  - 2009
SP  - 101
EP  - 126
VL  - 2
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/
LA  - it
ID  - RIUMI_2009_1_2_1_a3
ER  - 
%0 Journal Article
%A Marcone, Alberto
%T Equivalenze tra teoremi: il programma di ricerca della reverse mathematics
%J La Matematica nella società e nella cultura
%D 2009
%P 101-126
%V 2
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/
%G it
%F RIUMI_2009_1_2_1_a3
Marcone, Alberto. Equivalenze tra teoremi: il programma di ricerca della reverse mathematics. La Matematica nella società e nella cultura, Série 1, Tome 2 (2009) no. 1, pp. 101-126. http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/