Пару лет я слежу за днями рождений ключевых (и заодно не очень ключевых) людей в области информационных технологий и computer science. 2 ноября — самый концентрированный день «моего ит-календаря» — аж 6 именинников: ирландец, индус, украинец, двое русских и «американец». 83,(3)% из них люди.



Let the Happy Birthday post begin.

Джордж Буль, 1815

«Чистая математика была открыта Булем в работе, которую он назвал „Законы мышления“.»
— Бертран Рассел


Отец-основатель математической логики и computer science. В его честь назвали тип переменной Boolean в программировании. В прошлом году отмечал 200-летие.

На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» и «Трактат о конечных разностях». Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

«An Investigation of the Laws of Thought»

Сергей Лебедев, 1902

Основоположник вычислительной техники в СССР. Под его руководством была разработана первая в СССР и континентальной Европе Малая электронно-счётная машина (МЭСМ).


Под его руководством были созданы 15 типов ЭВМ, начиная с ламповых (БЭСМ-1, БЭСМ-2, М-20) и заканчивая современными суперкомпьютерами на интегральных схемах.

Леонид Левин, 1948

Заслужил медаль Колмогорова и премию Кнута.

Независимо от Стивена Кука доказал в 1971 году теорему Кука — Левина, благодаря которой была сформулирована проблема равенства классов P и NP, ставшая одной из задач тысячелетия.

Теорема Кука — Левина утверждает, что задача о выполнимости булевой формулы в КНФ (SAT) является NP-полной.

Читать еще

• Премия Кнута 2012 присуждена Леониду Левину
• Интервью с Леонидом Левиным (о Колмогорове, колмогоровской сложности и др.)
  
• Премия по информатике для выходца из СССР
• Л. А. Левин: Универсальные задачи перебора

Крис Касперски (Николай Лихачёв), 1976

Легендарный и противоречивый персонаж. Суровый хакерский характер был закален в лихих 80-90х. Начинал с фидо и «разборок» с «настоящим» Касперским. С 2008 года живёт и работает (в McAfee) в США.

На 2008 год издал 16 книг по защите информации и оптимизации программ, компьютерным вирусам и дизассемблированию. Также среди книг — «Энциклопедия примет погоды».




Любил цитировать Дюну.

Кстати о червях.

Червь Морриса, 1988

Это был первый вирус, получивший значительное внимание в средствах массовой информации.
Он также привёл к первой судимости в США по Computer Fraud and Abuse Act 1986 года.

Trishneet Arora, 1993

Индийский «Митник», молодой хакер-индус, плодовитый на книги, защищает правительство, полицию и бюро расследований Индии.



Hacking TALK with Trishneet Arora, The Hacking Era, Hacking With Smart Phones


С днем рождения, мужики!

Поддержка публикации — компания Edison, которая разрабатывает САПР электроэнергетических систем, а так же помогает исследовательскому институту с реализацией программного модуля, содержащего математический алгоритм нейронной сети для распознавания изображений.