Без заголовка
Интересный тезис о неполноте формальных моделей по сравнению с естественным языком, прям по Гёделю.
Какая в таком случае видится роль у моделей? Дополнять, переводить текстовые описания или конкурировать с ними, если уж заменить не получится?