The reasonable effectiveness of Mathematics and its Cognitive roots (2001)

Cached

Download Links

by Giuseppe Longo , Ecole Normale Superieure
Citations:2 - 0 self

Documents Related by Co-Citation

1 L'anneau des disciplines, n. spécial de la Revue Internationale de systémique – F Bailly - 1991
1 Time and Cognition: From The Standpoint of – F Bailly, Longo G “Space - 2003
1 Objective and Epistemic Complexity – F Bailly, G Longo
1 Harmonic analysis tools for solving Navier-Stokes equations”, to appear – M Cannone - 2003
1 Chabert J.-L., Chemla K. Chaos et déterminisme, Seuil – Dahan Delmedico A - 1992
1 Philosophie scientifique et empirisme logique“, Actes du Congrès international de philosophie scientifique – F Enriques - 1935
1 Evolution des théories sur la turbulence développée”, dans [Dahan et al – M Farge - 1992
1 fondements de la géométrie – Hilbert D Les - 1971
2 The formulas-as-types notion of construction", (Manuscript written – W Howard - 1980
1 Lighthill J. "The recent recognized failure of predictability in Newtonian dynamics – Lassègue J Turing, Les Belles Lettres, Paris - 1998
3 Mathematical Intelligence, Infinity and Machines: beyond the Gdelitis" Invited paper – G Longo - 1999
3 On the proofs of some formally unprovable propositions and prototype proofs in type theory – G Longo
1 Space and Time in the Foundations of Mathematics, or some challenges in the interactions with other sciences".�Invited lecture – G � Longo - 2001
1 Transition and Turbulence – R E Meyer - 1981
1 Modèles et métaphores” dans Enquête sur le concept de modèle – P Nouvel - 2002
1 The Institute of Electrical and Electronics Engineers, Inc., 345 East 47th – unknown authors - 1988
1 The Institute of Electrical and Electronics Engineers, Inc., 345 East 47th – unknown authors - 1993
3 Computing machine and intelligence – A Turing - 1950
5 On Church's formal theory of functions and functionals – G Longo - 1987