Des maths à part

Boole et Bill

Salut,
Dans le cabinet de curiosité mathématique, on trouve l’ultrafinitisme

df

Les ultrafinitistes ne connaissent pas les joies du réalisme modal. En cédant aux sirènes du finitisme, ils ont rejeté l'infini !
Bon sinon, l'ultrafinitisme, ça ressemble à du complotisme: l'ensemble $\mathbb{N}$ n'existe pas, les nombres trop grands non plus, les carrés sont des triangles et tous les triangles sont plats. Et puis quoi encore ? Le théorème de Fermat n'a jamais été démontré (c'était un rideau de fumée crée par les Pythagoriciens).
...

Foys

Un ultrafinitiste au fond, c'est quelqu'un qui, lorsque vous lui demandez si 0 existe, répond oui instantanément. Puis vous lui demandez si 1 existe, il vous répond oui au bout d'une seconde. vous lui demandez si 1000 existe, il vous répond oui au bout de 16 minutes. Vous lui demandez si 10 millions existent, il vous répond oui au bout de plusieurs mois, etc
Edward Nelson, l'inventeur génial de la théorie des ensembles internes (l'analyse non standarde axiomatique) était ultra finitiste. A méditer...