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.<p>This conceptual understanding of Monist metaphysics was the end of my militant atheism.<p>The expression of knowledge is the creation of knowledge.<p>It pleases me to see that Per Martin-Löf joined the same dots in his paper "A path from logic to metaphysics".