Робин Ганди был учеником Алана Тьюринга .
Ганди сделал анализ Аналитического двигателя Бэббиджа (см. «Ганди - Слияние идей в 1936 году», цитируемый в «Херкен, Рольф - Универсальная машина Тьюринга - Обследование за полвека . Springer Verlag») - и сказал, что это сделал (ср. стр. 52–53):
- Арифметические функции +, -, ×, где - указывают «правильное» вычитание x - y = 0, если y ≥ x.
- Любая последовательность операций является операцией.
- Итерация операции (повторение n раз операции P).
- Условная итерация (повторение n раз операции P при условии «успеха» теста T).
- Условный перевод (т. Е. Условный переход).
Затем он заявляет
функции, которые можно вычислить с помощью (1), (2) и (4), являются в точности теми, которые вычислимы по Тьюрингу.
(стр. 53).
Затем он заявляет:
… Акцент делается на программировании фиксированной итерируемой последовательности арифметических операций. Фундаментальное значение условной итерации и условного переноса для общей теории вычислительных машин не признается…
Ганди р. 55
Я оцениваю объем претензий Ганди здесь. (Правильно это или нет). Похоже, он заявляет, что хотя Бэббидж, похоже, натолкнулся на понятие полноты Тьюринга (может выразить любую программу, используя (1), (2) и (4) - у него не было понятия вычислимой функции . (Возможно, Ганди говорил, что поскольку работа Бэббиджа была до работы Гильберта и Годеля , у него не было математических инструментов, чтобы связать определение универсальной вычислительной машины.)
Мой вопрос: утверждал ли ученик Алана Тьюринга Робин Ганди, что Чарльз Бэббидж не имел понятия об универсальной вычислительной машине?
Ответы:
Нет, наоборот. Эта цитата Гэнди относится не к Бэббиджу, а к некоторым промежуточным предложениям по универсальным вычислениям между Бэббиджем и Тьюрингом. Гэнди говорит, что в этих предложениях не было признания Бэббиджа важности ветвления и итерации для универсальных вычислений.
В «Слиянии идей в 1936 году» Ганди, напечатанном в книге «Универсальная машина Тьюринга - обзор за полвека», раздел 2 - «Бэббидж и его последователи».
Здесь Гэнди подчеркивает, что Бэббидж понимал и уважал «условную итерацию» и «условный перенос», например, конец p53 и начало p54.
(Здесь Ганди ссылается на статью Менабреа 1842 года о двигателе Бэббиджа, но, похоже, приписывает идеи самому Бэббиджу.)
Ганди тогда цитирует Бэббиджа
и пишет
Затем Ганди переходит к разделу 2.3 «Последующие разработки». Он написал
Наконец, Ганди пишет:
источник