https://hal-ens.archives-ouvertes.fr/hal-03319097Longo, GiuseppeGiuseppeLongoLIENS - Laboratoire d'informatique de l'école normale supérieure - DI-ENS - Département d'informatique - ENS Paris - ENS-PSL - École normale supérieure - Paris - PSL - Université Paris sciences et lettres - Inria - Institut National de Recherche en Informatique et en Automatique - CNRS - Centre National de la Recherche Scientifique - CNRS - Centre National de la Recherche ScientifiqueThe reasonable effectiveness of Mathematics and its Cognitive rootsHAL CCSD2005[MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO][SCCO] Cognitive scienceRépublique des savoirs, UAR 3608Boi, Luciano2021-08-11 16:06:562022-03-17 10:08:282021-08-12 08:53:45enBook sectionshttps://hal-ens.archives-ouvertes.fr/hal-03319097/document10.1142/9789812700889_0007application/pdf1Mathematics stems out from our ways of making the world intelligible by its peculiar conceptual stability and unity ; we invented it and used it to single out key regularities of space and language. This is exemplified and summarised below in references to the main foundational approaches to Mathematics, as proposed in the last 150 years. Its unity is also stressed: in this paper, Mathematics is viewed as a "three dimensional manifold" grounded on logic, formalisms and invariants of space; we will appreciate by this both its autonomous generative nature and its effectiveness. But effectiveness is also due to the fact that we re-construct the world by Mathematics: we organise knowledge of space and language by Mathematics, and give meaning by it to their structuring. But, what is "meaning", for us living and historical beings? What does "mathematical intuition" refer to? We will try to propose an understanding of these crucial aspects of the mathematical praxis, often disregarded as "magic" or as beyond any scientific analysis. Finally, some limits of the remarkable, but reasonable effectiveness of Mathematics will be sketched, in particular in reference to its applications in Biology and in human cognition.