<person, history, philosophy, mathematics, logic, theory>
(1848-1925) A mathematician who put mathematics on a new and
more solid foundation. He purged mathematics of mistaken,
sloppy reasoning and the influence of Pythagoras.
Mathematics was shown to be a subdivision of formal logic.