Книга: Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
АЛОНЗО ЧЁРЧ, ЛЯМБДА-ИСЧИСЛЕНИЕ И «ЛИСП»
АЛОНЗО ЧЁРЧ, ЛЯМБДА-ИСЧИСЛЕНИЕ И «ЛИСП»
Несмотря на то что с Тьюрингом всегда ассоциировалась машина, носящая его имя, после того как с трудами этого исследователя познакомился другой замечательный математик, Алонзо Чёрч (1903-1995), последний опубликовал работу, которая отнимала у машины Тьюринга часть оригинальности.
В 1930-е годы Чёрч вместе со Стивеном Клейни (1909-1994) ввели Х-исчисление — абстрактную математическую систему для формализации и анализа вычислимости функций.
Функция — математическое выражение у = f(x), отражающее связь между двумя переменными, например длиной х и весом у синих китов, в виде выражения у = 3,15х - 192. Это понятие, предложенное в XVII веке Декартом, Ньютоном и Лейбницем, в 1930-е годы было пересмотрено с целью разработки общей теории математических функций.
- А-МАШИНА ТЬЮРИНГА
- ПАРАДОКС ЛЖЕЦА
- СОСТОЯНИЯ МАШИНЫ
- У-МАШИНА ТЬЮРИНГА. МОЖЕТ ЛИ МАШИНА БЫТЬ УНИВЕРСАЛЬНОЙ
- ЛУННАЯ МИССИЯ «АПОЛЛОН-11»
- АЛОНЗО ЧЁРЧ, ЛЯМБДА-ИСЧИСЛЕНИЕ И «ЛИСП»
- Новый синтаксис
- Проблема остановки
- ДРУГИЕ МАШИНЫ ТЬЮРИНГА
- ПРОБЛЕМА ОСТАНОВКИ. ПОЧЕМУ КОМПЬЮТЕР «ЗАВИСАЕТ»
- БЕСКОНЕЧНОСТЬ МАШИН ТЬЮРИНГА
- Современные компьютеры
- ПОСТРОИТЬ МАШИНУ ТЬЮРИНГА
- СОЗДАНИЕ МАШИНЫ ТЬЮРИНГА С ПОМОЩЬЮ ИГРЫ «ЖИЗНЬ»
- АМЕРИКАНСКОЕ ПРИКЛЮЧЕНИЕ
- Применение лямбда-выражения в качестве задачи
- Rafael Lahoz-Beltra Наука. Величайшие теории. Выпуск 15: Размышления о думающих машинах. Тьюринг. Компьютерное исчислени...
- Лямбда-выражения
- Исчисление дат
- Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
- 10.1. Краткое введение в исчисление предикатов
- Лямбда-исчисление Черча
- ГЛАВА 15 Делегаты, события и лямбда-выражения
- Применение анонимных методов и лямбда-выражений вместе с событиями
- Захват переменных в лямбда-выражении