Wilhelm Schickard

(1592 — 1635)

Компьютер история начинается в 1623 году, когда Wilhelm Schickard построен человечества, первый автоматический калькулятор.
Schickard игровая машина может выполнять базовые арифметические операции над целочисленными входы. Его письма Кеплер, открывший законы движения планет, объяснить применение его «расчет часов» для расчета астрономических таблиц.
Non — programmable Schickard машина была основана на традиционной десятичной системе счисления. Лейбниц впоследствии обнаружил более удобный двоичной системе (1679 г.), важным элементом первой в мире рабочей программы — контролируемым компьютером, из-за Zuse (1941).

Готфрид Вильгельм фон Лейбниц

(1646-1716)

Лейбниц, который иногда называют последний универсальный гений, изобрел, по крайней мере, две вещи, которые важны для современного мира: исчисление и двоичная арифметика на основе биты.Современные физики, математики, инженерии, было бы немыслимо без бывших: фундаментальный метод работы с бесконечно малыми числами. Лейбниц был первым, чтобы издать его. Он разработал его вокруг 1673. В 1679 году он усовершенствовал нотацию для интеграции и дифференциации, которые все еще используют сегодня.Двоичная арифметика на основе дуальной системы он изобретен около 1679 г., и опубликована в 1701 году. Это и стало основой практически всех современных

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

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

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

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

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

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

АЛАН ТЬЮРИНГ 

(1912-1954)

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

Курт Гедель 

(1906-1978)

В 1931 году, всего через несколько лет после Юлиус Лилиенфельд запатентовал транзистор Курт Гедель (или » Goedel», а не » Godel’) заложил основы теоретической информатики с его работы на универсальных формальных языков и лимиты на доказательство и вычисление. Он построен формальных систем, позволяющих самореферентную заявления, которые говорят о себе, в частности, о том, могут ли они быть получены из enumerable заданного набора аксиом с помощью вычислительной процедуры доказательства теорем. Гедель пошли дальше построить отчетности, которые утверждают, что их собственные unprovability, чтобы продемонстрировать, что традиционная математика либо недостатки в определенной алгоритмической смысле или содержит недоказуемые, но истинные утверждения.Неполноты Геделя результате широко рассматривается как наиболее замечательным достижением 20-го века математики, хотя некоторые математики говорят, что это логика, а не математика, и другие называют это фундаментальный результат теоретической информатики (переформулировать церкви & Post & Тьюринга вокруг 1936), дисциплина, которая еще не официально существование еще тогда, но был фактически создан через Геделя работы. Он имел огромное влияние не только на информатике, но и по философии и других областях.

Джон фон Нейман

(28.12.1903, Будапешт, — 8.2.1957, Вашингтон)

Американский математик, член Национальной АН США (1937). В 1926 окончил Будапештский университет. С 1927 преподавал в Берлинском университете, в 1930—33 — в Принстонском университете (США), с 1933 профессор Принстонского института перспективных исследований. С 1940 консультант различных армейских и морских учреждений (Н. принимал, в частности, участие в работах по созданию первой атомной бомбы). С 1954 член комиссии по атомной энергии.
Основные научные работы посвящены функциональному анализу и его приложениям к вопросам классической и квантовой механики. Н. принадлежат также исследования по математической логике и по теории топологических групп. В последние годы жизни занимался главным образом разработкой вопросов, связанных с теорией игр, теорией автоматов; внёс большой вклад в создание первых ЭВМ и разработку методов их применения.  Наиболее известен как человек, с именем которого связывают архитектуру большинства современных компьютеров (так называемая архитектура фон Неймана)

Конрад Цузе

(22 июня 1910, Берлин — 18 декабря 1995, Хюнфельд)

Немецкий инженер, пионер компьютеростроения. Наиболее известен как создатель первого действительно работающего программируемого компьютера (1941) и первого языка программирования высокого уровня (1945).
Занимался созданием программируемой счётной машины. 1935-1938: Konrad Zuse строит Z1, первый в мире программно-управляемый компьютер. Несмотря на ряд проблем машиностроения нем были все основные составляющие современных станках, с использованием двоичной системы счисления и сегодня стандартное разделение хранения и управления. Цузе в 1936 году заявки на патент (Z23139/GMD Nr. 005/021), также свидетельствует о фон Нейман архитектура (повторно изобретена в 1945 году) с программы и данные, изменяемые в процессе хранения.1941: Zuse завершает Z3, первый в мире полностью функциональный программируется с компьютера.1945: Zuse описывает Plankalkuel, первый в мире программирования высокого уровня язык, содержащий в себе множество стандартных функций современных языков программирования. FORTRAN пришел почти десять лет спустя. Цузе также используется Plankalkuel к проектированию первой в мире шахматной программы.1946: Zuse основывает первый в мире запуск компьютера компании: Zuse-Ingenieurbüro Хопферау. Венчурного капитала, привлеченного через ETH Zürich и IBM-вариант на Цузе патенты.Кроме вычислительных машин общего назначения, Цузе построил несколько специализированных вычислителей. Так, вычислители S1 и S2 использовались для определения точных размеров деталей в авиационной технике. Машина S2, помимо вычислителя, включала ещё и измерительные устройства для выполнения обмеров самолетов. Компьютер L1, так и оставшийся в виде экспериментального образца, предназначался Цузе для решения логических проблем.1967 : фирма Zuse KG поставила 251 компьютер, на сумму около 100 миллионов дойчмарок.

Кемени Джон (Янош) 

(31 мая 1926 — 26 декабря 1992)

Математик, профессор Дартмутского колледжа (США). Вместе с Томасом Курцем разработал язык программирования ВАSIС и сетевую систему пользования несколькими компьютерами одновременно («time sharing»). Вместе с родителями эмигрировал в США из Венгрии в 1940 году. Окончил Принстонский университет, где изучал математику и философию. В 1949 году защитил диссертацию, а в 1953 году был приглашен в Дартмут. Будучи деканом Математического факультета Дартмутского колледжа с 1955 по 1967 год и даже находясь на посту президента колледжа (1970-1981), не оставлял преподавательской деятельности. Явился одним из пионеров преподавания основ программирования: считал, что этот предмет должен быть доступен всем студентам, вне зависимости от их специализации.

Дейкстра Эдсгер Вайб 

(11 мая 1930 — 6 августа 2002)

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

Источник: https://www.sites.google.com/site/uvarovaap/znamenitye-i-velikie-informatiki-i-programmisty