The "trinity of computation"
The “trinity of computation” I never thought of it this way Logic tells us what propositions exist (what sorts of thoughts we wish to express) and what constitutes a proof (how we can communicate o…
logic
3 posts
The "trinity of computation"
I never thought of it this way LogicLanguagesCategoriesall three have ontological force; they codify what is, not how to describe what is already given to us. In this sense they are foundational; if…
(Untitled)
Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the most…