research
∙
09/20/2021
Machines as Programs: P ≠ NP
The Curry-Howard correspondence is often called the proofs-as-programs r...
research
∙
05/22/2020
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.
Use your Google Account to sign in to DeepAI