Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07141.jsonl.gz/264

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.Aperçu
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.Histoire
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
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.