(no subject)

[anhinga_anhinga]

Let's try to reopen the discussion related to strong AI, theory of consciousness, whether there is a relation to quantum physics or not, etc. We might discuss texts written by Roger Penrose in connection with these topics, because these texts often serve as a good starting point, or we might want to discuss these topics directly without referring to Penrose...

Comments

[anhinga-anhinga.livejournal.com]

> Общий вывод - никакая система не может описывать самую себя. Формализованный вывод, но философия пробудилась с этой мыслью (еще бы ей об этом не думать ведь философия - это метаязык par exellence:))

Я по-прежнему не вижу никаких оснований к такому умозаключению. Тема, впрочем, слишком большая, чтобы ее было легко покрыть полностью, так что я напишу некоторые разрозненные комментарии.

Начну с того, что я не всегда понимаю, что имеется в виду под понятием "дурная беконечность", но, когда Вы говорите про "последний метаязык", то это звучит довольно странно, потому что я привык думать про счетную башню языков в этой ситуации...

Еще одна ремарка состоит в том, что системы взаимно рекурсивных определений довольно часто, хотя и не всегда, хорошо определены. Правильный способ про них думать - это относиться к ним, как к системам уравнений, которые могут иметь или не иметь решение. В тех случаях, когда решение есть, довольно часто, хотя и не всегда, бывает, что решение единственно или что одно из решений - каноническое в некотором смысле.

Поэтому, некоторые системы с рекурсивными ссылками корректны, а другие - нет, и надо внимательно разбираться. Отдельным комментарием приведу, в качестве примера, некоторую конкретную историю...