George Boole est un logicien, mathématicien et philosophe britannique. Il est le créateur de la logique moderne, fondée sur une structure algébrique et sémantique, que l'on appelle algèbre de Boole en son honneur. Il est donc à l'origine de la création des valeurs booléennes "true" et "false".

Biographie:

Né le 2 Novembre 1815 et mort le 8 décembre 1864, il est un logicien, mathématicien et philosophe britannique. Il est le créateur de l’algèbre de Boole. Il crée également une algèbre binaire, dite booléenne, n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre aura de nombreuses applications en téléphonie et en informatique. George Boole accorde très tôt beaucoup d’attention à l’arithmétique et à la résolution de problèmes de mesures. Il crée une école à Lincoln, au sein de laquelle il donne des cours d’arithmétiques, de sciences et de culture classique.

Il se rapproche de Edward Ffrench Bromhead, célèbre mathématicien d'origine irlandaise, ami de Charles Babbage et de George Peacock, spécialisé dans l'étude des méthodes analytiques. C'est à lui qu'il doit les premiers commentaires sur ses travaux mathématiques, qu'il juge valides et originaux.

Les controverses politiques et religieuses fréquentes, qui agitent la communauté universitaire de Cork, empoisonnent la vie de George Boole. En 1850, il fait la connaissance de Mary Everest qui, depuis son plus jeune âge, manifeste des dispositions pour les mathématiques.

Le 8 décembre 1864, il décède d’une pneumonie.

Ses travaux importants:

George Boole a inventé l’algèbre binaire. Il voulait traduire des concepts en formules, leur appliquer certaines lois et ensuite retraduire le résultat en termes logiques. Son algèbre n’accepte que deux valeurs numériques : 0 et 1. 1 désigne une proposition vraie, et 0 une proposition fausse.

L'une des plus grandes découvertes que George Boole réalise, en 1841, pendant l'élaboration de ses premiers travaux mathématiques, est celle des invariants algébriques.

Il crée ensuite une algèbre binaire, dite booléenne, n'acceptant que deux valeurs numériques : 0 et 1. Cette algèbre est définie par la donnée d'un ensemble E (non vide) muni de deux lois de composition interne (le ET et le OU).

Ses ouvrages:

• 1854 : An Investigation of the Laws of Thought : On Which Are Founded the Mathematical Theories of Logic and Probabilities. George Boole
• 1859 : A Treatise on Differential Equations.
• 1860 : A Treatise on the Calculus of Finite Differences.

Ada Lovelace est une pionnière des sciences informatiques. Elle est principalement connue pour avoir réalisé le premier véritable programme informatique, lors de son travail sur un ancêtre de l'ordinateur : la machine analytique de Charles Babbage. Dans ses notes, on trouve en effet le premier programme publié, destiné à être exécuté par une machine, ce qui fait d'Ada Lovelace la première programmeuse du monde.

Biographie:

Fille d'un poète britannique (lord Byron) et d'une amatrice de mathématiques (Anne Isabella Milbanke), Ada témoigne, comme sa mère, d'un grand intérêt pour les mathématiques. Elle fut la première programmatrice informatique, et a également entrevu certaines possibilités offertes par les calculateurs universels. En 1832, Ada rencontre Mary Somerville, éminente chercheuse et autrice scientifique du XIXe siècle, qui l'encourage et l'aide à progresser en mathématiques. Elle se marie en 1835 avec William King, 1er comte de Lovelace et ils ont trois enfants. William était dévoué à Ada et encourageait les goûts et les activités d'Ada en mathématiques.

La santé fragile d'Ada, mise à l'épreuve par les grossesses, ainsi que ses responsabilités de mère et de maîtresse de maison, la tiennent écartée de ses activités mathématiques jusqu'en 1839. À cette date, elle éprouve le besoin de reprendre l'étude des mathématiques et demande à Babbage de lui recommander un tuteur : le célèbre mathématicien Auguste De Morgan accepte cette charge. Les études d'Ada reprennent, et De Morgan trouve en Ada une élève enthousiaste et créative. Ada prend confiance dans ses capacités en mathématiques, encouragée par les retours positifs de De Morgan. Dans l’espoir de subventionner les projets de Babbage, qui n'avaient pas obtenu de financement du gouvernement britannique, Ada Lovelace se mit à jouer et accumula les dettes.

Elle mourut à l'âge de 36 ans d'un cancer de l'utérus.

Travaux majeurs:

En 1842, elle publie entre autres une note consacrée à la rédaction d’un algorithme très détaillé (le calcul des nombres de Bernoulli), et qui est considéré comme le premier véritable programme informatique. Ce programme comporte également la première boucle conditionnelle.

Le saviez-vous?:

En 1980 a été créé le langage Ada en son honneur. Il s’agit d’un langage de programmation orientée objet.

Le film Enchantress of numbers retrace sa vie.

Grace Hopper est la créatrice du langage Cobol et la conceptrice du premier compilateur en 1951. Elle fut également l’une des nombreuses femmes qui s’engagea dans l’armée américaine durant la seconde guerre mondiale, dans l’unité uniquement féminine WAVES (Women Accepted for Volunteer Emergency Service). Ces femmes étaient appelés les « ordinateurs humains » et étaient en charge, pendant que les hommes étaient au front, d’étudier en particulier des trajectoires balistiques.

Biographie:

Grace Hopper étudie les mathématiques, la physique et l'économie au Vassar College, et en sort diplômée en 1928. En 1934, elle obtient un doctorat en mathématiques de l'université Yale. La jeune femme enseigne les mathématiques au Vassar College entre 1931 et 1944. Elle épouse en 1930 Vincent Hopper, un professeur de littérature, mais ils divorcent en 1945. Jusqu'à son décès en 1992, elle est employée comme consultante externe par Digital Equipment, pour des conférences sur les débuts de l'informatique. Elle est enterrée avec les honneurs militaires au cimetière national d'Arlington.

Travaux majeurs:

En 1943, lorsqu’elle s’engage dans l’armée, Grace Hopper est affectée à Harvard comme lieutenant pour y programmer l’ordinateur Mark 1. Le Mark 1 est un calculateur générique, programmable par cartes perforées. Grace Hopper s’attèle à la programmation de cette machine dont les résultats seront très importants dans ce contexte de guerre.

En 1950, elle crée le premier compilateur. Grace Hopper décide alors de nommer le processus d’écrire des instructions, le codage (coding). En 1955, elle invente le langage FLOW-MATIC aussi appelé B-0 (Business Language Version 0) pour l'UNIVAC I. À partir de 1957, elle travaille pour IBM, où elle défend l'idée qu'un programme devrait pouvoir être écrit dans un langage proche de l'anglais plutôt que d'être calqué sur le langage machine, comme l'assembleur. De cette idée naît le langage Cobol en 1959.

En 1986, Grace Hopper est décorée de la Defense Distinguished Service Medal, plus haute distinction existante pour les non-combattants. En 1991, elle reçoit la National Medal of Technology pour « ses contributions novatrices dans le développement de langages de programmation ». En 1983, elle est lauréate du prix Ada-Lovelace. Elle est inscrite au National Women's Hall of Fame en 1994. Le 22 novembre 2016, Barack Obama lui décerne à titre posthume la médaille présidentielle de la Liberté.

Le saviez-vous?

Grace Hopper écrit le livre « Understanding Computers »

Alan Turing est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique. Pendant la Seconde Guerre mondiale, Turing contribue à l'effort allié, au sein du service britannique du chiffre, en mettant au point des machines et des méthodes qui lui permettent de percer les codes secrets de la machine Enigma utilisée par la marine allemande pour communiquer avec ses sous-marins.

Biographie:

Très tôt, le jeune Alan montre les signes de son génie. On raconte qu'il apprit seul à lire en trois semaines. De même, il montra une affinité précoce pour les chiffres et les énigmes.

Après la guerre, il travaille sur un des tout premiers ordinateurs, puis contribue au débat sur la possibilité de l'intelligence artificielle, en proposant le test de Turing. Vers la fin de sa vie, il s'intéresse à des modèles de morphogenèse du vivant conduisant aux « structures de Turing».

Poursuivi en justice en 1952 pour homosexualité, il choisit, pour éviter la prison, la castration chimique par prise d'œstrogènes. Il est retrouvé mort par empoisonnement au cyanure le 8 juin 1954 dans la chambre de sa maison à Wilmslow. La reine Élisabeth II le reconnaît comme héros de guerre et lui accorde une grâce royale à titre posthume en 2013.

Travaux majeurs:

Après la guerre, Alan Turing peut enfin se consacrer à la matérialisation de la machine idéale conçue dans son article de 1936 sur “le Problème de la décision” posé par David Hilbert. Il s’agit de déterminer si un théorème peut être validé par une procédure qui est mécanique et automatique.

Il crée ensuite ce qu’il appelle « la machine de Turing ». Cette machine de Turing, qui n’existe alors que sur papier, est ainsi une machine à calculer, soit un computer. Cette application visionnaire sera la base du développement informatique et du fonctionnement par algorithme.

Au lendemain de la guerre, Alan Turing, entre au Laboratoire national de physique de Londres, où il rédige en trois mois le projet de construction d’un prototype d’Automatic Computing Engine (ACE).

Mais alors que ces idées de jeunesse (il a conçu sa machine à 24 ans) se concrétisent enfin, Alan Turing se désintéresse de l’informatique. Son ambition se tourne alors vers un projet encore plus révolutionnaire. Il veut construire un équivalent du cerveau capable de penser et prêter une intelligence à des machines.

En octobre 1950, Alan Turing publie l’article “L’ordinateur et l’intelligence” dans la revue philosophique Mind. Cet article, ainsi que les notes d’Ada Lovelace, sont aujourd’hui considérés comme posant les bases de l’intelligence artificielle. Le texte s’ouvre sur le jeu de l’imitation, dans lequel le chercheur imagine le moyen pour une machine de se faire passer pour un être humain.

C’est ce qu’on appellera plus tard, le test de Turing. Il consiste à mettre un humain en face d’un autre humain et d’un ordinateur avec lesquels il échange à l’aveugle, via des messages textuels. Si le testeur n’est pas capable de dire lequel de ses interlocuteurs est un ordinateur, on peut considérer que l’ordinateur a passé avec succès le test.

A propos de lui: