Сьогодні - Що сталося? 30 November 1936 н. е.

У 1936 році Тюрінг опублікував свою статтю «Про обчислювані числа, із застосуванням до Entscheidungsproblem» (проблеми розв'язності). Вона була опублікована в журналі Proceedings of the London Mathematical Society у двох частинах: перша — 30 листопада, друга — 23 грудня.

Тюрінг опублікував свою статтю «Про обчислювані числа, із застосуванням до Entscheidungsproblem» (проблеми розв'язності). Вона була опублікована в журналі Proceedings of the London Mathematical Society у двох частинах: перша — 30 листопада, друга — 23 грудня. У цій статті Тюрінг переформулював результати Курта Геделя 1931 року про межі доведення та обчислення, замінивши універсальну формальну мову Геделя, засновану на арифметиці, формальними та простими гіпотетичними пристроями, які стали відомі як машини Тюрінга. Entscheidungsproblem (проблема розв'язності) була вперше поставлена німецьким математиком Давидом Гільбертом у 1928 році. Тюрінг довів, що його «універсальна обчислювальна машина» здатна виконати будь-яке мислиме математичне обчислення, якщо воно може бути представлене як алгоритм. Він також довів, що розв'язання проблеми розв'язності не існує, показавши, що проблема зупинки для машин Тюрінга є нерозв'язною: неможливо алгоритмічно визначити, чи зупиниться машина Тюрінга коли-небудь.

У 1936 році Тюрінг опублікував свою статтю «Про обчислювані числа, із застосуванням до Entscheidungsproblem» (проблеми розв'язності). Вона була опублікована в журналі Proceedings of the London Mathematical Society у двох частинах: перша — 30 листопада, друга — 23 грудня.

Тюрінг опублікував свою статтю «Про обчислювані числа, із застосуванням до Entscheidungsproblem» (проблеми розв'язності). Вона була опублікована в журналі Proceedings of the London Mathematical Society у двох частинах: перша — 30 листопада, друга — 23 грудня. У цій статті Тюрінг переформулював результати Курта Геделя 1931 року про межі доведення та обчислення, замінивши універсальну формальну мову Геделя, засновану на арифметиці, формальними та простими гіпотетичними пристроями, які стали відомі як машини Тюрінга. Entscheidungsproblem (проблема розв'язності) була вперше поставлена німецьким математиком Давидом Гільбертом у 1928 році. Тюрінг довів, що його «універсальна обчислювальна машина» здатна виконати будь-яке мислиме математичне обчислення, якщо воно може бути представлене як алгоритм. Він також довів, що розв'язання проблеми розв'язності не існує, показавши, що проблема зупинки для машин Тюрінга є нерозв'язною: неможливо алгоритмічно визначити, чи зупиниться машина Тюрінга коли-небудь.