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…
trinity
2 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…