La descente infinie, l’induction transfinie et le tiers exclu

Cet article propose que l’équivalence postulée entre la descente infinie et l’induction transfinie dans les fondements de l’arithmétique fait intervenir le principe du tiers exclu par la double négation sur l’ensemble infini des nombres naturels et ne saurait donc être admissible du point de vue de la logique et des mathématiques intuitionnistes. Si, par ailleurs, on adopte le point de vue de la logique classique, les principes de l’induction complète, de l’induction transfinie, du plus petit nombre et de la descente infinie sont tous équivalents; pourtant, la descente infinie en jeu dans l’arithmétique ensembliste de Dedekind-Peano ne correspond pas à la descente infinie de Fermat en théorie des nombres et en arithmétique classique de Gauss jusqu’à nos jours. C’est là le point d’ancrage d’une critique fondationnelle qui cherche à mieux définir les options philosophiques dans les fondements de la logique et des mathématiques

Humanities · Historical and Literary Studies · History and Theory of Mathematics · Mathematics · Philosophy · Philosophy, Science, and History

• Enlightenment, reason and universalism

  Open Access•Kenneth R Westphal•Studies in East European Thought•2016

  Incluir item

• Rational Justification and Mutual Recognition in Substantive Domains

  Open Access•Kenneth R Westphal•Dialogue•2014

  Incluir item