Machines as Programs: P ≠ NPThe Curry-Howard correspondence is often called the proofs-as-programs r...
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.