Gottlob Frege
1848-1925 Frege, Gottlob German mathematician and logician, who founded modern mathematical logic, in which he developed an analysis of quantified statements and formalized the notion of a ‘proof’ in terms that are still accepted today.