> Общий вывод - никакая система не может описывать самую себя. Формализованный вывод, но философия пробудилась с этой мыслью (еще бы ей об этом не думать ведь философия - это метаязык par exellence:))
Я по-прежнему не вижу никаких оснований к такому умозаключению. Тема, впрочем, слишком большая, чтобы ее было легко покрыть полностью, так что я напишу некоторые разрозненные комментарии.
Начну с того, что я не всегда понимаю, что имеется в виду под понятием "дурная беконечность", но, когда Вы говорите про "последний метаязык", то это звучит довольно странно, потому что я привык думать про счетную башню языков в этой ситуации...
Еще одна ремарка состоит в том, что системы взаимно рекурсивных определений довольно часто, хотя и не всегда, хорошо определены. Правильный способ про них думать - это относиться к ним, как к системам уравнений, которые могут иметь или не иметь решение. В тех случаях, когда решение есть, довольно часто, хотя и не всегда, бывает, что решение единственно или что одно из решений - каноническое в некотором смысле.
Поэтому, некоторые системы с рекурсивными ссылками корректны, а другие - нет, и надо внимательно разбираться. Отдельным комментарием приведу, в качестве примера, некоторую конкретную историю...
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2005-05-22 05:35 pm (UTC)Я по-прежнему не вижу никаких оснований к такому умозаключению. Тема, впрочем, слишком большая, чтобы ее было легко покрыть полностью, так что я напишу некоторые разрозненные комментарии.
Начну с того, что я не всегда понимаю, что имеется в виду под понятием "дурная беконечность", но, когда Вы говорите про "последний метаязык", то это звучит довольно странно, потому что я привык думать про счетную башню языков в этой ситуации...
Еще одна ремарка состоит в том, что системы взаимно рекурсивных определений довольно часто, хотя и не всегда, хорошо определены. Правильный способ про них думать - это относиться к ним, как к системам уравнений, которые могут иметь или не иметь решение. В тех случаях, когда решение есть, довольно часто, хотя и не всегда, бывает, что решение единственно или что одно из решений - каноническое в некотором смысле.
Поэтому, некоторые системы с рекурсивными ссылками корректны, а другие - нет, и надо внимательно разбираться. Отдельным комментарием приведу, в качестве примера, некоторую конкретную историю...