Без заголовка

Вот я поэтому и хочу сделать современный курс логики, где аристотелевщина преодолена и работаем с байесовскими оценками. Нет никаких чёрно-белых высказываний, везде распределения вероятностей. Если из 20 каких-то операций 5 засунули в GPU (цифры абстрактны), это не означает, что проблема полностью решена -- но в формальной логике это невыразимо. Мой любимый пример -- это https://en.wikipedia.org/wiki/Universal_approximation_theorem (нейронная сеть с одним скрытым слоем универсальна! только толку от этого нет: вычислительно там запредельно плохо становится с ростом сложности функции. Поэтому решение только в глубоких сетях, а не в теоретически верных обычных). Поэтому меня переход к формальной логике только печалит в таких случаях, когда оценивается одновременно производительность, универсальность, высокий уровень абстракции языка и т.д.. Аристотелевская логика тут туманит, а не проясняет. И уж точно ничего не доказывает.