Saeb Elamami

Mathématiques philosophiques et abduction

de la découverte sur les brouillons à la validation formelle et la rédaction

• Broschiertes Buch

Produktbeschreibung

L'hypothèse de ce travail consiste à dire qu'il y a des "mathématiques philosophiques". L'idée qui sera défendue est que certaines pratiques des mathématiques fondamentales (comme le forcing, la recherche d'axiomes pour résoudre CH, les mathématiques inverses) et non fondamentales (algèbre, analyse, topologie et théorie des nombres) incorporent une dimension philosophique à travers l'usage de méthodes abductives, structurées par trois perspectives héritées de l'histoire de la philosophie : socratique (questionnement), aristotélicienne (recherche des principes premiers) et kantienne (exigence de sens). L'exemple central de ces méthodes reste le forcing, où la construction du modèle M[G] satisfaisant ¬CH s'appuie sur un raisonnement abductif préalable (recherche des hypothèses à injecter) qui relève des trois perspectives philosophiques citées. Mais, outre l'exemple technique du forcing comme cas paradigmatique où la triade philosophique est opérante, la réflexion sera étendue au-delà des mathématiques formelles (des fondements) vers les mathématiques ' habituelles ', montrant ainsi l'universalité de cette recherche.

Produktdetails

• Verlag: Omniscriptum; Éditions Universitaires Européennes
• Seitenzahl: 276
• Erscheinungstermin: 28. November 2025
• Französisch
• Abmessung: 220mm x 150mm x 17mm
• Gewicht: 429g
• ISBN-13: 9786209276712
• ISBN-10: 6209276717
• Artikelnr.: 76220222

Autorenporträt

Dr. Saeb Elamami est chercheur post-doctoral en logique et philosophie des mathématiques. Il est titulaire d'une maîtrise en mathématiques, d'une licence en philosophie, d'un mastère en fondements des mathématiques et d'une thèse de doctorat en ' logique et philosophie des mathématiques '. Il est aussi doctorant en Didactique des Mathématiques.