外文翻译---数学直觉与认知的根源.docVIP

Mathematical Intuition and the Cognitive Roots of Mathematical Concepts Giuseppe Longo ? Arnaud Viarouge Published online: 20 January 2010 Springer Science+Business Media B.V. 2010 Abstract The foundation of Mathematics is both a logica formal issue and an epistemological one. By the ?rst, 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’’, is nece