Gottlob Frege
Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
Find out more at: http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Frege.html