Accéder directement au contenu Accéder directement à la navigation
Chapitre d'ouvrage

Theorems as Constructive Visions

Abstract : 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
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03319485
Contributeur : Uar 3608 République Des Savoirs Connectez-vous pour contacter le contributeur
Soumis le : jeudi 12 août 2021 - 13:54:07
Dernière modification le : mercredi 12 janvier 2022 - 03:37:27
Archivage à long terme le : : samedi 13 novembre 2021 - 18:38:28

Fichier

2021_08_12_proof-visions.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03319485, version 1

Collections

Citation

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⟩

Partager

Métriques

Les métriques sont temporairement indisponibles