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

MC>Здравствуйте, thesz, Вы писали:
T>>Скажи, какая логика находится в основании лиспа. Можно ли в ней выразить противоречие каким-либо образом?
MC>Ты сечас про конструктивную логику?

Их много. Ты про какую?

Лично мне была интересна логика в основе Лиспа.

MC>Тогда прямой аналог противоречия — исключение.
MC>Потому как, емнип, наличие на руках доказательства этого самого боттома — должно рассматриваться повод завершить вычисления к чертовой матери, попутно породив доказательство произвольного утверждения (ака throw some_value). Не?

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

Так что с логикой у Лиспа так себе. Ничему-то он не учит.