Theorems as Constructive Visions - ENS - École normale supérieure Accéder directement au contenu
Chapitre D'ouvrage Année : 2010

Theorems as Constructive Visions

Résumé

This paper briefly reviews some epistemological perspectives on the foundation of mathematical concepts and proofs. It provides examples of axioms and proofs, from Euclid to recent "concrete incompleteness" theorems. In reference to basic cognitive phenomena, the paper focuses on order and symmetries as core "construction principles" for mathematical knowledge. A distinction is then made between these principles and the "proof principles" of modern Mathemaical Logic. The role of the blend of these different forms of founding principles will be stressed, both for the purposes of proving and of understanding and communicating the proof
Fichier principal
Vignette du fichier
2021_08_12_proof-visions.pdf (322.99 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03319485 , version 1 (12-08-2021)

Identifiants

  • HAL Id : hal-03319485 , version 1

Citer

Giuseppe Longo. Theorems as Constructive Visions. Hanna, Gila; de Villiers, Michael. Proof and Proving in Mathematics Education. The 19th ICMI Study, Springer, pp.51-66, 2010, 978-94-007-2129-6. ⟨hal-03319485⟩
49 Consultations
49 Téléchargements

Partager

Gmail Facebook X LinkedIn More