Алгоритмы представления деревьев линейными словами

[Sashamandra]

Спасибо за разъяснения. Наблюдаются кое-какие нестыковки в определении, но это, по-видимому, из-за ошибок памяти. Главное для меня в другом. Здесь не была поставлена та задача, о которой я говорил выше даже в частном случае. Для меня ваши определения переменной и формулы должны выступать как содержательные, то есть интуитивно понимаемые определения. Математическими предметами переменные и формулы становятся только тогда, когда они будут определены с помощью перечисляющих машин Тьюринга. Причем каждое определение должно сопровождаться построением соответствующей разрешающей машины Тьюринга, вычисляющей, что данное слово подпадает или не подпадает под конкретное определение. Как ни как мы работаем с бесконечным числом объектов и на бумагу нельзя надеяться.

[Xaositect]

Ну, любое "стандартное" определение вида "то-то и то-то есть формулы, если эти штуки-формулы, то можно вот так построить новую формулу, и других формул нет" представляет собой как раз неформальное описание перечисляющего алгоритма. Основные операции в нем - pattern matching и конкатенация строк.

[Sashamandra]

Это все ясно. Математические доказательства существовали задолго до того, как было дано определение того, что есть математическое доказательство. Но после того, как дано определение математического доказательства, сами доказательства меняются и математики начинают доказывать по-другому.

[Профессор Снэйп]

Xaositect в сообщении #295274 писал(а):

Sashamandra в сообщении #295268 писал(а):

Почему вы мне об этом говорите, а не Снэйпу? Это он, по-видимому, под гёделевской нумерацией понимает нумерацию, предложенную Гёделем.

Потому что я уверен, что он об этом знает.

Это то, что я читаю первокурсникам в НГУ. Посмотрите определение 23 на странице 87 (и далее до стр. 94). (Если что, это я для Xaositect, мнение Sashamandra меня не интересует.)

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

[ChechulinVL]

Теопремы Гёделя, кстати, передоказаны без привлечения диагональных рассуждений (нумераций). см. http://www.iam.khv.ru/zschool/files/Thesis.pdf стр. 60-61