А́лан Мэ́тисон Тью́ринг — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Офицер ордена Британской империи, член Лондонского королевского общества (1951).
Дональд Эрвин Кнут — американский учёный в области информатики, доктор философии (1963), эмерит-профессор Стэнфордского университета, член Американского философского общества (2012), преподаватель и идеолог программирования, автор 19 монографий и более 160 статей, разработчик нескольких известных программных технологий.
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. В наши дни поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической логикой, где вместо вычислимости и невычислимости идёт речь о доказуемости и недоказуемости утверждений в рамках каких-либо теорий.
Алонзо Чёрч — американский математик и логик, внесший значительный вклад в основы информатики.
Сти́вен Ко́ул Кли́ни — американский математик и логик.
Алан Кёртис Кэй — американский учёный в области теории вычислительных систем. Один из пионеров в областях объектно-ориентированного программирования и графического интерфейса. Также известен благодаря высказыванию «лучший способ спрогнозировать будущее — изобрести его». Президент исследовательского института Вьюпоинта, адъюнкт-профессор информатики в Калифорнийском университете. Советник в TTI/Vanguard. К середине 2005 был главным сотрудником в HP Labs, читал лекции в Киотском университете и был адъюнкт-профессором в Массачусетском технологическом институте.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Джон Маккарти — американский информатик, автор термина «искусственный интеллект» (1956), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Алан Джей Перлис — американский учёный в области компьютерных технологий, известен своими работами в области языков программирования и как первый лауреат премии Тьюринга.
Тьюринговская трясина — жаргонное общее название для языков программирования, которые Тьюринг-полны, но обладают крайне примитивными синтаксисом и семантикой. Они неудобны для практического программирования, зато хорошо подходят для некоторых других задач. Поэтому они интересны для информатики. Многие эзотерические языки программирования также являются «трясинами Тьюринга».
Амир Пнуэли — израильский и американский учёный в области теории вычислительных систем, профессор информатики при Институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование темпоральной логики и её применения в верификации программ.
Оле-Йохан Даль — норвежский учёный в области теории вычислительных систем, лауреат премии Тьюринга. Вместе с Кристеном Нюгором является одним из разработчиков основ объектно-ориентированного программирования, а также первого объектно-ориентированного языка программирования Симула.
Эрнест Аллен Эмерсон — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга. Был профессором информатики в университете Техаса.
Тео́рия алгори́тмов — раздел математики, изучающий общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач, асимптотический анализ сложности алгоритмов, классификация алгоритмов в соответствии с классами сложности, разработка критериев сравнительной оценки качества алгоритмов и т. п. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук, теории передачи информации, информатики, телекоммуникационных систем и других областей науки и техники.
Джон Алан Робинсон — британский философ и логик, внёс важный вклад в становление логического программирования.
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
«Игра́ в имита́цию» — драма о криптографе военного времени Алане Тьюринге, который взломал код немецкой шифровальной машины «Энигма» во время Второй мировой войны и позже был привлечён к уголовной ответственности за свою гомосексуальность. Фильм режиссёра Мортена Тильдума по сценарию Грэма Мура, основанному на биографической книге «Алан Тьюринг: Энигма» Эндрю Ходжеса. Главную роль исполнил Бенедикт Камбербэтч.
Эндрю Ходжес — британский математик, писатель и активист движения за права геев.
Turochamp — шахматная программа, разработанная Аланом Тьюрингом и Дэвидом Чемперноуном в 1948 году в рамках исследования по информатике и машинному обучению. Перед тем, как сделать ход, Turochamp рассматривает все возможные ходы и просчитывает каждый возможный ответ оппонента, после чего дополнительно анализирует удачные ходы. Всем полученным в результате анализа позициям присваивается метрика, по которой программа выбирает наиболее удачный ход. Следуя этому алгоритму, программа способна разыграть полноценную партию от начала до конца против живого соперника на уровне начинающего игрока в шахматы.
Великобритания
Медиафайлы на Викискладе