A gentle introduction to map theory
Klaus Grue
Presented by Scott Messick on November 4, 2016
Map theory (MT) is a foundation of mathematics. MT is slightly more powerful than ZFC set theory, but its merit is that it builds on top of computable functions where ZFC builds on top of finite sets. Thus, where ZFC is suited as a foundation of mathematics, MT is suited as a foundation of both mathematics and computer science. This paper gives an introduction to MT intended for a broad audience consisting of mathematicians, logicians, and computer scientists.