Системы логики, основанные на порядковых числах
Логические системы, основанные на ординалах Основы ординальной логики Алан Тьюринг исследовал ординальные системы в своей докторской диссертации. Тьюринг не разработал […]
Логические системы, основанные на ординалах Основы ординальной логики Алан Тьюринг исследовал ординальные системы в своей докторской диссертации. Тьюринг не разработал […]
Тьюринг (шифр) Разработка и особенности шифра Тьюринга Создан Грегори Дж. Роуз и Филип Хоукс из Qualcomm на основе шифра SOBER.
Тезис Черча–Тьюринга Тезис Черча-Тьюринга Тезис утверждает, что все вычислимые функции могут быть реализованы на машине Тьюринга. Математически эквивалентен понятию частичной
Прыжок Тьюринга Определение оператора перехода Тьюринга Переход Тьюринга увеличивает степень Тьюринга задачи, делая её неразрешимой с помощью оракула для исходной
Сокращение Тьюринга Определение и свойства редукции по Тьюрингу Редукция по Тьюрингу – это эффективный метод сведения одного множества к другому.
Автоматическая вычислительная машина История и разработка ACE ACE – первый компьютер с последовательной памятью программ, разработанный Аланом Тьюрингом. Тьюринг завершил
Симметричная машина Тьюринга Определение и свойства симметричных машин Тьюринга Симметричная машина Тьюринга имеет неориентированный граф конфигурации, где переход возможен только
Химическая основа морфогенеза Основы морфогенеза по Тьюрингу Статья Алана Тьюринга 1952 года описывает, как узоры в природе могут возникать из
Эндрю Ходжес Биография Эндрю Ходжеса Британский математик, писатель, почетный старший научный сотрудник Уодхэм-колледжа Образование получил в Биркбекском Лондонском университете, доктор
Доказательство Тьюринга Доказательство неразрешимости проблемы Entscheidungsproblem Тьюринг доказывает, что проблема Entscheidungsproblem (проблема определения, является ли формула доказуемой) неразрешима. Он использует
Лаборатория вычислительных машин Основание Лаборатории вычислительных машин Основана Максом Ньюманом в 1946 году после Второй мировой войны. Финансировалась грантом Королевского
Здание Алана Тьюринга Описание здания Алана Тьюринга Здание Манчестерского университета, названное в честь Алана Тьюринга, включает математическую школу, Институт фотонных
Институт Алана Тьюринга Основание и управление Институт Алана Тьюринга основан в 2015 году в Великобритании. Финансируется правительством Великобритании и является
Тест Тьюринга История и значение теста Тьюринга Тест Тьюринга – это тест, который определяет, может ли машина имитировать поведение человека.
Вычислительная техника и интеллект Основные идеи статьи Тьюринга Тьюринг утверждает, что компьютеры могут имитировать человеческий интеллект, если они способны выполнять
Премия Тьюринга Премия Тьюринга Ежегодная премия, присуждаемая ACM за вклад в компьютерные науки. Считается высшей наградой в области компьютерных наук,
Алан Тьюринг Начало работы Тьюринга в Блетчли-парке Алан Тьюринг присоединился к Блетчли-парку в сентябре 1939 года. Он был назначен на
Национальная физическая лаборатория (Великобритания) История и достижения NPL NPL была основана в 1841 году и является старейшей государственной научной организацией
Степень Тьюринга Степень Тьюринга (или неразрешимость) измеряет уровень алгоритмической неразрешимости набора натуральных чисел. Понятие степени Тьюринга фундаментально в теории вычислимости.
Паттерн Тьюринга Паттерн Тьюринга – концепция, предложенная Аланом Тьюрингом для объяснения возникновения природных узоров из однородного состояния. Закономерность возникает из-за
Рекурсивно перечислимый язык Формальный язык называется рекурсивно перечислимым, если он представляет собой рекурсивно перечислимое подмножество во множестве всех возможных слов