Y, 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. [Where?] (1997-07-14)