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