|
[146] 3. Заметим, что ЭВМ может вычислить или, по крайней мере, пытаться вычислить значение любой частично‑рекурсивной функции (заранее не всегда известно, является ли интересующая нас функция общерекурсивной). Ибо, как показал С. К. Клини, каждую частично рекурсивную функцию можно представить в виде суперпозиции двух функций, первая из которых есть результат действия мю‑оператора на некоторую примитивно рекурсивную функцию, а вторая – примитивно рекурсивная функция, вообще говоря, не совпадающая с упомянутой ранее. [147] 4. И которая, конечно, абсолютно надежна в своем функционировании, то есть не допускает ошибок в переработке данных. Эта идеализация составляет содержание абстракции безошибочности как одного из упрощающих предположений, связанных с идеей эффективной вычислимости и понятием алгоритма. Об этой абстракции см. кн.: Управление, информация, интеллект. Под ред. А. И. Берга и др. М., 1976; Б. В. Бирюков. Проблема абстракции безошибочности в логике. «Вопросы философии», 1973, №11. [148] 5. См, его статьи «Машина для игры в шахматы» и «Составление программ для игры в шахматы на вычислительной машине» в кн.: К. Шеннон. Работы по теории информации и кибернетике. М., 1963. Обе статьи на английском языке впервые были опубликованы в 1950 году. [149] 6. В принципе возможен еще и тот случай, что шахматы есть игра, «всегда выигрышная» для черных. Но многовековый опыт игры в шахматы опровергает такую возможность. [150] 7. См. М.М. Ботвинник. О кибернетической цели игры. М„ 1975. [151] 8. Об эвристических машинных программах и проблемах их разработки см.вкн.:Н.Нильсон. Искусственный интеллект. Методы поиска решений. М., 1973; Дж. Слэйгл. Искусственный интеллект. Подход на основе эвристического программирования М., 1973; Е. А. Александров. Основы теории эвристических решений. Подход к изучению естественного и построению искусственного интеллекта. М. 1975. [152] 9. Следует отметить, что другой пионер теории вычислимости (теории алгоритмов)–А.Тьюринг–также был в числе тех, кто создавал первые универсальные цифровые вычислительные машины (этим он занялся еще до второй мировой войны, а после войны участвовал в разработке первого английского «компьютера»). [153] 10. Коллега фон Неймана, хорошо его знавший, Е. Вигнер, дает выразительную характеристику этого ума. «Безупречная логика была наиболее характерной чертой его мышления. Он производил впечатление идеальной логической машины... отличительной чертой его ума была замечательная память..., он... свободно говорил на пяти языках и умел читать по‑латыни и по‑гречески». Трагическими были его последние дни. «Когда фон Нейман понял, что он неизлечимо болен, логика заставила его прийти к выводу, что он перестанет существовать и, следовательно, мыслить. Такое заключение, весь смысл которого непостижим для человеческого рассудка, ужаснуло его. Тяжело было видеть, как ум его, по мере того, как исчезали все надежды, терпел одно поражение за другим в борьбе с судьбой, казавшейся ему хотя и неизбежной, но тем не менее совершенно неприемлемой» (Е. Вигнер. Джон фон Нейман.– В кн.: Е. Вигнер. Этюды о симметрии. М., 1971, с. 207– 208). О фон Неймане см. также статью К. Шеннона «Вклад фон Неймана в теорию автоматов» в кн.: К. Шеннон. Работы по теории информации и кибернетике. М., 1963. — 140 —
|