9 décembre 2013
Grace Murray Hopper (9 décembre 1906 - 1er janvier 1992) était une informaticienne et amiral de la marine américaine. Elle est la conceptrice du premier compilateur en 1951 (A-0 System) et du (…)
9 décembre 2013
Windows 2, sorti le 1er novembre 1987, a été la deuxième version de Windows et la deuxième tentative de la part de Microsoft de créer, suite à l’échec de Windows 1.0, une interface graphique pour (…)
7 décembre 2013
Leopold Kronecker est un mathématicien et logicien allemand. Persuadé que l’arithmétique et l’analyse doivent être fondées sur les « nombres entiers », il est célèbre pour la citation suivante : (…)
7 décembre 2013
Le travail de Chomsky sur la syntaxe des langages naturels a influencé les tout premiers travaux sur les langages de programmation.
Noam Chomsky, né Avram Noam Chomsky le 7 décembre 1928 à (…)
6 décembre 2013
Boutroux est surtout connu pour ses travaux sur l’histoire et la philosophie des mathématiques. Il occupe la chaire de mathématiques à l’Université de Princeton de 1913 à 1914 et il est titulaire (…)
6 décembre 2013
John Barkley Rosser Sr. (December 6, 1907 – September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem, in lambda calculus. He (…)
5 décembre 2013
Al-Kachi ou Al-Kashi (« le natif de Kashan »), de son nom complet Ghiyath ad-Din Jamshid Masud al-Kashi (ghiyâth ad-dîn : « secours de la religion », masûd : « heureux », ĵamšid : « Yama le (…)
5 décembre 2013
Le mathématicien américain Elbert Frank Cox est né le 5 décembre 1895.
Il est connu pour être la première personne noire à avoir obtenu, en 1925, un doctorat de Mathématiques ; on peut le (…)
5 décembre 2013
Paul Painlevé, né le 5 décembre 1863 à Paris 15e et mort le 29 octobre 1933 à Paris, est un mathématicien et homme politique français.
Spécialiste de l’aéronautique, membre puis président de (…)
5 décembre 2013
Konrad Zuse termine la fabrication de l’ordinateur Z3, le premier calculateur numérique électromécanique controlé par programmation. Le Z3 est la suite du Z1 - le premier calculateur numérique (…)