Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Finitisme
Résumé
Le finitisme est une philosophie des mathématiques qui ne prend en considération que les objets mathématiques finis. On peut faire la comparaison avec la philosophie des mathématiques traditionnelle où les objets mathématiques infinis (par exemple, ensembles infinis) sont aussi légitimes que les autres.
L'idée principale des mathématiques finitistes est le fait de ne pas accepter l'existence d'objets infinis, tels que des ensembles infinis. Bien que tous les entiers naturels soient acceptés comme existants, l'ensemble de tous les entiers naturels n'est pas considéré comme objet mathématique. Par conséquent, la quantification sur des domaines infinis n'est pas considérée comme significative. La théorie mathématique souvent associée au finitisme est l'arithmétique récursive primitive de Thoralf Skolem.
L'introduction d'objets mathématiques infinis est un développement qui a eu lieu il y a déjà quelques siècles. L'utilisation des objets infinis a été un sujet controversé parmi les mathématiciens. Ce problème s'est vu renouvelé lorsque Georg Cantor, à partir de 1874, a introduit ce que l'on appelle la théorie naïve des ensembles, et l'a utilisée comme base pour son travail sur les nombres transfinis. Lorsque des paradoxes comme le paradoxe de Russell, le paradoxe de Berry et le paradoxe de Burali-Forti ont été découverts dans la théorie naïve des ensembles de Cantor, la question est devenue un sujet d'actualité parmi les mathématiciens.
Les mathématiciens ont pris diverses positions. Tous étaient d'accord sur des objets mathématiques finis tels que des entiers naturels. Cependant, il y avait des désaccords concernant l’existence d'objets mathématiques infinis. Une position sur ce point était celle des mathématiques intuitionnistes, avec comme précurseur L. E. J. Brouwer, qui ont rejeté l'existence d'objets infinis à moins qu'ils soient construits.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.