Kurnos a écrit :
Oui, dans ce cas je comprend "le génie de savoir répondre à un besoin" , le génie de la stratégie industrielle, qui n'est pas le génie de l'informatique comme d'autres :
j'approuve totalement, MSDOS est techniquement un système d'exploitation simplifié. Il en a existé plein d'autres et de plus évolués : Atari, Macintosh, ... Le génie a été de le distribuer très largement "à perte" alors que les concurrents essayer de contrôler la qualité du matériel.
Kurnos a écrit :
Alan Mathison Turing (23 juin 1912 - 7 juin 1954) est un mathématicien britannique, auteur de l'article fondateur de la science informatique qui allait donner le coup d'envoi à la création des calculateurs universels programmables (ordinateurs). Il y présente sa machine de Turing, le premier calculateur universel programmable, et invente les concepts de programmation et de programme.http://fr.wikipedia.org/wiki/Alan_Turing Concernant le programme (qui est la suite des instructions à accomplir) la première programatrice est Ada Lovelace en 1842 que crée des diagrammes pour la machine analytique de Charles Babbages.
L'apport essentiel de Turing est qu'il prouve théoriquement la "calculabité" : tous les problèmes de calcul peuvent être traités par une suite d'instructions élémentaires.
Les machines de Pascal ou de Babbage étaient intéressantes mais on ne connaissait pas leurs limites - hors mécanique.
À partir de Turing on peut se lancer dans le développement et l'amélioration de ce type de machines.
(je simplifie un peu)
Kurnos a écrit :
Kurt Gödel (28 avril 1906 - 14 janvier 1978) est un mathématicien et logicien austro-américain.
Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.http://fr.wikipedia.org/wiki/Kurt_G%C3%B6del Gödel est un logicien qui prouve qu'on ne peut pas créer de théorie qui justifierais toutes les théories. Son apport à l'informatique est en fait très indirect : il limite Turing au domaine du calcul, l'informatique ne peut pas traiter tous les problèmes. (c'est le théorème de l'incomplétude très simplifié appliqué à l'informatique)
D'autres travaux sur la logique, les ensembles, les fonctions récursives (qui se réutiilsent elles-mêmes) sont par contre indispensables à l'informatique moderne.