UltrafinitismeEn philosophie des mathématiques, l'ultrafinitisme, (aussi connu sous le nom d'ultraintuitionnisme, finitisme strict, ou encore de finitisme fort) est une forme extrême de finitisme. Une caractéristique de l'ultrafinitisme est son objection à la totalité de certaines fonctions numériques jusqu'à y compris l'exponentiation. L'ultrafinitisme nie l'existence de l'ensemble infini des entiers naturels, car celui-ci ne pourra jamais être complété.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
Hilbert's second problemIn mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that the arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in , which include a second order completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative solution to the problem, while others consider Gentzen's proof as a partial positive solution.
Infini potentielL'infini potentiel est un dont le modèle le plus simple est l'infinité de la série des entiers naturels : 0, 1, 2, 3, 4... Chaque terme de cette série est fini, mais à chaque étape on peut atteindre un nouvel entier en lui ajoutant 1, ceci indéfiniment. L'infini potentiel n'est donc jamais atteint et correspond à une limite potentielle et non achevée. Il s'oppose à l'infini en acte, qui considère l'infini comme une entité achevée comme l'est l'ensemble des entiers naturels.
Infinithumb|∞ : le symbole infini. Le mot « infini » (-e, -s) est un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille. Il vient du latin infīnītus, dérivé de fīnītus « limité » (avec in-, préfixe négatif), issu lui-même du verbe fīnĭo, fīnīre (« délimiter », mais aussi : « préciser », « déterminer », et intransitivement « finir »), et du nom fīnis (souvent au pluriel, fīnes : « bornes, limites d'un champ », « frontières d'un pays ») ; il signifie donc, littéralement « qui est sans borne », mais aussi « indéterminé » et « indéfini ».
Nombre transfinivignette|Le mathématicien George Cantor (1918). Les nombres transfinis sont des nombres exposés et étudiés par le mathématicien Georg Cantor. Se fondant sur ses résultats, il a introduit une sorte de hiérarchie dans l'infini, en développant la théorie des ensembles. Un nombre entier naturel peut être utilisé pour décrire la taille d'un ensemble fini, ou pour désigner la position d'un élément dans une suite. Ces deux utilisations correspondent aux notions de cardinal et d'ordinal respectivement.
Leopold KroneckerLeopold Kronecker ( - ) est un mathématicien et logicien allemand. Persuadé que l'arithmétique et l'analyse doivent être fondées sur les « nombres entiers », il est célèbre pour la citation suivante : Cela met Kronecker en opposition avec certains développements mathématiques de Georg Cantor, l'un de ses étudiants. Le point de vue de Kronecker sera repris par Hermann Weyl au siècle suivant. En 1845, à l'université de Berlin, Kronecker écrit sa dissertation sur la théorie des nombres, en donnant une formulation spéciale aux unités dans certains corps de nombres.
Primitive recursive arithmeticPrimitive recursive arithmetic (PRA) is a quantifier-free formalization of the natural numbers. It was first proposed by Norwegian mathematician , as a formalization of his finitistic conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitistic. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε0, which is the proof-theoretic ordinal of Peano arithmetic.
Paradoxe de Burali-FortiEn mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante). Dit brièvement, il énonce que, comme on peut définir la borne supérieure d'un ensemble d'ordinaux, si l'ensemble de tous les ordinaux existe, on peut définir un ordinal supérieur strictement à tous les ordinaux, d'où une contradiction.
Georg CantorGeorg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand). Il est connu pour être le créateur de la théorie des ensembles. Il établit l'importance de la bijection entre les ensembles, définit les ensembles infinis et les ensembles bien ordonnés. Il prouva également que les nombres réels sont « plus nombreux » que les entiers naturels. En fait, le théorème de Cantor implique l'existence d'une « infinité d'infinis ».
