Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Géométrie et cognition

Entre fondements des ma thématiques, théorie de la connaissance et cognition

  • 295 Accesses

References

  1. 1.

    Voir le «Cycle de conférences de démarrage», février-avril 1999, sur le site http://www.di.ens.fr/users/longo/geocogni.html.

  2. 2.

    Voirinfra n. 14 et 15.

  3. 3.

    HenriPoincaré,La Science et l'hypothèse, Paris, Flammarion, 1902, p. 78.

  4. 4.

    ID.,La Valeur de la science Paris, Flammarion, 1905, p. 67.

  5. 5.

    ID.,,op. cit. supra n. 3 , p. 75–76.

  6. 6.

    AlainBerthoz,Le Sens du mouvement, Paris, Odile Jacob, 1997.

  7. 7.

    ID.,,ibid.. p. 90.

  8. 8.

    GiuseppeLongo, «Space and time in the foundations of mathematics», Invited lecture, First AMS-SMF meeting, Lyon, juil. 2001, à paraître.

  9. 9.

    Hermann Weyl, «Commentary on Hilbert's second lecture on the foundations of mathematics»,in Van Heijenoort (Jean),From Frege to Gödel. A source book in mathematical logic, 1879–1931, Cambridge, MA, Harvard University Press, 1967.

  10. 10.

    EdmundHusserl,L'Origine de la géométrie, 1re éd. 1933, ici trad. franç., Paris, Presses universitaires de France, 1962, p. 192–193.

  11. 11.

    ID.,,ibid. , p. 201.

  12. 12.

    G. Longo, «On the proofs of some formally unprovable propositions and prototype proofs in type theory», Invited lecture,Types for proofs and programs, Durham, G.-B., déc. 2000,Lecture notes in Computer Science, 2327 éd.Callaghan (James)et al., Heidelberg, Springer, 2002, p. 160–180.

  13. 13.

    Id.,, “On the proofs of some formally unprovable propositions and prototype proofs in type theory», Invited lecture,Types for proofs and programs, Durham, G.-B., déc. 2000,Lecture notes in Computer Science, 2327, éd.Callaghan (James)et al., Heidelberg, Springer, 2002, p. 160–180.

  14. 14.

    N0 spéc. deMathematical Structures in Computer Science (Cambridge University Press), vol. X,4, août 2000.

  15. 15.

    N0 spéc. deThe Bulletin of Symbolic Logic, Association for Symbolic Logic, vol. XI,2, juin 2003.

  16. 16.

    http://www.di.ens.fr/~longo/CIM/projet.html

Download references

Author information

Correspondence to Giuseppe Longo.

About this article

Cite this article

Longo, G. Géométrie et cognition. Rev synth 124, 1–10 (2003). https://doi.org/10.1007/BF02963398

Download citation