О вычислимых числах
время: понедельник нояб. д, й
Место: Англия
детали: Тьюринг опубликовал свою статью «О вычислимых числах, с приложением к Entscheidungsproblem». Она была опубликована в журнале Proceedings of the London Mathematical Society в двух частях: первая 30 ноября, вторая 23 декабря. В этой статье Тьюринг переформулировал результаты Курта Гёделя 1931 года о пределах доказательства и вычисления, заменив универсальный формальный язык Гёделя, основанный на арифметике, формальными и простыми гипотетическими устройствами, которые стали известны как машины Тьюринга. Entscheidungsproblem (проблема разрешения) была первоначально поставлена немецким математиком Давидом Гильбертом в 1928 году. Тьюринг доказал, что его «универсальная вычислительная машина» будет способна выполнять любое мыслимое математическое вычисление, если оно представимо в виде алгоритма. Далее он доказал, что решения проблемы разрешения не существует, сначала показав, что проблема остановки для машин Тьюринга неразрешима: невозможно алгоритмически решить, остановится ли когда-нибудь машина Тьюринга.
Может содержать ошибки.
Приблизительная хронология. Некоторые события могут отображаться не по порядку, так как известны только годы, но обычно они относятся к одному периоду.
Связанный
Близко
























































































































































































Сегодня - 30 November





















































30 November 1936


November 1936
















1936







































































































































































































