>Я не планирую открывать новую ветку, потому что есть и эта.
Виноват. Я как-то пропустил.
>Если хотите обсудить высказанные тезисы, то можете открыть новую ветку взамен диалектической.
Возможно, я так и сделаю, чуть позже. Но - мне казались - это вы хотите, чтобы ваши тезисы обсудили, нет?
>Всё равно мы не думаем реагировать на Ахиллеса и черепаху.
Но тогда вам лучше не упоминать слово "формальный". Формальные методы надо проверять на простых примерах, прежде чем использовать в реальных ситуациях.
Есть что возразить?
Ваш "формальный метод" потерпит фиаско сразу же, как только эксперимент по его применению будет наглядным. Весь ваш "формализм" - это словоблудие.