(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.