Reflections on Formalism and Reductionism in Logic and Computer Science
Séminaire de Philosophie et Mathématiques, Les irrationalités de la logique, no. 2 (1993), article no. 1, 9 p. 
@article{SPHM_1993___2_A1_0,
     author = {Longo, Giuseppe},
     title = {Reflections on {Formalism} and {Reductionism} in {Logic} and {Computer} {Science}},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     eid = {1},
     pages = {1--9},
     publisher = {IREM Paris-Nord},
     number = {2},
     year = {1993},
     language = {en},
     url = {http://www.numdam.org/item/SPHM_1993___2_A1_0/}
}
TY  - JOUR
AU  - Longo, Giuseppe
TI  - Reflections on Formalism and Reductionism in Logic and Computer Science
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1993
SP  - 1
EP  - 9
IS  - 2
PB  - IREM Paris-Nord
UR  - http://www.numdam.org/item/SPHM_1993___2_A1_0/
LA  - en
ID  - SPHM_1993___2_A1_0
ER  - 
%0 Journal Article
%A Longo, Giuseppe
%T Reflections on Formalism and Reductionism in Logic and Computer Science
%J Séminaire de Philosophie et Mathématiques
%D 1993
%P 1-9
%N 2
%I IREM Paris-Nord
%U http://www.numdam.org/item/SPHM_1993___2_A1_0/
%G en
%F SPHM_1993___2_A1_0
Longo, Giuseppe. Reflections on Formalism and Reductionism in Logic and Computer Science. Séminaire de Philosophie et Mathématiques, Les irrationalités de la logique, no. 2 (1993), article  no. 1, 9 p. http://www.numdam.org/item/SPHM_1993___2_A1_0/

Asperti A., Longo G. Categories, Types and Structures, M.I.T. Press, 1991. | MR | Zbl

Van Dalen D. "Brouwer's dogma of languageless mathematics and its role in his writings" Significs, Mathematics and Semiotics (Heijerman ed.), Amsterdam, 1990.

Enriquez F. Problemi della Scienza, 1909. | JFM

Girard J.-Y. "Linear Logic" Theoretical Comp. Sci., 50 (1-102), 1987. | MR | Zbl

Girard J.-Y. "The unity of logic", Journal of Symbolic Logic, 1992, to appear. | MR | Zbl

Goldfarb W. "Poincare Against the Logicists" Essays in the History and Philosophy of Mathematics, (W. Aspray and P.Kitcher eds), Minn. Studies in the Phil, of Science, 1986. | MR

Lighthill J. "The recent recognized failure of predictability in Newtonian dynamics" Proc. R. Soc. Lond. A 407, 35-50, 1986. | Zbl

Longo G. "Notes on the foundation od mathematics and of computer science" Nuovi problemi della Logica e della Filosofia della Scienza (Corsi, Sambin eds), Viareggio, 1990.

Longo G. "Some aspects of impredicativity: notes on Weyl's philosophy of Mathematics and on todays Type Theory" Logic Colloquium 87, Studies in Logic (Ebbinghaus et al. eds), North-Holland, 1989. (Part I: in this report). | MR | Zbl

Maffei L. "Lectures on Vision at ENS", in preparation, Pisa, 1992.

Nicod J. "La Géometrie du monde sensible" PUF, Paris

Ninio J. L'empreinte des sens, Seuil, Paris, 1991

Petitot J. "L'objectivite du continu et le platonisme transcendantal", Document du CREA, Paris, Ecole Polytechnique, 1992. | Zbl

Poincaré H. La Science et l'Hypothese, Flammarion, Paris, 1902. | JFM

Poincaré H. La valeur de la Science, Flammarion, Paris, 1905. | JFM

Sambin G. "Per una dinamica dei fondamenti" Nuovi problemi della Logica e della Filosofia della Scienza (Corsi, Sambin eds), Viareggio, 1990.

Troelstra A.S. "Remarks on Intuitionism and the Philosophy of Mathematics" Nuovi problemi della Logica e della Filosofia della Scienza (Corsi, Sambin eds), Viareggio, 1990.

Weyl H. Das Kontinuum, 1918. | JFM

Weyl H. Symmetry, Princeton University Press, 1952. | MR | Zbl