Здравствуйте, Mr.Cat, Вы писали:

T>>Bottom — это и не завершимость тоже. Циклический вызов функциями друг друга в бесконечном цикле — тоже bottom. А порождения throw some_value не даёт.
MC>Изначально мы говорили о противоречии. А незавершающиеся вычисления противоречием не являются. Противоречие — это когда мы доказали что-то чего доказать не должны были.

Это и есть противоречие.

Так что Лисп ничему не учит.