| Titre : | L'infini est-il nécessaire ? L'infini et l'univers des algorithmes (2000) |
| Auteurs : | Patrick Dehornoy, Auteur ; Gilles Dowek, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science (278, 12/2000) |
| Article en page(s) : | p.102-111 : |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Algorithme [UNESCO] Arithmétique |
| Mots-clés : | infini/théorie scientifique/mathématique : science/nombre |
| Résumé : | 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 longtemps. Définition d'un algorithme. |
| Nature du document : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 27649 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |