La construction des grands nombres.

Un projet

Au-delà du plaisir du gigantisme, s'interroger sur l'accès aux nombres les plus grands possibles conduit à questionner bon nombre de concepts fondamentaux importants. C'est une réflexion nettement plus profonde qu'il n'y parait de prime abord. Il s'agit d'observer notre capacité à produire du sens, et particulièrement comment atteindre un sens complexe et efficace.

Le contenu

Les chapitres : La répétition, L'efficacité conceptuelle, L'échelle des opérations, Les nombres de Goodstein, Idées d'optimisation, Proposition de croissance, Le cadre d'expression des nombres, Empilement ou dépilement, Comparaison des croissance, Réflexion sur les ordinaux, Recherche d'exhaustivité.

Le livre

Démesure des grands nombres
Au format PDF
Année: 2016
Taille: 52 pages

Commentaire sur cette page

Nom, alias :

Une fonction d'arrêt constructive

Le projet

Le théorème de l'arrêt de Allan Turing annonce l'impossibilité de construire un algorithme qui sait déterminer quels algorithmes s'arrêtent ou non. Le cadre des machines de Turing est aproprié pour traiter cette question parce qu'il simplifie la notion de calcul et d'algorithme jusqu'à son expression la plus simple. C'est pourtant dans ce cadre que je propose de construire...

[...la suite ]