(b. 1848,Wismar, Germany, d. 1925, Bad Kleinen, Germany, Ph.D. mathematics - geometry, University of Göttingen, 1873). Frege constructed the first predicate calculus, developed a new analysis of basic propositions and quantification, formalized the notion of a proof in terms that are still accepted today, and demonstrated that one could resolve theoretical mathematical statements in terms of simpler logical and mathematical notions.
< Discussion > < References > Tadeusz Zawidzki