set theory has long been considered the foundation of all mathematical thought. however, people who prove theorems on computers for a living don't use set theory anymore--and now some suggest that mathematicians should do the same. we'll discuss the problems people have with set theory and its main alternative, type theory.