The P vs. NP Continuum Hypothesis
Abstract: This paper presents an isomorphism between the set of problems in P and the Natural Numbers, and an isomorphism between the set of problem in NP and the powerset of the Naturals. Using these isomorphisms the properties of the…
Set Theoretic Programming Language
If set theory is the foundation of all mathematics, then why not also programming (which is a kind of constructive mathematics). The closest to that existing today is, of course, Haskell. Don’t neglect the cool multimedia things that it can…