Сама по себе комбинаторная логика изоморфна λ-исчислению, но обладает, по словам некоторых специалистов, большей выразительной силой.
(c) Роман Душкин
Подумалось, что компьютеры будущего должны будут понимать матоязык, как явно наиболее выразительный.