Détail de l'auteur
Documents disponibles écrits par cet auteur (2)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
Article : texte imprimé
Patrick Dehornoy, Auteur ; Gilles Dowek, Auteur |Pour démontrer le théorème de Goodstein qui expose la dilatation des entiers, il faut admettre le concept d'infini. De même, pour permettre l'expression de tous les algorithmes, il faut introduire la possibilité que les calculs durent infiniment[...]
Article : texte imprimé
Patrick Dehornoy, Auteur |Il existe des ensembles hyperinfinis que démontrent le théorème de Laver et les propriétés des tresses.
