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