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.