Résumé
La formalisation des mécanismes viraux utilise essentiellement la notion de machine de Turing. Cela n’est pas étonnant puisque les virus informatiques ne sont en fait que des programmes, certes particuliers, et que la formalisation de l’informatique a débuté avec les travaux d’Alan Turing en 1936 [218].
L’art de la pédagogie est fait d’humilité et non de fatuité: le but de tout enseignement n’est pas que le professeur, par un discours inutilement compliqué et pédant, paraisse intelligent, mais que ses élèves en aient vaincu les moindres difficultés et en ressortent grandis. Emile Gabauriaud-Pagès L’art d’enseigner aux autres (1919)
En fait, les années 1930 ont connu une intense production de résultats dans ce domaine. La formulation de Turing a été redéfinie, indépendamment et de manière différente quoique équivalente, par plusieurs auteurs, notamment Church [49], Kleene [146], Markov [170] et Post [184].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2009 Springer-Verlag France
About this chapter
Cite this chapter
(2009). Les bases de la formalisation: de Turing à von Neumann (1936–1967). In: Les virus informatiques: théorie, pratique et applications. Collection IRIS. Springer, Paris. https://doi.org/10.1007/978-2-287-98240-8_2
Download citation
DOI: https://doi.org/10.1007/978-2-287-98240-8_2
Publisher Name: Springer, Paris
Print ISBN: 978-2-287-98199-9
Online ISBN: 978-2-287-98240-8