-
Period: 384 to 322
Aristoteles
Formulo el principio de la no contradicción un principio clásico de la lógica y la filosofía es reconocido como el padre fundador de la lógica y de la biología -
GOTTLOD FREGE
Fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico, publicó su revolucionario concepto gráfico o escritura de conceptos -
LOGICA MATEMATICAFRIEDRICH LUDWING GOTTOB FREGE
Publico conceptografia (Begriffsschrift)
Desarrollo de la logica de primer orden (operadores and, or, not , implicacicion, para-todo, existe)
La notación que utiliza era bastante amplia -
LOGICA MATEMATICA
Propuso la notación actual de la lógica y estudio de los principios de la matemática
Formulario, enciclopedia con todas las formulas y teoremas conocidos en matemáticas -
LOGICA MATEMATICA DAVID HILBERT
Problemas de la decisión: descubrir un método general para decidir si una formula lógica es verdadera o falsa
1-¿son completas las matemáticas, en el sentido de que pueda probarse o no cada aseveración matemática?
2-¿Son las matemáticas consistentes, en el sentido de que no pueda probarse una aseveración y su negación?
3-¿Son las matemáticas, en el sentido de que exista método definido que se pueda aplicar a cualquier aseveración matemática, y que determine si es cierta?. -
D. HIVERT
Su meta era crear un sistema matemático formal "completo" y "consistente". Su idea era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal a este problema lo llamo "Entscheidungsproblem". -
D. HIVERT
Por desgracia para Hilber en la década de 1930 se produjeron una serie de investigaciones que demostraron que su teoría no era posible. -
COMPUTABILIDAD STEPHEN KLEENE
Estudia la teoría de funciones recursivas. Desarrolla las expresiones regulares.Numerosos estudios en teoría de autómatas -
E. POST
Este estaba interesado en marcar la frontera entre lo que se puede hacer en matemáticas simplemente por procedimientos formales y lo que depende de la comprensión y el entendimiento. de esta forma, Post formula un modelo de procedimiento efectivo a través de los llamados sistemas deductivos normales. -
KLEENE
Kleene demuestra formalmente la equivalencia entre funciones definible y funciones re cursivas de Hembrand-Godel y da ejemplo de problemas irresolubles utilizando la noción de función recursiva. -
COMPUTABILIDAD ALONZO CHURCHE
Desarrollo el cálculo Lambda, basado en funciones recursivas. (Base de los lenguajes funcionales).
Demuestra la existencia de problemas indecidibles para el cálculo lambda.
Tesis de Church-Turing: cualquier modelo computacional existente tiene las mismas capacidades algorítmicas, o un subconjunto, de las que tienen una máquina de Turing. -
CHURCH
Church propuso la noción de función definible como función efectivamente calculable. la demostración de teoremas se convierte en una transformacional de una cadena de símbolos en otra. en calculo lambda, según un conjunto de reglas formales, este sistema resulto ser inconsistente, pero la capacidad para expresar-calcular funciones numéricas como términos del sistema llamo pronto la atención de el y sus colaboradores. -
CHURCH, KLEENE, TURING Y POST
El siguiente paso importante lo constituye la aparición casi simultánea en 1936 de varias caracterizaciones independientes de la noción de la calculabilidad efectiva, en los trabajos de Church, Kleene, Turing y Post. los tres primeros mostraban problemas que eran efectivamente indecidibles; church y Turing probaron además que el Entscheidungsproblem era un problema indecidible. -
COMPUTABILIDAD ALAN MATHISON TURING
Participa en la ruptura de cifrado de la maquina Enigma Publica el articulo los números computables, con una aplicación al Entschedunsproblem. Nacimiento de la información teórica
Inventa la máquina de Turing -
TURING
Turing señalo que había tenido éxito en caracterizar de un modo matemático preciso, por medio de sus máquinas, la clase de las funciones calculables mediante un algoritmo, lo que se conoce hoy como TESIS DE TURING. -
MCCULLON Y PITTS
Describen los cálculos lógicos inmersos en un dispositivo que habían diseñado para simular la actividad de una neurona biológica. el dispositivo recibía o no, una serie de impulsos eléctricos por sus entradas que se ponderaban y producían una salida binaria. las salidas y entradas se podían considerar como cadenas de 0 y 1. -
TEORIA DE AUTOMATAS CLAUDE ELWOOD SHANNON
Publica a symebolic analysis of relay and switching circuits aplicacion de la logica matematica a los circuitos electrónicos.
En 1948 publica una teoría matemática de la comunicación. Nacimiento de la teoría de la información -
C. SHANNON
Define los fundamentos de la teoría de la información, y utiliza esquemas para poder definir sistemas discretos, parecidos a los autómatas finitos, relacionándolos con cadenas de Markow, para realizar aproximaciones a los lenguajes naturales. -
J. VON NEUMANN
Introduce el termino de teoría de autómatas y dice sobre los trabajos de McCulloch-Pitts " el resultado mas importante de McCulloch-Pitts es que cualquier funcionamiento en este sentido, que pueda ser definido en todo, lógicamente, estrictamente y sin ambigüedad, en un numero finito de palabras, puede ser realizado también por una tal red neuronal formal ". -
KLEENE
Realiza un informe sobre los trabajos de McCulloch-Pitts que se publica en 1956. En este informe Kleene demuestra la equivalencia entre lo que el llama "dos formas de definir una misma cosa", que son los sucesos regulares ,es decir expresiones regulares, y sucesos especificados por un autómata finito. -
Linguistica NOAM CHOMSKY
Doctorado en 1955 en U. Harvard con la tesis Estructura logica de la teoria linguistica (que no se publñico hasta 1975) -
C. SCHANNON
En 1956 edita, junto a McCarthy, autómata studies , sobre maquinas secuenciales y autómatas finitos.
propone tres modelos para la descripción de lenguajes, que son la base de la futura jerarquía de los tipos de lenguajes, que ayudo también en el desarrollo de los lenguajes de programación. -
NOAM CHOMSKY
En 1957 publica estructuras sintacticas en el que aparece la clasificacion de gramaticas (Jeraruia de chomsky) -
ROBIN Y SCOTT
Obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos. demostraron que su comportamiento posible era básicamente el mismo que el descrito mediante expresiones regulares, desarrolladas a partir del trabajo de McCulloch y Pitts. -
COMPLEJIDAD COMPUTACIONAL STEPTHEN ARTHUR COOK
Publica the complexity of theorem proving procedures, donde define las clases de problemas P , NP, y NP completes.