Великие информатики

Чарльз Бэббидж

(26 декабря 1791 – 18 октября 1871)

Британский математик и изобретатель, автор трудов по теории функций, механизации счета в экономике; иностранный член-корреспондент Петербургской АН (1832). В 1833 разработал проект универсальной цифровой вычислительной машины — прообраза ЭВМ. Бэббидж предусмотрел возможность вводить в машину инструкции при помощи перфокарт. Однако и эта машина не была закончена, поскольку низкий уровень технологий того времени стал главным препятствием на пути ее создания. Чарльза Бэббиджа часто называют «отцом компьютера» за изобретенную им аналитическую машину, хотя ее прототип был создан через много лет после его смерти.


Лавлейс Августа Ада

(10 декабря 1815 — 29 ноября 1852)

А.Лавлейс разработала первые программы для аналитической машины Баббеджа, заложив тем самым теоретические основы программирования. Она впервые ввела понятие цикла операции. В одном из примечаний высказала главную мысль о том, что аналитическая машина может решать такие задачи, которые из-за трудности вычислений практически невозможно решить вручную. Так впервые машина была рассмотрена не только как механизм, заменяющий человека, но и как устройство, способное выполнять работу, превышающую возможности человека. Хотя аналитическая машина Баббеджа не была построена и программы Лавлейс никогда не отлаживались и не работали, однако ряд высказанных ею общих положений сохранили свое принципиальное значение и для современного программирования. В наши дни А.Лавлейс по праву называют первым программистом в мире.
 


Курт Гедель 
(1906-1978)

В 1931 году, всего через несколько лет после Юлиус Лилиенфельд запатентовал транзистор Курт Гедель (или " Goedel", а не " Godel') заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление. Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры доказательства теорем. Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.

АЛАН ТЬЮРИНГ 
(1912-1954)
Алан Матисон Тьюринг переформулировать Kurt Goedel s unprovability результаты в терминах машин Тьюринга (ТМС). Тесно связанные с ранее работа была проделана Тьюринга советник Алонсо церкви. TMs впоследствии стал наиболее широко используются абстрактные модели вычислений. Универсальный TMs может эмулировать любой другой ТМ, или любым другим известным компьютера.
Во время Второй мировой войны Тьюринг помог (с Welchman) расшифровать нацистской код. Некоторые источники говорят, что эта работа была решающей для победы над третьим Рейхом.
Позже Тьюринг предложил свой знаменитый тест оценки, является ли компьютер разумного (больше на Истории искусственного интеллекта). Информатика самых востребованных премия носит его имя: премию Тьюринга.

Никлаус Вирт (нем. Niklaus Wirth, род. 15 февраля 1934) — швейцарский учёный, специалист в области информатики, один из известнейших теоретиков в области разработки языков программирования. Ведущий разработчик языков Паскаль, Модула-2, Оберон, профессор компьютерных наук (ETH), Лауреат премии Тьюринга 1984 года.





 

Джон фон Нейман (von Neumann) (1903 -- 57) -- американский математик. Внес большой вклад в создание первых ЭВМ и разработку методов их применения.

Интерес фон Неймана к компьютерам в какой-то степени связан с его участием в сверхсекретном Манхэттенском проекте по созданию атомной бомбы, который разрабатывался в Лос-Аламосе, шт. Нью-Мексико.

Однако фон Нейман понимал, что компьютер -- это не больше, чем простой калькулятор, что -- по крайней мере потенциально -- он представляет собой универсальный инструмент для научных исследований.

Уже в подростковом возрасте начал конструировать. Он делал модели самолетов и радиоприборы, создал радиоуправляемую лодку, соединил свой дом и дом друга телеграфной линией, сконструировал управляемую механическую мышь, способную находить выход из лабиринта.
 


Блез Паскаль - один из самых знаменитых людей в истории человечества.

Он вошел в историю как выдающийся математик, физик, филосов, писатель, который к тому же верил в чудеса.

Будучи совсем юным (~1643 г.) Паскаль создал механическое устройство - суммирующую машину (ее называют Паскалиной), которая позволяла складывать числа в десятичной системе счисления.

 


Дейкстра Эдсгер Вайб 
(11 мая 1930 - 6 августа 2002)

Выдающийся специалист в области теоретического программирования, автор ряда книг, в том числе классической монографии "Дисциплина программирования". Вся его научная деятельность была посвящена разработке методов создания "правильных" программ, корректность которых может быть доказана формальными методами. Будучи одним из авторов концепции структурного программирования, Дийкстра проповедовал отказ от использования инструкции GOTO. В 1972 году его научные заслуги были отмечены премией Тьюринга. При вручении премии один из выступающих так охарактеризовал деятельность Дийкстры: "Это образец ученого, который программирует, не прикасаясь к компьютеру, и делает все возможное, чтобы его студенты поступали также и представляли информатику, как раздел математики".
 



Ершов Андрей Петрович
(19 апреля 1931 – 8 декабря 1988)

Выдающийся программист и математик, академик АН СССР, автор первой в мировой практике монографии по автоматизации программирования. Под руководством Ершова разрабатывались одни из первых отечественных программирующих программ («интегральные разработки» языка и системы программирования). Сформулировал ряд общих принципов программирования как нового и своеобразного вида научной деятельности, затронул аспект, который впоследствии будет назван дружественностью к пользователю, одним из первых в стране поставил задачу создания технологии программирования. Стал одним из создателей так называемой «школьной информатики» и признанным лидером отечественной школьной информатики, вошел в число ведущих мировых специалистов в этой области.
 


Билл Гейтс
(28 октября 1955)

Американский предприниматель и разработчик в области электронно-вычислительной техники, основатель ведущей компании в мире в области программного обеспечения Microsoft.
В 1980 Microsoft разработала операционную систему MS-DOS, ставшую к середине 1980-х годов основной операционной системой на американском рынке микрокомпьютеров. Затем Гейтс приступил к разработке прикладных программ — электронных таблиц Excel и текстового редактора Word, и к концу 1980-х годов Microsoft стала лидером и в этой области.
В 1986, выпустив акции компании в свободную продажу, Гейтс в возрасте 31 года стал миллиардером. В 1990 компания представила оболочку Windows 3.0, в которой вербальные команды были заменены на пиктограммы, выбираемые с помощью «мыши», что значительно облегчило пользование компьютером. К концу 1990-х годов около 90% всех персональных компьютеров в мире были оснащены программным обеспечением Microsoft. В 1997 Гейтс возглавил список самых богатых людей в мире.