-
George Boole publico un tratado llamado "El análisis matemático de la lógica"
-
George Boole publicó un tratado llamado "El análisis matemático de la lógica"
-
Luego de publicar el libro "Las leyes del pensamiento", Boole tuvo la idea de construir la lógica basándose en un calculo de valores de verdad (F - Falso, V - Verdadero).
-
Luego de publicar el libro "Las leyes del pensamiento", Boole quería construir la lógica basándose en un calculo de valores de verdad (F - Falso, V - Verdadero)
-
Con el comienzo de la revolución de la Lógica por Gottlob Frege, que es considerado como el lógico mas importante dela historia, Frege ofrece un sistema de lógica de predicados y calculo proposicional.
-
En 1881 hubo un gran avance cuando Jhon Venn publicó su libro "Lógica Simbólica", donde incluyo los Diagramas de Venn
-
Bertrand Russell y Alfred North Whitehead publican "Principia mathematica", un trabajo en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas de Frege.
-
Lewis publica "Conditionals and the Algebra of Logic"
-
Lewis publica "A Survey of Symbolic Logic" en donde propone un nuevo condicional para recoger el significado de la expresión «si... entonces». Lewis lo llama implicación estricta.
-
Propuso de forma explícita un proyecto de investigación (en meta - matemática, como se llamó entonces) que acabó siendo conocido como programa de Hilbert.
-
El origen del término ingeniería de sistemas se remonta a los Bell Telephone Laboratories
-
Noam Chomsk propone una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales llamada jerarquía de Chomsky.
