1 янв 1879 г. - Gottlob Frege

Описание:

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.

Добавлено на ленту времени:

Дата: