Niveau: Supérieur, Doctorat, Bac+8
Mathematical intuition and the cognitive roots of mathematical concepts1 Giuseppe Longo Arnaud Viarouge CNRS et Ecole Normale Superieure Psychology and Human Development Dpt. et CREA, Ecole Polytechnique, Paris (Fr.) Peabody College, Vanderbilt University Nashville, TN (USA) Abstract. The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This « genealogy of concepts », so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational analysis by this too often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to the philosophical frame as well as to the some recent advances in Cognition that support our claim, the cognitive origin and the constitutive role of mathematical intuition. 1. From Logic to Cognition Over the course of the XXth century, the relationships between Philosophy and Mathematics have been dominated by Mathematical Logic. A most interesting area of Mathematics which, from 1931 onwards, year of one of the major mathematical results of the century (Gödelian Incompleteness), enjoyed the double status of a discipline that is both technically profound and philosophically fundamental.
- identification should
- mathematical
- no constitutive
- major technical
- formal
- logico-formal machines surrounding
- very complex
- cantorian points either
- foundational point