Из Википедии, бесплатной энциклопедии
  (Перенаправлено с Computer pioneer )
Перейти к навигации Перейти к поиску

В этой статье представлен список людей, совершивших революционный прорыв в создании, разработке и представлении того, что могут делать компьютеры .

Пионеры [ править ]

Чтобы расположить список в хронологическом порядке, щелкните маленький значок «вверх-вниз» в столбце «Дата». Столбец "Человек" также можно отсортировать по алфавиту, вверх-вниз.

Дата достижения		ЧеловекДостижение
830 ~Аль-ХорезмиТермин « алгоритм » происходит от алгоритма , техника выполнения арифметического с индо-арабскими цифрами популяризированных аль-Хорезм в своей книге Об исчисления с индуистскими цифрами . [1] [2] [3]
1944 г.Эйкен, ХовардЗадуманный и codesigned в Harvard Mark I .
1970, 1989Аллен, Фрэнсис Э.Разработал нотацию битовых векторов и программные графы потока управления . В 1989 году стала первой женщиной- научным сотрудником IBM. В 2006 году она стала первой женщиной, получившей премию Тьюринга ACM .
1939 г.Атанасов, ДжонСоздал первый электронный цифровой компьютер, компьютер Атанасова-Берри , хотя он не был ни программируемым, ни полным по Тьюрингу .
1822, 1837Бэббидж, ЧарльзВозникла концепция программируемого компьютера общего назначения. Разработал аналитическую машину и построил прототип менее мощного механического вычислителя .
1954, 1963 гг.Бэкус, ДжонВо главе команды , которая создала FORTRAN ( Для мула Tran slation), первый практический язык программирования высокого уровня, и он сформулировал Backus-Наура , что описанный формальный язык синтаксис .
1964 г.Баран, ПолОдин из двух независимых изобретателей концепции цифровой коммутации пакетов, используемой в современных компьютерных сетях, включая Интернет . [4] [5] Баран опубликовал серию брифингов и статей о разделении информации на «блоки сообщений» и отправке ее по распределенным сетям в период с 1960 по 1964 год. [6] [7]
1874 г.Бодо, ЭмильФранцузский инженер-телеграфист запатентовал код Бодо , первое средство цифровой связи. [8] модем модуль скорости передачи назван в его честь.
1989, 1990Бернерс-Ли, ТимИзобрел всемирную паутину . С Робертом Кайо отправил первую HTTP-связь между клиентом и сервером.
1966 г.Бём, КоррадоТеоретически обосновал концепцию структурного программирования .
1847, 1854 гг.Буль, ДжорджФормализованная булева алгебра , основа цифровой логики и информатики.
1947 г.Бут, КэтлинИзобрел первый язык ассемблера .
1969, 1978Бринч Хансен, ПерРазработал систему мультипрограммирования RC 4000, которая представила концепцию ядра операционной системы и разделение политики и механизма, по сути, первую архитектуру микроядра . [9] Совместно с Тони Хоаром разработал монитор и создал первую реализацию монитора. [10] Реализовал первую форму удаленного вызова процедур в RC 4000, [9] и был первым, кто предложил удаленные вызовы процедур в качестве концепции структурирования для распределенных вычислений . [11]
1959, 1995Брукс, ФредМенеджер проектов IBM System / 360 и OS / 360 ; автор книги «Мифический человеко-месяц» .
1908 г.Брауэр, Луитцен Эгбертус ЯнОсновал интуиционистскую логику, которая позже стала широко использоваться в помощниках по доказательству .
1930 г.Буш, ВанневарПионер аналоговых вычислений. Создатель концепции Memex , которая привела к развитию гипертекста .
1951 г.Каминер, ДэвидВместе с Джоном Пинкертоном разработал компьютер LEO , первый компьютер для бизнеса, для J. Lyons and Co.
1978 г.Серф, ВинтВместе с Бобом Каном разработал протокол управления передачей и Интернет-протокол ( TCP / IP ), основные протоколы передачи данных в Интернете и других компьютерных сетях .
1956 г.Хомский, НоамВнес вклад в информатику своей работой в лингвистике . Он разработал иерархию Хомского , открытие, которое напрямую повлияло на теорию языков программирования и другие отрасли информатики.
1936 г.Церковь, АлонсоВнес фундаментальный вклад в теоретическую информатику, в частности, в развитие теории вычислимости в форме лямбда-исчисления . Независимо от Алана Тьюринга , он сформулировал то , что теперь известно как Тезис Черча-Тьюринга и доказал , что логика первого порядка является неразрешимой .
1962 г.Кларк, Уэсли А.Разработал LINC , первый функциональный компьютер, уменьшенный в масштабе и доступный для индивидуального пользователя. Введенный в эксплуатацию в 1963 году, многие его функции рассматриваются как прототипы основных элементов персональных компьютеров.
1981 г.Кларк, Эдмунд М.Совместно с Э. Алленом Эмерсоном разработал проверку моделей и формальную верификацию программного и аппаратного обеспечения .
1970 г.Кодд, Эдгар Ф.Предложена и формализована реляционная модель управления данными, теоретические основы реляционных баз данных .
1971 г.Конвей, ЛиннСуперскалярная архитектура с неупорядоченным динамическим планированием выполнения множественных задач.
1967Повар, СтивенФормализовал понятие NP-полноты, вдохновив большое количество исследований в области теории сложности вычислений .
1965 г.Кули, ДжеймсВместе с Джоном В. Тьюки создал быстрое преобразование Фурье .
1965 г.Дэвис, ДональдОдин из двух независимых изобретателей концепции цифровой коммутации пакетов, используемой в современных компьютерных сетях, включая Интернет . [4] [12] Дэвис придумал и назвал концепцию коммутации пакетов в сетях передачи данных в 1965 и 1966 годах. [13] [14]
1962 г.Даль, Оле-ЙоханВместе с Кристен Найгаард изобрел прото-объектно-ориентированный язык SIMULA .
1968 г.Дейкстра, ЭдсгерСделал успехи в алгоритмах, впервые придумал термин « структурированное программирование» , изобрел семафор и, как известно, предположил, что оператор GOTO следует рассматривать как вредный .
1918 г.Экклс, Уильям и Джордан, Фрэнк УилфредБританские физики запатентовали триггерную схему Эклса – Джордана. [15] Так называемый бистабильный триггер , эта схема является строительным блоком всех ячеек цифровой памяти . Их концепция, созданная из вакуумных ламп , сыграла важную роль в успехе компьютера для расшифровки кода Colossus .
1943, 1951 гг.Эккерт, Дж. ПресперВместе с Джоном Мочли спроектировал и построил ENIAC , первый современный (полностью электронный, полный по Тьюрингу) компьютер, и UNIVAC I , первый коммерчески доступный компьютер.
1981 г.Эмерсон, Э. АлленСовместно с Эдмундом М. Кларком разработал проверку моделей и формальную верификацию программного и аппаратного обеспечения .
1963 г.Энгельбарт, ДугласНаиболее известен изобретением компьютерной мыши (совместно с Биллом Инглишем ); как пионер взаимодействия человека с компьютером, чья команда Augment разработала гипертекст , сетевые компьютеры и предшественников графических интерфейсов пользователя .
1973Такер, Чарльз П.Новаторский дизайн и реализация Xerox Alto , первого современного персонального компьютера, а также его вклад в развитие Ethernet и планшетных ПК.
1971 г.Фаггин, ФедерикоРазработал первый коммерческий микропроцессор ( Intel 4004 ).
1974 г.Фейнлер, ЭлизабетЕе команда определила простой формат текстового файла для имен хостов в Интернете. Список превратился в систему доменных имен, и ее группа стала органом по присвоению имен для доменов верхнего уровня .mil, .gov, .edu, .org и .com.
1943 г.Цветы, ТоммиРазработал и построил Mark 1 и десять усовершенствованных компьютеров Mark 2 Colossus , первых в мире программируемых цифровых электронных вычислительных устройств.
1994 г.Флойд, СаллиОсновал область активного управления очередью и совместно изобрел случайное раннее обнаружение, которое используется почти во всех интернет-маршрутизаторах.
1879 г.Фреге, ГотлобРасширенная аристотелевская логика с исчислением предикатов первого порядка , независимо от Чарльза Сандерса Пирса , важнейшего предшественника теории вычислимости . Также актуален для ранних работ по искусственному интеллекту , логическому программированию .
1880, 1898 гг.Сандерс Пирс, ЧарльзДоказана функциональная полнота в NOR ворот . Предложил реализацию логики через электрические цепи за десятилетия до Клода Шеннона . Расширенная аристотелевская логика с исчислением предикатов первого порядка , независимо от Готтлоба Фреге , важнейшего предшественника теории вычислимости . Также актуален для ранних работ по искусственному интеллекту , логическому программированию .
1985 г.Фербер, Стивен
Софи Уилсон		Известны своей работой по созданию микропроцессора ARM 32bit RISC. [16]
1958, 1961, 1967Гинзбург, СеймурДоказанная минимизация схемы " безразличия " не обязательно дает оптимальные результаты, доказано, что язык программирования ALGOL контекстно-независимый (таким образом, связывая формальную теорию языка с проблемой написания компилятора ), и изобретена теория AFL .
1931 г.Гёдель, КуртДоказано, что арифметика Пеано не может быть одновременно логически последовательной и полной в исчислении предикатов первого порядка . Черч, Клини и Тьюринг разработали основы теории вычислений, основанные на следствиях работы Гёделя.
1989 г.Гольдвассер, ШафиДоказательства с нулевым разглашением, изобретенные Голдвассером, Микали и Ракоффом . Гольдвассер и Микали награждены премией Тьюринга в 2012 году за эту и другие работы.
2011 г.Грэм, Сьюзан Л.В 2009 году награжден медалью Джона фон Неймана IEEE за «вклад в разработку и реализацию языков программирования, а также за образцовую службу в области информатики».
1953 г.Грей, ФрэнкФизик и исследователь Bell Labs разработал отраженный двоичный код (RBC) или код Грея . [17] Методологии Грея используются для обнаружения и исправления ошибок в цифровых системах связи, таких как QAM в сетях цифровых абонентских линий .
1974, 2005Грей, ДжимНоватор в системах баз данных и внедрении обработки транзакций .
1986, 1990Гросс, Барбара [ излишний вес? - обсудить ]Создал первую вычислительную модель дискурса , которая создала область исследований и повлияла на технологии обработки языка. Также разработана модель SharedPlans для совместной работы в многоагентных системах .
1988, 2015Густафсон, ДжонЭкспериментально и теоретически доказал жизнеспособность параллельных вычислений закон Густафсона . Разработаны высокоэффективные форматы представления действительных чисел Unum и Posit .
1971 г.Гамильтон, МаргаретРазработал концепции асинхронного программного обеспечения, планирования приоритетов, сквозного тестирования и возможности принятия решений человеком в цикле, такие как отображение приоритетов, которые затем стали основой для сверхнадежного проектирования программного обеспечения.
1950Хэмминг, РичардСоздано математическое поле коррекции ошибок коды , кода Хэмминга , матрицы Хэмминга , в Хэмминге , числа Хэмминга , сферы-упаковке (или Хэмминг ), и расстояние Хэмминга . [18] [19] Он установил концепцию совершенного кода. [20] [21]
1972, 1973Ти, Андре Чыонг Чонг и Франсуа Жернель [ чрезмерный вес? - обсудить ]Изобретение Micral N , самого раннего коммерческого персонального компьютера, не входящего в комплект поставки , на основе микропроцессора .
1981, 1995, 1999Хейлсберг, АндерсАвтор Turbo Pascal в Borland , главный архитектор Delphi , а также дизайнер и ведущий архитектор C # в Microsoft.
2008, 2012, 2018Хинтон, ДжеффриПопуляризация и обеспечение возможности использования искусственных нейронных сетей и глубокого обучения , которые входят в число самых успешных инструментов в современных усилиях в области искусственного интеллекта . Получил премию Тьюринга в 2018 году за концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критически важным компонентом вычислений. [22]
1961, 1969, 1978, 1980Хоар, ЦАРРазработал формальный язык взаимодействия последовательных процессов (CSP), логику Хоара для проверки правильности программы и быструю сортировку . Фундаментальный вклад в определение и разработку языков программирования.
1968 г.Холбертон, БеттиНаписал первое слияние сортировки мэйнфреймов на Univac
1889 г.Холлерит, ГерманСчитается отцом современной машинной обработки данных . Его изобретение счетной машины для перфокарт знаменует начало эры полуавтоматических систем обработки данных.
1952 г.Хоппер, ГрейсПионер работала над необходимостью в языках программирования высокого уровня, которые она назвала автоматическим программированием , и написала компилятор АО , который сильно повлиял на язык COBOL .
1997 г.Сюй Фэн-сюнРабота привела к созданию Deep Thought шахматного компьютера, и архитектору , и главному конструктору IBM Deep Blue шахматный компьютера , который победил действующий чемпион мира по шахматам , Гарри Каспаров , в 1997 году.
1952 г.Херд, КатбертПомог International Business Machines Corporation разработать свой первый универсальный компьютер IBM 701 .
1945, 1953 гг.Хаски, ГарриРанний компьютерный дизайн, включая разработку компьютеров ENIAC , EDVAC , Pilot ACE , EDVAC , SEAC , SWAC и Bendix G-15 . G-15 был описан как первый персональный компьютер , которым мог управлять один человек.
1954, 1962 гг.Айверсон, КеннетПомогал в создании первого курса для аспирантов по информатике (в Гарварде ) и преподавал этот курс; изобрел язык программирования APL и внес вклад в интерактивные вычисления.
1801 г.Жаккард, Жозеф МариСоздал и продемонстрировал жаккардовый ткацкий станок , программируемый механизированный ткацкий станок, управляемый лентой, изготовленной из перфокарт.
1206Аль-ДжазариИзобретены программируемые машины, в том числе программируемых человекоподобных роботов , [23] и часов замка , в астрономических часы считаются первым программируемым аналоговым компьютером . [24]
1953 г.Спэрк Джонс, Карен [ чрезмерный вес? - обсудить ]Один из пионеров поиска информации и обработки естественного языка .
1970, 1990Карно, МорисИзобретатель карты Карно , используемой для минимизации логической функции.
1973Карпинский, ЯцекРазработал первый дифференциальный анализатор, в котором использовались транзисторы, и разработал один из первых алгоритмов машинного обучения для распознавания символов и изображений. Также был изобретателем одного из первых миникомпьютеров К-202 .
1970 ~Кей, АланСоздал многие идеи, лежащие в основе объектно-ориентированных языков программирования, возглавил команду, разработавшую Smalltalk , и внес фундаментальный вклад в персональные вычисления.
1957 г.Кирш, Рассел ГрейВо время работы в Национальном бюро стандартов (NBS) Кирш использовал недавно разработанный сканер изображений для сканирования и хранения первой цифровой фотографии . [25] Его отсканированная фотография его трехмесячного сына была названа журналом Life одной из «100 фотографий, которые изменили мир».
1936 г.Клини, Стивен КоулПионер работал с Алонзо Черчем над лямбда-исчислением, который впервые заложил основы теории вычислений.
1968, 1989Кнут, ДональдНаписал The Art of Computer Programming и создал TeX . Придумал термин «анализ алгоритмов» и внес значительный вклад в эту область, включая популяризацию Big O нотацию .
1974, 1978Лэмпорт, ЛеслиСформулированы алгоритмы для решения многих фундаментальных проблем в распределенных системах (например, алгоритм пекарни ).
Разработал концепцию логических часов , обеспечивающую синхронизацию между распределенными объектами на основе событий, посредством которых они общаются. Создал LaTeX .
1951 г.Лебедев Сергей АлексеевичСамостоятельно спроектировал первый электронный компьютер в Советском Союзе, МЭСМ , в Киеве, Украина.
1670 ~Лейбниц, ГотфридДостигнут успехи в символической логике, такие как логическое исчисление , которые оказали большое влияние на Готлоба Фреге . Он предвосхитил более поздние разработки в исчислении предикатов первого порядка , которые имели решающее значение для теоретических основ информатики.
1960 г.Ликлайдер, JCRНачал исследование взаимодействия человека с компьютером, что привело к многим достижениям в области компьютерных интерфейсов, а также в кибернетике и искусственном интеллекте .
1987 г.Лисков, ВарвараРазработан принцип подстановки Лискова , который гарантирует семантическую совместимость типов данных в иерархии.
1300 ~Лулль, РамонРазработал машины для множественных символических репрезентаций и впервые ввел понятия символического представления и манипуляции с целью получения знаний - оба из них оказали большое влияние на Лейбница .
1852 г.Лавлейс, АдаАнглийский математик и писатель, в основном известная своей работой над предложенным Чарльзом Бэббиджем механическим компьютером общего назначения - Аналитической машиной . Она была первой, кто осознал, что у машины есть приложения, выходящие за рамки чисто вычислений, и создала первый алгоритм, предназначенный для выполнения на такой машине. В результате ее часто считают первой, кто осознал весь потенциал «вычислительной машины» и первым программистом.
1909 г.Ладгейт, ПерсиЧарльз Бэббидж в 1843 году и Перси Ладгейт в 1909 году разработали две первые в истории аналитические машины . Двигатель Ладгейта использовал умножение в качестве основы (используя его собственные дискретные «ирландские логарифмы»), имел первый множитель-накопитель (MAC), был первым, кто использовал MAC для выполнения деления, сохранял числа как перемещения стержней в челноках и имел несколько другие новые функции, в том числе для программного управления.
1971 г.Мартин-Лёф, ПерОпубликовал черновой вариант теории типов, на котором основываются многие помощники по доказательству .
1943, 1951 гг.Мочли, ДжонВместе с Дж. Преспером Эккертом он разработал и построил ENIAC , первый современный (полностью электронный, полный по Тьюрингу) компьютер, и UNIVAC I , первый коммерчески доступный компьютер. Также работал над BINAC (1949), EDVAC (1949), UNIVAC (1951) с Грейс Хоппер и Джин Бартик, чтобы разработать первые компьютеры с хранимыми программами .
1958 г.Маккарти, ДжонИзобрел LISP , функциональный язык программирования .
1956, 2012Маккласки, Эдвард Дж.Фундаментальный вклад, который сформировал дизайн и тестирование цифровых систем, включая первый алгоритм синтеза цифровой логики, метод минимизации логики Куайна-Маккласки.
1986 г.Мейер, БертранРазработан дизайн по контракту под видом языка программирования Eiffel .
1963 г.Минский, МарвинСоучредитель искусственного интеллекта лаборатории в Массачусетском технологическом институте , автор нескольких текстов по ИИ и философии. Критик перцептрона .
850 ~Бану МусаБратья Бану Муса написали « Книгу гениальных устройств» , в которой описали, как представляется, первую программируемую машину - автоматического флейтиста . [26]
1950, 1960Накамацу ЁсироИзобрел первую гибкую дискету в Императорском университете Токио в 1950 году [27] [28], получив в 1952 году японский патент [29] [30] и патент США в 1958 году на свое изобретение в виде гибкого магнитного диска [31], и получил лицензию на Nippon Columbia в 1960 [32] и IBM в 1970-х. [29] [27]
2008 г.Накамото, СатошиАнонимный автор или создатели Bitcoin , первая равный-равному цифровая валюта . В официальном документе Накамото 2008 года была представлена ​​концепция блокчейна , структуры базы данных, которая позволяет полностью доверять децентрализованному и распределенному общедоступному регистру транзакций криптовалюты. [33]
1934, 1938Накашима АкираИнженер NEC представил теорию коммутационных схем в статьях с 1934 по 1936 год, заложив основы проектирования цифровых схем в цифровых компьютерах и других областях современной техники.
1960 г.Наур, ПетрОтредактировал пересмотренный отчет АЛГОЛ 60 , вводя форму Бэкуса-Наура.
1945 г.Нойман, Джон фонСформулировал архитектуру фон Неймана, на которой основано большинство современных компьютеров.
1956 г.Ньюэлл, АлленВместе с Дж. К. Шоу [34] и Гербертом Саймоном эти трое написали Logic Theorist, первую настоящую программу искусственного интеллекта на первом языке обработки списков, который повлиял на LISP.
1943 г.Ньюман, МаксНачал производство компьютеров Colossus в Блетчли-парке . После войны он основал Лабораторию вычислительных машин в Университете Манчестера, где создал проект по созданию первого в мире компьютера с хранимой программой - Manchester Baby .
1962 г.Найгаард, КристенВместе с Оле-Йоханом Далем изобрел прото-объектно-ориентированный язык SIMULA .
500 г. до н.э. ~ПаниниAshtadhyayi санскрит грамматика была систематизирована и техническим, используя metarules, преобразование и рекурсию , предтечую теорию формальных языков и основу для Panini-Бакус формы , используемых для описания языков программирования .
1642Паскаль, БлезИзобрел механический калькулятор .
1952 г.Перлис, АланО Project Whirlwind , член команды, которая разработала язык программирования ALGOL , и первый лауреат премии Тьюринга.
1985 г.Перлман, РадиаИзобрел протокол Spanning Tree Protocol (STP), который лежит в основе работы сетевых мостов , работая в Digital Equipment Corporation . Провел обширные и новаторские исследования, особенно в области шифрования и сетей. Среди множества других она получила награду USENIX Lifetime Achievement Award в 2007 году.
1964 г.Перотто, Пьер Джорджио [ чрезмерный вес? - обсудить ]Компьютерный дизайнер для Olivetti , разработанный одним из первых электронных программируемых калькуляторов , тем PROGRAMMA 101 [35] [36] [37]
1932 г.Петер, РожаОпубликовал серию статей, обосновывающих теорию рекурсии как отдельную область математических исследований, заложивших основы теоретической информатики.
1995 г.Пикард, Розалинда [ чрезмерный вес? - обсудить ]Основал компанию Affective Computing и заложил основы для приобретения компьютерных навыков эмоционального интеллекта.
1936 г.Пост, Эмиль Л.Разработал машину Поста как модель вычислений независимо от Тьюринга. Известная также для разработки таблиц истинности , проблема соответствия Поста, используемая в теории рекурсии, а также для доказательства того, что известно как теорема Поста .
1967–2011Ричи, ДеннисВместе с Кеном Томпсоном он стал пионером языка программирования C и компьютерной операционной системы Unix в Bell Labs.
1958–1960 гг.Розен, СаулРазработал программное обеспечение первого компьютера на базе транзисторов. Также повлиял на язык программирования АЛГОЛ.
1910 г.Рассел, БертранВнес вклад в информатику своей работой по математической логике (пример: функция истинности ). Введено понятие теории типов . Он также представил систему типов (вместе с Альфредом Норт Уайтхедом ) в своей работе « Principia Mathematica» .
1975 г.Солтон, Джерард [ чрезмерный вес? - обсудить ]Пионер автоматического поиска информации , предложивший модель векторного пространства и инвертированный индекс .
1962 г.Саммет, Жан Э.Разработал язык программирования FORMAC . Она также была первой, кто много писал об истории и классификации языков программирования в 1969 году, а в 1974 году стала первой женщиной-президентом Ассоциации вычислительной техники .
1963, 1973Сасаки ТадашиИнженер Sharp, который задумал однокристальный микропроцессорный процессор , представил идею Busicom и Intel в 1968 году. Это повлияло на первый коммерческий микропроцессор Intel 4004 ; до Busicom производителем памяти была Intel. Тадаши Сасаки также разработал ЖК- калькуляторы в Sharp. [38]
1937, 1948 гг.Шеннон, КлодОсновал теорию информации и заложил основы практического проектирования цифровых схем.
1968, 1980Шима МасатошиРассчитана Intel 4004 , первый коммерческий микропроцессор , [39] [40] , а также Intel 8080 , Zilog Z80 и Zilog Z8000 микропроцессоры, и Intel 8259 , 8255 , 8253 , 8257 и 8251 чипов. [41]
1956, 1957 гг.Саймон, Герберт А.Политолог и экономист, пионер искусственного интеллекта . Соавтор программ Logic Theory Machine и General Problem Solver .
1972 г.Столмен, РичардСтоллман запустил проект GNU в сентябре 1983 года с целью создания Unix-подобной компьютерной операционной системы, полностью состоящей из свободных программ. Этим он также начал движение за бесплатное программное обеспечение.
1982 г.Стоунбрейкер, МайклИсследователь из Лаборатории компьютерных наук и искусственного интеллекта Массачусетского технологического института (CSAIL), который произвел революцию в области систем управления базами данных (СУБД) и основал несколько успешных компаний по производству баз данных.
1979 г.Страуструп, БьярнеИзобретен C ++ в Bell Labs
1963 г.Сазерленд, ИванАвтор Sketchpad , предка современных программ автоматизированного проектирования (САПР) и одного из первых примеров объектно-ориентированного программирования .
1967Томпсон, КенСоздал операционную систему Unix , язык программирования B , операционную систему Plan 9 , первую машину, получившую степень магистра в шахматах, а также кодировку UTF-8 в Bell Labs и язык программирования Go в Google.
1993 г.Тох Чай КеонгСозданы мобильные специальные сети; Реализовал первую рабочую беспроводную одноранговую сеть портативных компьютеров в 1998 году с использованием ОС Linux, радиомодулей Lucent WaveLan 802.11 и нового протокола распределенной маршрутизации, прозрачного для TCP / UDP / IP.
1991 г.Торвальдс, ЛинусСоздал первую версию ядра Linux .
1912, 1914, 1920Торрес Кеведо, ЛеонардоВ 1912 году Леонардо Торрес Кеведо построил El Ajedrecista ( шахматист ), одну из первых автономных машин, способных играть в шахматы. В отличие от управляемых людьми Турка и Аджиба , Эль Аджедресиста был настоящим автоматом, созданным для игры в шахматы без человеческого руководства. Он играл в эндшпиле с тремя шахматными фигурами, автоматически перемещая белого короля и ладью, чтобы поставить мат черному королю, перемещенному противником-человеком. В своей работе « Очерки автоматики» , опубликованной в 1914 году, Торрес Кеведо формулирует новую отрасль техники: автоматизацию . Эта работа также включала арифметику с плавающей запятой.. В 1920 году Торрес Кеведо первым в истории построил электромеханическую версию аналитической машины .
1965 г.Тьюки, Джон У.Вместе с Джеймсом Кули создал быстрое преобразование Фурье . Он изобрел термин «бит». [42]
1936 г.Тьюринг, АланВнес несколько фундаментальных вкладов в теоретическую информатику, включая вычислительную модель машины Тьюринга, концепцию хранимой программы и разработку высокоскоростной конструкции ACE . Независимо от Алонзо церкви , он сформулировал тезис Черча-Тьюринга и доказал , что логика первого порядка является неразрешимой . Он также исследовал философские вопросы, касающиеся искусственного интеллекта , предлагая то, что теперь известно как тест Тьюринга .
1950 ~Ван АньВнес ключевой вклад в развитие памяти на магнитных сердечниках .
1955, 1960-е, 1974 гг.Уэр, УиллисСо-дизайнер JOHNNIAC . Возглавлял комитет, который разработал Кодекс честной информационной практики и привел к принятию Закона о конфиденциальности 1974 года . Заместитель председателя комиссии по изучению защиты конфиденциальности.
1968 г.Вейнгаарден, Адриан ванРазработчик W-грамматики, впервые использованный в определении АЛГОЛА 68
1949 г.Уилкс, МорисСоздал первый практический компьютер с хранимыми программами ( EDSAC ), который должен быть завершен и заслужил признание идей нескольких конструкций языков программирования высокого уровня.
1970, 1978Вирт, НиклаусРазработал языки программирования Паскаль , Модула-2 и Оберон .
1875, 1875Верея, РамонРазработал и запатентовал Verea Direct Multiplier , первый механический прямой умножитель.
1938, 1945Зузе, КонрадСоздал первый цифровой свободно программируемый компьютер Z1 . Создал первый функциональный компьютер с программным управлением - Z3 . [43] В 1998 году было доказано, что Z3 полностью соответствует требованиям Тьюринга. Был произведен первый в мире коммерческий компьютер Z4 . Разработал первый язык программирования высокого уровня Plankalkül .
1970 г.Уилкинсон, Джеймс Х.Исследования в области численного анализа для облегчения использования высокоскоростного цифрового компьютера, получившего особое признание за его работу в вычислениях в линейной алгебре и "обратном" анализе ошибок. [44]
1973Бахман, ЧарльзВыдающийся вклад в технологию баз данных . [45]
1976 г.Рабин, Майкл О.В совместной статье «Конечные автоматы и проблемы их решения» [46] была представлена ​​идея недетерминированных машин , которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотт и Рабин) была постоянным источником вдохновения для дальнейшей работы в этой области. [47] [48]
1976 г.Скотт, ДанаВ совместной статье «Конечные автоматы и проблемы их решения» [46] была представлена ​​идея недетерминированных машин , которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотт и Рабин) была постоянным источником вдохновения для дальнейшей работы в этой области. [47] [48]
1978 г.Флойд, Роберт В.Имея явное влияние на методологии создания эффективного и надежного программного обеспечения и помогая основать следующие важные области информатики : теория синтаксического анализа , семантика языков программирования, автоматическая проверка программ , автоматический синтез программ и анализ алгоритмов. . [49]
1985 г.Карп, Ричард М.Вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевого потока и других задач комбинаторной оптимизации, определение вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности, и, в первую очередь, вклад в теорию NP-полноты .
1986 г.Хопкрофт, ДжонФундаментальные достижения в разработке и анализе алгоритмов и структур данных.
1986 г.Тарьян, РобертФундаментальные достижения в разработке и анализе алгоритмов и структур данных.
1987 г.Кок, ДжонЗначительный вклад в разработку и теорию компиляторов, архитектуру больших систем и разработку компьютеров с сокращенным набором команд (RISC).
1989 г.Кахан, УильямФундаментальный вклад в численный анализ . Один из ведущих экспертов по вычислениям с плавающей запятой . Кахан посвятил себя тому, чтобы «сделать мир безопасным для численных вычислений».
1989 г.Корбато, Фернандо Х.Новаторская работа по организации концепций и руководству разработкой универсальных, крупномасштабных компьютерных систем с разделением времени и ресурсов, CTSS и Multics .
1991 г.Милнер, Робин1) LCF , механизация логики вычислимых функций Скотта, вероятно, первый теоретически обоснованный, но практический инструмент для машинного построения доказательств ; 2) ML , первый язык, который включает вывод полиморфного типа вместе с типобезопасным механизмом обработки исключений ; 3) CCS , общая теория параллелизма . Кроме того, он сформулировал и сильно продвинул полную абстракцию , исследование взаимосвязи между операционной и денотационной семантикой . [50]
1992 г.Лэмпсон, Батлер В.Разработка распределенных, персональных вычислительных сред и технологий для их реализации: рабочие станции , сети , операционные системы , системы программирования, дисплеи , безопасность и публикация документов .
1993 г.Хартманис, ЮрисОсновы теории сложности вычислений . [51]
1993 г.Стернс, Ричард Э.Основы теории сложности вычислений . [51]
1994 г.Файгенбаум, ЭдвардНоваторство в разработке и создании крупномасштабных систем искусственного интеллекта, демонстрирующее практическую важность и потенциальное коммерческое влияние технологии искусственного интеллекта. [52]
1994 г.Редди, РаджНоваторство в разработке и создании крупномасштабных систем искусственного интеллекта, демонстрирующее практическую важность и потенциальное коммерческое влияние технологии искусственного интеллекта. [52]
1995 г.Блюм, МануэльВклад в основы теории сложности вычислений и ее применение в криптографии и проверке программ . [53]
1996 г.Пнуэли, АмирВведение темпоральной логики в информатику и за выдающийся вклад в верификацию программ и систем . [54]
2000 г.Яо, ЭндрюФундаментальный вклад в теорию вычислений , включая основанную на сложности теорию генерации псевдослучайных чисел , криптографию и сложность связи .
1977 г.Ривест, РонГениальный вклад и практическое применение криптографии с открытым ключом .
1977 г.Шамир, АдиГениальный вклад и практическое применение криптографии с открытым ключом .
1977 г.Адлеман, ЛеонардГениальный вклад и практическое применение криптографии с открытым ключом .
1978 г.Кан, БобРазработал протокол управления передачей и Интернет-протокол ( TCP / IP ), основные протоколы передачи данных в Интернете и других компьютерных сетях .
2007 г.Сифакис, ДжозефПревращение проверки моделей в высокоэффективную технологию проверки, широко используемую в аппаратной и программной отраслях. [55]
2010 г.Доблестный, ЛеслиПреобразующий вклад в теорию вычислений , включая теорию вероятного приблизительно правильного ( PAC ) обучения, сложность перечисления и алгебраических вычислений, а также теорию параллельных и распределенных вычислений.
2011 г.Жемчужина, ИудеяФундаментальный вклад в искусственный интеллект благодаря развитию исчисления вероятностных и причинных рассуждений. [56]
1976 г.Хеллман, МартинФундаментальный вклад в современную криптографию. В новаторской статье 1976 года Диффи и Хеллмана «Новые направления в криптографии» [57] были представлены идеи криптографии с открытым ключом и цифровых подписей, которые являются основой для наиболее часто используемых сегодня протоколов безопасности в Интернете. [58]
1976 г.Диффи, УитфилдФундаментальный вклад в современную криптографию. В новаторской статье 1976 года Диффи и Хеллмана «Новые направления в криптографии» [57] были представлены идеи криптографии с открытым ключом и цифровых подписей, которые сегодня являются основой наиболее часто используемых протоколов безопасности в Интернете. [59]
2018 г.Бенжио, Йошуа , Хинтон Джеффри , Лекун ЯннКонцептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критически важным компонентом вычислений. [22]
2012 г.Сильвио МикалиЗа преобразующую работу, заложившую теоретико-сложную основу науки о криптографии и в процессе разработки новых методов эффективной проверки математических доказательств в теории сложности.
2017 г.Джон Л. ХеннессиЗа новаторство в систематическом количественном подходе к проектированию и оценке компьютерных архитектур с длительным влиянием на микропроцессорную промышленность.
2017 г.Дэвид ПаттерсонЗа новаторство в систематическом количественном подходе к проектированию и оценке компьютерных архитектур с длительным влиянием на микропроцессорную промышленность.
2019 г.Эдвин КэтмеллЗа фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях.
2019 г.Пэт ХанраханЗа фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях.

~ Пункты, отмеченные тильдой, относятся к датам приблизительно.

См. Также [ править ]

  • Премия Computer Pioneer
  • IEEE Медаль Джона фон Неймана
  • Премия Грейс Мюррей Хоппер
  • Список наград в области информатики
  • Список компьютерных ученых
  • Список людей, считающихся отцом или матерью поля § Вычислительная техника
  • Список российских ИТ-разработчиков
  • Список призывников Международного Зала славы женщин-технологов
  • Человек, который изобрел компьютер (книга 2010 г.)
  • Хронология вычислений
  • Премия Тьюринга
  • Женщины в вычислительной технике

Ссылки [ править ]

  1. ^ Марио Токоро, изд. (2010). «9». д: От понимания принципов к решению проблем . С. 223–224. ISBN 978-1-60750-468-9.
  2. ^ Cristopher Мур; Стефан Мертенс (2011). Природа вычислений . Издательство Оксфордского университета. п. 36. ISBN 978-0-19-162080-5.
  3. ^ AP Ершов, Дональд Эрвин Кнут, изд. (1981). Алгоритмы в современной математике и информатике: дела, Ургенч, Узбекская ССР, 16-22 сентября 1979 года . Springer. ISBN 978-3-540-11157-3.
  4. ^ a b «Настоящая история того, как Интернет стал настолько уязвимым» . Вашингтон Пост . 30 мая, 2015. Архивировано из оригинала на 2015-05-30 . Проверено 18 февраля 2020 . Историки приписывают основополагающие открытия валлийскому ученому Дональду У. Дэвису и американскому инженеру Полу Барану.
  5. ^ "Подробности призывника - Пол Баран" . Национальный зал славы изобретателей. Архивировано из оригинального 6 -го сентября 2017 года . Проверено 6 сентября 2017 года .
  6. ^ Баран, Пол (2002). «Истоки коммутации пакетов: некоторые основные концепции» (PDF) . Журнал IEEE Communications . 40 (7): 42–48. DOI : 10.1109 / MCOM.2002.1018006 . ISSN 0163-6804 . По сути, вся работа была определена к 1961 году, конкретизирована и оформлена в официальную письменную форму в 1962 году. Идея маршрутизации по горячим картофелям возникла в конце 1960 года.  
  7. ^ Моника, 1776 Мэйн Стрит Санта; Калифорния 90401-3208. «Пол Баран и истоки Интернета» . www.rand.org . Проверено 15 февраля 2020 .
  8. ^ "Жан-Морис-Эмиль Бодо. Система быстрой телеграфии, июнь 1874 года. Бревет 103 898; Источник: Архивный институт национального де ла Propriété Industrielle (INPI)" .
  9. ^ a b «Пер Бринч Хансен • Компьютерное общество IEEE» . Computer.org . Проверено 15 декабря 2015 .
  10. ^ Бринч Хансен, Per (апрель 1993). «Мониторы и параллельный Паскаль: личная история» (PDF) . 2-я конференция ACM по истории языков программирования .
  11. ^ Бринч Хансен, Per (ноябрь 1978). «Распределенные процессы: концепция параллельного программирования» (PDF) . Коммуникации ACM . 21 (11): 934–941. CiteSeerX 10.1.1.107.3108 . DOI : 10.1145 / 359642.359651 . S2CID 11610744 .   
  12. ^ "Подробности призывника - Дональд Уоттс Дэвис" . Национальный зал славы изобретателей. Архивировано из оригинального 6 -го сентября 2017 года . Проверено 6 сентября 2017 года .
  13. ↑ Робертс, доктор Лоуренс Г. (ноябрь 1978 г.). «Эволюция пакетной коммутации» . Архивировано из оригинального 24 марта 2016 года . Проверено 5 сентября 2017 года . Почти сразу после встречи 1965 года Дональд Дэвис задумался о деталях системы коммутации пакетов с промежуточным хранением.; Робертс, доктор Лоуренс Г. (май 1995 г.). "ARPANET и компьютерные сети" . Архивировано из оригинального 24 марта 2016 года . Проверено 13 апреля +2016 . Затем, в июне 1966 года, Дэвис написал вторую внутреннюю статью «Предложение по цифровой коммуникационной сети», в которой он придумал слово «пакет» - небольшую часть сообщения, которое пользователь хочет отправить, а также представил концепцию « «Интерфейсный компьютер», чтобы находиться между пользовательским оборудованием и пакетной сетью.
  14. ^ Дональд Дэвис (2001), «Историческое исследование начала пакетной коммутации» , Компьютерный журнал, Британское компьютерное общество[ мертвая ссылка ]
  15. ^ Уильям Генри Эклс и Фрэнк Уилфред Джордан, «Улучшения в ионных реле» Номер британского патента: GB 148582 (подана: 21 июня 1918 г .; опубликована: 5 августа 1920 г.). Доступно в Интернете по адресу: http://v3.espacenet.com/origdoc?DB=EPODOC&IDX=GB148582&F=0&QPN=GB148582 .
  16. ^ "Музей истории компьютеров | Награды стипендиата - Стив Фербер" . Архивировано из оригинала на 2013-04-02.
  17. ^ Грей, Фрэнк (1953-03-17). «Импульсно-кодовая связь» (PDF) . Патент США № 2 632 058
  18. ^ Morgan 1998 , стр. 973-975.
  19. ^ Хэмминга 1950 , стр. 147-160.
  20. Перейти ↑ Ling & Xing 2004 , pp. 82–88.
  21. ^ Плесс 1982 , стр. 21-24.
  22. ^ a b Отцы революции глубокого обучения получают премию ACM AM Turing
  23. ^ "article58" . Shef.ac.uk . 29 июня 2007 года Архивировано из оригинала 29 июня 2007 . Проверено 25 октября 2017 года .
  24. ^ «Древние открытия, Эпизод 11: Древние роботы» . Исторический канал . Проверено 6 сентября 2008 .
  25. ^ Кирш, Рассел А., « Ранняя обработка изображений» , Музей NISTS; SEAC и начало обработки изображений в Национальном бюро стандартов , Национальный институт стандартов и технологий , заархивировано из оригинала 19 июля 2014 г.
  26. ^ Koetsier, Тен (2001). «О предыстории программируемых машин: музыкальные автоматы, ткацкие станки, калькуляторы». Теория механизмов и машин . 36 (5): 589–603. DOI : 10.1016 / S0094-114X (01) 00005-2 .
  27. ^ a b Г. В. Даммер (1997), Электронные изобретения и открытия , стр. 164 , Институт физики
  28. ↑ Валери-Анн Жискар д'Эстен (1990), Книга изобретений и открытий , страница 124, Queen Anne Press
  29. ^ a b Лазарь, Дэвид (10 апреля 1995 г.). « „ Японии Эдисон“Is страны Gadget Кинг: Японский изобретатель Держит Запись на патент» . Нью-Йорк Таймс . Проверено 21 декабря 2010 .
  30. ^ Накамацу - Томаса-- EDISON ЯПОНИИ , Stellarix Consultancy Services, 2015
  31. ^ Магнитный регистрационный лист , Патент US3131937
  32. ^ Graphic Arts Japan , Volume 2 (1960), страницы 20–22
  33. ^ Накамото, Satoshi (24 мая 2009). « » Bitcoin: Система А одноранговая сеть электронных денежных средств «(PDF)» (PDF) . bitcoin.org .
  34. ^ Фред Джозеф Gruenberger, История JOHNNIAC , RAND Меморандум 5654
  35. ^ "Электронный калькулятор Olivetti Programma 101" . Веб-музей старого калькулятора . технически машина представляла собой программируемый калькулятор, а не компьютер.
  36. ^ "2008/107/1 Компьютер, Programma 101 и документы (3), пластмассовые / металлические / бумажные / электронные компоненты, архитектор оборудования Пьер Джорджио Перотто, разработанный Марио Беллини, сделанный Оливетти, Италия, 1965–1971" . www.powerhousemuseum.com . Проверено 20 марта 2016 .
  37. ^ "Электронный калькулятор Olivetti Programma 101" . Веб-музей старого калькулятора . Похоже, что калькулятор Mathatronics Mathatron предшествовал выходу на рынок Programma 101.
  38. ^ Аспрей, Уильям (1994-05-25). "Устная история: Тадаши Сасаки" . Интервью № 211 для Центра истории электротехники . Институт инженеров по электротехнике и радиоэлектронике, Inc . Проверено 2 января 2013 .
  39. ^ Найджел Тут. «Вычислитель Busicom 141-PF и микропроцессор Intel 4004» . Проверено 15 ноября 2009 года .
  40. ^ Federico Фаггин , Изготовление первого микропроцессора , IEEE Твердотельные Circuits Magazine , Зима 2009, IEEE Xplore
  41. ^ Япония, Общество обработки информации. "Компьютерный музей Сима Масатоши" . Museum.ipsj.or.jp . Проверено 25 октября 2017 года .
  42. ^ Клод Шеннон (1948). "Технический журнал Bell System". Технический журнал Bell System .
  43. ↑ Copeland, B. Jack (25 октября 2017 г.). Залта, Эдвард Н. (ред.). Стэнфордская энциклопедия философии . Лаборатория метафизических исследований Стэнфордского университета . Проверено 25 октября 2017 года - через Стэнфордскую энциклопедию философии.
  44. Перейти ↑ Wilkinson, JH (1971). «Некоторые комментарии численного аналитика». Журнал ACM . 18 (2): 137–147. DOI : 10.1145 / 321637.321638 . S2CID 37748083 . 
  45. Перейти ↑ Bachman, CW (1973). «Программист как навигатор» . Коммуникации ACM . 16 (11): 653–658. DOI : 10.1145 / 355611.362534 .
  46. ^ a b Рабин, Миссури; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения» . Журнал исследований и разработок IBM . 3 (2): 114. DOI : 10,1147 / rd.32.0114 . S2CID 3160330 . 
  47. ^ a b Рабин, МО (1977). «Сложность вычислений» . Коммуникации ACM . 20 (9): 625–633. DOI : 10.1145 / 359810.359816 .
  48. ^ a b Скотт, Д.С. (1977). «Логика и языки программирования» . Коммуникации ACM . 20 (9): 634–641. DOI : 10.1145 / 359810.359826 .
  49. Перейти ↑ Floyd, RW (1979). «Парадигмы программирования» . Коммуникации ACM . 22 (8): 455–460. DOI : 10.1145 / 359138.359140 .
  50. Перейти ↑ Milner, R. (1993). «Элементы взаимодействия: лекция о премии Тьюринга» . Коммуникации ACM . 36 : 78–89. DOI : 10.1145 / 151233.151240 .
  51. ^ a b Stearns, RE (1994). «Лекция по Премии Тьюринга: пора пересмотреть время» . Коммуникации ACM . 37 (11): 95–99. DOI : 10.1145 / 188280.188379 .
  52. ^ a b Редди Р. (1996). «Видеть во сне возможный сон» . Коммуникации ACM . 39 (5): 105–112. DOI : 10.1145 / 229459.233436 .
  53. ^ "Лауреат премии AM Тьюринга - Мануэль Блюм" . amturing.acm.org . Проверено 4 ноября 2018 года .
  54. ^ "Лауреат премии AM Тьюринга - Амир Пнуели" . amturing.acm.org . Проверено 4 ноября 2018 года .
  55. ^ 2007 Turing Award Объявлены победители
  56. ^ "Жемчужина Иудеи" . ACM.
  57. ^ a b Diffie, W .; Хеллман, М. (1976). «Новые направления в криптографии» (PDF) . IEEE Transactions по теории информации . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . DOI : 10.1109 / TIT.1976.1055638 .  
  58. ^ «Пионеры криптографии получают премию ACM AM Turing 2015» . ACM.
  59. ^ «Пионеры криптографии получают премию ACM AM Turing 2015» . ACM.

Источники [ править ]

  • Хэмминг, Ричард В. (1950). «Коды обнаружения и исправления ошибок» (PDF) . Технический журнал Bell System . 29 (2): 147–160. DOI : 10.1002 / j.1538-7305.1950.tb00463.x . Руководство по ремонту  0035935 . Архивировано из оригинального (PDF) 25 мая 2006 года.
  • Линг, Сан; Син, Чаопин (2004). Теория кодирования: первый курс . Кембридж: Издательство Кембриджского университета. ISBN 978-0-521-82191-9.
  • Плесс, Вера (1982). Введение в теорию кодов, исправляющих ошибки . Нью-Йорк: Вили. ISBN 978-0-471-08684-0.
  • Морган, Сэмюэл П. (сентябрь 1998 г.). «Ричард Уэсли Хэмминг (1915–1998)» (PDF) . Уведомления AMS . 45 (8): 972–977. ISSN  0002-9920 . Проверено 30 августа 2014 года .

Внешние ссылки [ править ]

  • Пионеры вычислительной техники из Виртуального музея вычислительной техники
  • Пионеры Интернета