-
Fundó la lógica como disciplina formal, con el silogismo como base del razonamiento deductivo.
-
Avances en lógica proposicional estoica.
-
Integra lógica aristotélica en la escolástica.
-
Idea de un lenguaje lógico universal
-
Introduce el álgebra booleana.
-
Funda la lógica de predicados moderna.
-
Teoremas de incompletitud.
-
Concepto de máquina de Turing, base de la informática.
Looking for a timeline maker?
Create timelines for projects, roadmaps, history, lessons, legal cases, and stories with Timetoast. Timetoast is a timeline maker for work, school, research, and stories.