(англ. Alan Mathison Turing) — английский математик, логик, криптограф, изобретатель машины Тьюринга.
Основные работы в области математической логики и вычислительной математики; в 1936‒1937 ввёл математическое понятие уточнённого абстрактного эквивалента алгоритма, или вычислимой функции (получившее впоследствии название машина Тьюринга); в последние годы жизни работал над математическими проблемами биологии.
Тест Тьюринга — эмпирический тест, идея которого была предложена Аланом Тьюрингом в статье «Вычислительные машины и разум» (англ. Computing Machinery and Intelligence), опубликованной в 1950 году в философском журнале «Mind». Тьюринг задался целью определить, может ли машина мыслить.
Так как ни в то время ни сейчас не существует общепринятого определения "мышления" - Тьюринг остроумно предложил заменить точный тест - приближенным, т.е. субъективной человеческой оценкой того, является ли неизвестный респондент человеком или машиной.
(венг. Я́нош Ла́йош Не́йман, [Neumann János Lajos]) — венгерский математик, сделавший важный вклад в квантовую физику, квантовую логику, функциональный анализ, теорию множеств, информатику, экономику и другие отрасли науки.
Наиболее известен как праотец современной архитектуры компьютеров (так называемая архитектура фон Неймана), применением теории операторов к квантовой механике (см. алгебра фон Неймана), а также как участник Манхэттенского проекта и как создатель теории игр и концепции клеточных автоматов.
Совместно с Д. Гильбертом и Л. Нордгеймом фон Нейман написал статью "Об основаниях квантовой механики". Потом выпускает серию работ "Математическое обоснование квантовой механики", "Теоретико-вероятностное построение квантовой механики" и "Термодинамика квантовомеханических систем". В работах фон Неймана квантовая механика обрела свой естественный язык - язык операторов, действующих в гильбертовом пространстве состояний. В его работах была подведена прочная математическая основа под статистическую интерпретацию квантовой механики, введено новое понятие матрицы плотности, доказан квантовый аналог H-теоремы Больцмана и эргодической теоремы. На основе этих работ фон Нейман начал другой цикл - по теории операторов, благодаря которым он считается основоположником современного функционального анализа. Фон Нейман показал, что "слишком вольное" обоснование теории {Дирака} можно обосновать в терминах аксиоматической теории гильбертова пространства и спектральной теории операторов.
В 1927 фон Нейман написал статью "К гильбертовой теории доказательства". В ней он исследовал проблему непротиворечивости математики.
В 1928 фон Нейман написал работу "К теории стратегических игр", в которой доказал теорему о минимаксе, ставшей краеугольным камнем возникшей позже теории игр.
В работе "Об одной проблеме непротиворечивости аксиоматической теории множеств" фон Нейман показал, что одна из "нетрадиционных" аксиом в предложенной им системе выводима из аксиом других систем. Поскольку обратная выводимость была доказана раньше, то результат означал, что его "необычная" аксиома эквивалентна обычным в других системах.
1944 - работа фон Неймана и О. Моргенштерна "Теория игр и экономического поведения".
(англ. George Boole) — английский математик и логик. Создатель математической логики.
Идеи применения символического метода к логике впервые высказаны им в статье «Математический анализ логики» (1847). Булева алгебра (алгебра логики, алгебра суждений) – раздел математики, в котором изучаются логические операции над высказываниями. Буль произвел научную революцию. То, во что он превратил логику, было в дальнейшем положено в основу построения электронно-вычислительных устройств. Из всей логики именно Булева алгебра получила самое большое практическое применение в технике.