The Free On-line Dictionary of Computing (30 December 2018):

Gottlob Frege
Frege, Gottlob

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