[nauczyciel]

gav

Какие доводы убедительны? Возможность проверки на формальную непротиворечивость без формализации? Естественно, можно. Только достаточно богатую систему так проверить не удастся

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

утверждение, что достаточно богатую научную теорию можно проверить на формальную непротиворечивость без формализации - это примерно тоже самое, что сказать, например, что можно с помощью ученической линейки измерить длину земного шара

Видимо, для гум. наук нет ничего невозможного
PavelAR

пуля промеж глаз

Ладно, ладно, уже иду стреляться

думаете, что это первый гуманитарий, с которым я бодаюсь

Не думаю. Хоть я и недавно на этом форуме, но уже насмотрелся на такие бодания.
Извините, если обидел Вас своим пораженческим настроением.