Erik has a PhD in mathematics specializing in non-classical foundations of mathematics and naive set theory. His work centers around attempting to circumvent classical limitative results and reviving naive set theory as a viable theory.
We spend a lot of this conversation discussing how his work will impact AI Safety and its implications for metaphysics.
Learn more about your ad choices. Visit megaphone.fm/adchoices