Kurt Gödel c'est uniquement un mathématicien, je te l'accorde, mais c'est lui qui a permis de répondre "non" à la question "est-il possible de faire un programme d'ordinateur qui démontre toutes les mathématiques à partir de quelques axiomes ?"
Alonzo Church a créé le lambda calcul, qui a donné des langages de programmation comme LISP, Scheme ou ML.
Alan Turing a plus ou moins inventé les ordinateurs, et créé un cadre scientifique permettant de déterminer ce qu'on peut faire avec et ce qu'on ne peut pas faire.
John von Neumann a fait trop de choses pour que je m'amuse à les citer, mais en particulier il a bossé sur les automates.
Donald Knuth est le maître incontesté de l'analyse d'algorithmes, l'auteur de "The Art of Computer Programming", le créateur de TeX...
Edsger Dijsktra a inventé les sémaphores, a travaillé sur les preuves de programmes, a découvert un des algorithmes les plus célèbres du monde, qui permet de trouver le plus court chemin entre deux sommets d'un graphe.
D'un autre côté, je soupçonne que pour toi l'informatique se restreint uniquement à l'action d'écrire du code, et pas au fait de réfléchir à la manière dont on résoud des problèmes. Dans ce cas, je doute de pouvoir te convaincre.
[^] # Re: .
Posté par Yusei (Mastodon) . En réponse au journal Les informaticiens précoces. Évalué à 5.
Kurt Gödel c'est uniquement un mathématicien, je te l'accorde, mais c'est lui qui a permis de répondre "non" à la question "est-il possible de faire un programme d'ordinateur qui démontre toutes les mathématiques à partir de quelques axiomes ?"
Alonzo Church a créé le lambda calcul, qui a donné des langages de programmation comme LISP, Scheme ou ML.
Alan Turing a plus ou moins inventé les ordinateurs, et créé un cadre scientifique permettant de déterminer ce qu'on peut faire avec et ce qu'on ne peut pas faire.
John von Neumann a fait trop de choses pour que je m'amuse à les citer, mais en particulier il a bossé sur les automates.
Donald Knuth est le maître incontesté de l'analyse d'algorithmes, l'auteur de "The Art of Computer Programming", le créateur de TeX...
Edsger Dijsktra a inventé les sémaphores, a travaillé sur les preuves de programmes, a découvert un des algorithmes les plus célèbres du monde, qui permet de trouver le plus court chemin entre deux sommets d'un graphe.
D'un autre côté, je soupçonne que pour toi l'informatique se restreint uniquement à l'action d'écrire du code, et pas au fait de réfléchir à la manière dont on résoud des problèmes. Dans ce cas, je doute de pouvoir te convaincre.