Viva a sabedoria...

Gottlob Frege

Filósofo e matemático (1848-1925). Foi um dos fundadores  da lógica moderna. É mesmo considerado um dos maiores lógicos do seu tempo. É  responsável por um um conjunto de inovações naquela saber, como a introdução de "quantificadores", a "função proposicional", sendo o primeiro a construir um sistema axiomático do cálculo proposicional. E considerou a matemática como ramo da Lógica. Influenciou  pensadores como Russel, Husserl, Carnap, de entre outros. Obra capital: Leis Fundamentais da Aritmética (2 vols).

http://www.eurosophia.com/filosofos/filosofos/frege.htm