1 janv. 1879 - Gottlob Frege
Description:
Gottlob Frege is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics.
1) Defined Frege's propositional calculus (first-order logic)
2) He defined Frege's propositional predicate calculus
3)These were vital in the development of theoretical computer science.
Ajouté au bande de temps:
Date: