Какой вклад внесли ученые-информатики в теоретическую информатику?

Некоторые учёные-информатики и их вклад в теоретическую информатику:

• Ада Лавлейс. ozr-shkdem.edumsko.ru Разработала первые программы для аналитической машины Баббеджа, заложив тем самым теоретические основы программирования. ozr-shkdem.edumsko.ru Впервые ввела понятие цикла операции. ozr-shkdem.edumsko.ru
• Курт Гедель. ozr-shkdem.edumsko.ru Заложил основы теоретической информатики своими работами об универсальных формальных языках и лимитах на доказательство и вычисление. ozr-shkdem.edumsko.ru
• Алан Тьюринг. ozr-shkdem.edumsko.ru Переформулировал результаты Курта Геделя в терминах машин Тьюринга, которые впоследствии стали широко используемыми абстрактными моделями вычислений. ozr-shkdem.edumsko.ru
• Клод Шеннон. habr.com project504209.tilda.ws Основатель теории информации, нашедшей применение в современных высокотехнологичных системах связи. habr.com project504209.tilda.ws В 1948 году предложил использовать слово «бит» для обозначения наименьшей единицы информации. habr.com project504209.tilda.ws
• Деннис Ричи. habr.com Стал соавтором языка программирования B, разработанного в Bell Labs в 1969 году, затем на его основе вместе с Кеном Томпсоном и Брайаном Керниганом разработал язык C, который до сих пор является одним из самых популярных языков программирования. habr.com