À propos de quelques démonstrations pas très convaincantes - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2001

À propos de quelques démonstrations pas très convaincantes

Résumé

Il y a plusieurs manières de répondre à la question ``Qu'est-ce qu'une démonstration mathématique~?''. Une première consiste à donner une définition, à dire, par exemple, qu'une démonstration est une suite finie de propositions telle que chacune de ces propositions soit un axiome ou découle des précédentes par une règle de déduction. Une deuxième consiste à énoncer des propriétés qu'une chose doit vérifier pour être une démonstration, à dire, par exemple, qu'une démonstration doit être convaincante, explicative, que les détours qu'elle contient peuvent être éliminés, qu'elle doit être vérifiable avec tel ou tel outil, que sa recherche peut s'organiser de telle ou telle façon,~... Répondre de cette deuxième manière ne consiste pas à donner une définition, mais à énoncer des critères qui permettent d'évaluer diverses définitions possibles.
Fichier principal
Vignette du fichier
demonstrations.pdf (201.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04045747 , version 1 (25-03-2023)

Identifiants

  • HAL Id : hal-04045747 , version 1

Citer

Gilles Dowek. À propos de quelques démonstrations pas très convaincantes. 2001. ⟨hal-04045747⟩
10 Consultations
35 Téléchargements

Partager

Gmail Facebook X LinkedIn More