Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
Mathématiciens et philosophes définissent communément la rigueur mathématique de la manière suivante : une preuve mathématique est rigoureuse dès lors qu'elle ne présente aucun « trou » dans le raisonnement mathématique qui la compose. Toute approche philosophique de la rigueur mathématique f...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Article ou chapitre numérique |
| Hizkuntza: | Français |
| Argitaratua: |
2014
|
| Sarrera elektronikoa: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| Gaia: | Mathématiciens et philosophes définissent communément la rigueur mathématique de la manière suivante : une preuve mathématique est rigoureuse dès lors qu'elle ne présente aucun « trou » dans le raisonnement mathématique qui la compose. Toute approche philosophique de la rigueur mathématique formulée suivant cette conception se doit de définir la notion de « trou ». Cependant, une telle notion ne peut être pensée que relativement à une conception du raisonnement mathématique valide, Le., de la validité de l'inférenee mathématique. Un « trou » dans une preuve mathématique peut ainsi être conçu comme un échec dans la production d'une inférence mathématique valide. L'objectif de cet article est d'évaluer deux conceptions de la validité de l'inférenee mathématique par rapport à leur capacité à fournir une explication plausible des notions intuitives de « trou » présentes dans la pratique mathématique. La première conception est issue des standards contemporains de la rigueur mathématique : une inférence mathématique est valide si, et seulement si, sa conclusion peut être dérivée formellement à partir de ses prémisses. Nous montrerons que cette conception ne peut fournir une explication plausible des notions intuitives de « trou » dans les preuves mathématiques. La seconde conception est issue d'une nouvelle approche de la validité de l'inférenee proposée par Prawitz : une inférence est valide si, et seulement si, elle consiste en une opération produisant une justification pour sa conclusion à partir de justifications pour ses prémisses. Nous adapterons tout d'abord cette conception à l'inférenee mathématique et nous montrerons alors qu'elle est en mesure d'accommoder différentes notions intuitives de « trou » à travers différents types d'échecs dans la production d'inférences mathématiques valides. Nous conclurons en soulignant l'intérêt de cette conception pour la philosophie de la pratique mathématique, et nous relèverons un certain nombre de défis confrontant le développement d'une telle approche des notions de rigueur mathématique, de « trou » et de validité de l'inférenee mathématique. |
|---|