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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $20. ThriftBooks.com. Read more. Spend less.