Ранее Александр Грызлов (специалист по логике и, в частности, теории типов; автор @covalue), отвечая на комментарий Антона Русинова, писал:
Если совсем уже придираться, то "верифицирует сама себя" логика, математики одновременно логиков побаиваются и ими пренебрегают. Логики исторически как раз тесно были связаны с вычислительной техникой, и при этом зачастую под конец жизни слетали с катушек (Кантор, Гёдель, Тюринг, Пост).
