Уильям Крейг (философ)
Уильям Крейг (философ) Биография Уильяма Крейга Американский ученый и философ, преподавал в Калифорнийском университете в Беркли. Родился в Нюрнберге в […]
Вики
Computability theorists
Вики
Вильгельм Аккерман
Вильгельм Аккерманн Биография Вильгельма Аккерманна Немецкий математик и логик, известен работами в области математической логики и функции Аккермана. Родился в
Вики
Джеффри Б. Реммель
Джеффри Б. Реммел Биография Джеффри Реммела Американский математик, работал в Калифорнийском университете в Сан-Диего. Заслуженный профессор математики и профессор компьютерных
Вики
Церковь Алонсо
Церковь Алонсо Биография Алонзо Черча Алонзо Черч — американский математик, известный своими работами в области математической логики и теории множеств.
Вики
Алан Тьюринг
Алан Тьюринг Начало работы Тьюринга в Блетчли-парке Алан Тьюринг присоединился к Блетчли-парку в сентябре 1939 года. Он был назначен на
Вики
Эмиль Леон Пост
Эмиль Леон Пост Биография Эмиля Поста Эмиль Пост — американский математик, внесший значительный вклад в теорию рекурсии и теорию вычислимости.
Вики
Альфред Тарский
Альфред Тарский Тарский предложил теорию истины для формализованных языков, известную как концепция истины. Сборник статей Тарского за период с 1923
Вики
Стивен Коул Клини
Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. Он был деканом Колледжа