La rigueur et l'esthétique cognitive dans le raisonnement mathématique - Archive ouverte HAL Access content directly
Book Section Year : 2020

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

(1)
1

Abstract

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 .
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02974177 , version 1

Cite

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⟩
35 View
1 Download

Share

Gmail Facebook Twitter LinkedIn More