- 1. De la mer d’Aral à Pise : le triomphe du calcul avec les chiffres indo-arabes
- 2. Algorithmes et théorie de la calculabilité : à l’ombre d’Alan Turing
- 3. Informatique et élargissement de la notion d’algorithme
- 4. Les algorithmes dans la pratique mathématique contemporaine
- 5. Toute procédure est-elle algorithmique ?
- 6. Les algorithmes aujourd’hui : des agents sociaux et culturels ?
- 7. Bibliographie
ALGORITHME
Bibliographie
J.-L. Chabert dir., Histoire d’algorithmes. Du caillou à la puce, Belin, Paris, 1994, nouv. éd. 2010
A. Church, « An unsolvable problem of elementary number theory », in American Journal of Mathematics, vol. 58, no 2, pp. 345-363, 1936, trad.fr. P. Wagner, in J. Mosconi et M. Bourdeau éd., Anthologie de la calculabilité, pp. 260-284, Cassini, Paris, 2022 ; « Review of “On computable numbers, with an application of the Entscheidungsproblem” by A. M. Turing », in The Journal of Symbolic Logic, vol. 2, no 1, pp. 42-43, 1937
Y. Gurevich, « Sequential abstract-state machines capture sequential algorithms », in ACM Transactions on Computational Logic, vol. 1, no 1, pp. 77-111, 2000
D. E. Knuth, The Art of Computer Programming. Fundamental Algorithms, vol. 1, 3e éd., Addison Wesley, Reading (Mass.), 1997
A. N. Kolmogorov & V. A. Uspensky, « Kopredeleniyu algoritma », in Uspekhi Mathematicheskikh Nauk, vol. 13, no 4-82, pp. 3-28, 1958 ; trad. fr. A. Rodin et L. Mazliak in J. Mosconi & M. Bourdeau éd., op. cit., pp. 627-655, Cassini, Paris, 2022
Y. N. Moschovakis, « On founding the theory of algorithms », in H. G. Dales et G. Oliveri dir., Truth in Mathematics, pp. 71-104, Oxford University Press, 1998
F. P. Preparata & M. I. Shamos, Computational Geometry. An Introduction, SpringerVerlag, Berlin, 1985, 2e éd. 1988
A. M. Turing, « On computable numbers, with an application to the Entscheidungsproblem », in Proceedings of the London Mathematical Society, s. 2, vol. 42, pp. 230-265, 1936 ; trad. fr. M. Margenstern in J. Mosconi et M. Bourdeau éd., op. cit., pp. 337-384, Cassini, Paris, 2022.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Alberto NAIBO : docteur en philosophie, maître de conférences en logique à l'Institut d'histoire et de philosophie des sciences et des techniques, université Paris I-Panthéon Sorbonne
- Thomas SEILLER : docteur en mathématiques, université d'Aix-Marseille, chargé de recherche au CNRS
Classification
Médias
Illustration allégorique de l’arithmétique
Wellcome Collection ; CCO
Alan Turing
History/ Universal Images Group/ Getty Images
Max Mathews, Don Kruth, Steve Wozniak et Allan Alcorn
MediaNews Group/ Bay Area News/ Getty Images
Autres références
-
ALGORITHME DE TRANSFORMÉE DE FOURIER RAPIDE (J. W. Cooley et J. W. Tukey)
- Écrit par Bernard PIRE
- 348 mots
La publication en 1965, dans le journal Mathematics of Computation de la Société américaine de mathématiques (AMS), de l’« Algorithme de transformée de Fourier rapide » par les mathématiciens américains James William Cooley (1926-2016) et John Wilder Tuckey (1915-2000) révolutionne l’automatisation...
-
ALGORITHMIQUE
- Écrit par Philippe COLLARD et Philippe FLAJOLET
- 6 654 mots
- 3 médias
L'objet de l'algorithmique est la conception, l'évaluation et l'optimisation des méthodes de calcul en mathématiques et en informatique. Un algorithme consiste en la spécification d'un schéma de calcul, sous forme d'une suite d'opérations élémentaires obéissant à un enchaînement...
-
ALGORITHMIQUE MUSIQUE
- Écrit par Alain FÉRON
- 394 mots
- 1 média
Un algorithme est « une suite finie de règles à appliquer dans un ordre déterminé à un nombre fini de données pour arriver, sans indétermination, en un nombre fini d'étapes, à un certain résultat et cela indépendamment des données » (Michel Philippot). En mathématiques, l'algorithme d'Euclide (recherche...
-
APPRENTISSAGE PROFOND ou DEEP LEARNING
- Écrit par Jean-Gabriel GANASCIA
- 2 646 mots
- 1 média
En 1957, un psychologue américain, Frank Rosenblatt (1928-1971), met au point un algorithme d’apprentissage pour des réseaux de neurones formels à deux couches qu’il appelle des « perceptrons », car ils reproduisent selon lui les capacités de perception des rétines. - Afficher les 48 références
