Few years ago I joined some metaphysical dots between "construction", "constructivism", "creation" and "creationism" in my head, which is what led me on to explore 100 years of history/theory behind computational trinitarianism, intuitionistic logic, Curry-Howard isomorphism etc.
This conceptual understanding of Monist metaphysics was the end of my militant atheism.
The expression of knowledge is the creation of knowledge.
It pleases me to see that Per Martin-Löf joined the same dots in his paper "A path from logic to metaphysics".
This conceptual understanding of Monist metaphysics was the end of my militant atheism.
The expression of knowledge is the creation of knowledge.
It pleases me to see that Per Martin-Löf joined the same dots in his paper "A path from logic to metaphysics".