research
∙
09/20/2021
Machines as Programs: P ≠ NP
The Curry-Howard correspondence is often called the proofs-as-programs r...
share
research
∙
05/22/2020
Jonathan J. Mize
B.A. in Philosophy from the University of North Texas. Expertise in metaphysics, logic and social and cognitive philosophy. Motivated to advance the up and coming Cognitive-Theoretic Model of the Universe (CTMU) into the academic arena.