Ради интереса проверил, если коротко то автор доказал что для любой "вычислимой функции" (интеллекта) существуют задачи, которая она неспособна решить.... таким образом просто перефразировав неразрешимость проблемы остановки. Почему автор считает что интеллект должен абсолютно точно решать абсолютно любую задачу, чтобы считаться общим интеллектом, а не просто на уровне человека - непонятно.
Напомню, что для инкремента/декремента счетчиков тоже требуется чтение и запись в память, что тоже не бесплатно. Более того, в условиях многопоточности эти доступы должны быть еще и atomic
Стратегию в Rust принято реализовывать при помощи trait-а Fn. Внутри он реализует практически тот же механизм, что и описан в статье (трейт описывающий сигнатуру метода и отдельные пустые структуры для каждой его реализации), но он является нативным типом для лямбда-функций, что позволяет использовать его намного удобнее
Ради интереса проверил, если коротко то автор доказал что для любой "вычислимой функции" (интеллекта) существуют задачи, которая она неспособна решить.... таким образом просто перефразировав неразрешимость проблемы остановки. Почему автор считает что интеллект должен абсолютно точно решать абсолютно любую задачу, чтобы считаться общим интеллектом, а не просто на уровне человека - непонятно.
Напомню, что для инкремента/декремента счетчиков тоже требуется чтение и запись в память, что тоже не бесплатно. Более того, в условиях многопоточности эти доступы должны быть еще и atomic
Стратегию в Rust принято реализовывать при помощи trait-а Fn. Внутри он реализует практически тот же механизм, что и описан в статье (трейт описывающий сигнатуру метода и отдельные пустые структуры для каждой его реализации), но он является нативным типом для лямбда-функций, что позволяет использовать его намного удобнее