Reflections on Formalism and Reductionism in Logic and Computer Science
Séminaire de Philosophie et Mathématiques 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},
     publisher = {IREM Paris-Nord},
     number = {2},
     year = {1993},
     language = {en},
     url = {http://www.numdam.org/item/SPHM_1993___2_A1_0}
}
Longo, Giuseppe. Reflections on Formalism and Reductionism in Logic and Computer Science. Séminaire de Philosophie et Mathématiques, 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 1159196 | Zbl 0783.18001

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 37.0065.05

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

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

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 945466

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

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 1015311 | Zbl 0682.03006

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 0773.03004

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

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

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 46.0056.11 | JFM 46.0286.01

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