1 jan 1879 ano - Gottlob Frege

Descrição:

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.

Adicionado na linha do tempo:

Data: