|
Pasch and Klein on intuition and proof| old_uid | 8572 |
|---|
| title | Pasch and Klein on intuition and proof |
|---|
| start_date | 2010/04/14 |
|---|
| schedule | 14h |
|---|
| online | no |
|---|
| summary | Cette communication présente certains aspects des théories mathématiques de Moritz Pasch (1843-1930) et Felix Klein (1849-1925). Ayant tous deux contribué au développement de la géométrie, et partageant la conviction que les mathématiques doivent être fondées empiriquement, ils ne furent néanmoins pas d'accord quant au rôle joué par l'intuition au sein des preuves mathématiques. Pasch livra la première axiomatisation rigoureuse de la géométrie projective (1882), pavant ainsi la route du traité révolutionnaire d'Hilbert 'Fondements de Géométrie' (1899). Il exigea également que les diagrammes et autres appels à l'intuition ne jouent aucun rôle au sein des déductions. Klein, qui proposait un traitement unifié des géométries dans son fameux 'Erlangen Programm' (1872), est bien connu pour être l'un des défenseurs les plus acharnés de l'utilisation en mathématiques de l'intuition ainsi que des raisonnements basés sur les modèles. Le débat entre Pasch et Klein n'a reçu aucun traitement en histoire et philosophie des sciences jusqu'ici: ils discutèrent de leurs positions dans leur correspondance, et Klein fit l’examen de la position de Pasch dans des cours (1890, 1893) que Pasch commenta en 1912. Finalement, Klein ajouta quelques remarques conciliantes dans ses ‘Œuvres’ (1922). Cette communication présente ce débat entre Pasch et Klein dans le contexte de leurs styles de recherche.
Je m'efforcerai dans cet exposé de retracer l'histoire de la géométrie affine aussi bien chez les géomètres modernes que dans les programmes successifs de l'enseignement secondaire, puis je proposerai d'en discuter les aspects les plus significatifs, pour aboutir à une présentation de cette géométrie intimement liée à celle de l'espace projectif. Une discussion sur les outils analytiques de chacune de ces géométries sera indispensable pour une meilleure appréciation de leur unité. |
|---|
| responsibles | Serfati |
|---|
| |
|