Skip to main content



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.

PDF