-
Siglo XIX
George Boole publico un tratado llamado "El análisis matemático de la lógica" -
Siglo XIX
George Boole publicó un tratado llamado "El análisis matemático de la lógica" -
Idea de Boole
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). -
Idea de Boole
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) -
Paradojas
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. -
Diagramas de Venn
En 1881 hubo un gran avance cuando Jhon Venn publicó su libro "Lógica Simbólica", donde incluyo los Diagramas de Venn -
Sin Paradojas
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. -
Condicionales
Lewis publica "Conditionals and the Algebra of Logic" -
Nuevo condicional
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. -
Programa de Hilbert
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. -
Inicio de la Ingeniería
El origen del término ingeniería de sistemas se remonta a los Bell Telephone Laboratories -
Jerarquía de Chomsky
Noam Chomsk propone una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales llamada jerarquía de Chomsky.
