La rigueur et l'esthétique cognitive dans le raisonnement mathématique - Université de Lorraine Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

La rigueur et l'esthétique cognitive dans le raisonnement mathématique

Résumé

Résumé. La preuve déductive donne une justification d’une hypothèse mathématique, mais elle est souvent insuffisante pour comprendre le théorème. Pour rendre justice au caractère épistémique du raisonnement mathématique, différents critères ont été proposés : ils procèdent souvent par restriction des moyens mathématiques ou logiques utilisés dans les preuves (intuitionisme, prédicativisme, finitisme) et conduisent ainsi à une position révisionniste. Y-a-t-il la place pour un critère non-logique et non mathématique de rigueur en mathématiques ? En interprétant la pensée de Poincaré à la lumière de Peirce, on se propose de reconnaître dans le raisonnement mathématique de Poincaré un caractère esthétique — au sens goodmanien du terme — qui pourrait satisfaire à l'exigence en question. Nous appliquons le résultat obtenu à la preuve de l’irrationalité de .
Fichier non déposé

Dates et versions

hal-02974177 , version 1 (21-10-2020)

Identifiants

  • HAL Id : hal-02974177 , version 1

Citer

Gerhard Heinzmann. La rigueur et l'esthétique cognitive dans le raisonnement mathématique. G. Longo, Th. Paul. La rigueur en mathématique, philosophie et musique, Spartacus-IDH, A paraître. ⟨hal-02974177⟩
46 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More