-
En 1879 publicó Conceptografía (Begriffsschrift)
En 1879Friedrich Ludwig Gottlob Frege
publicó Conceptografía (Begriffsschrift)
– Desarrollo de la lógica de primer orden
(operadores and, or, not, implicación, para-todo, existe)
– La notación que utilizaba era bastante complicada -
David Hilbert Publica en 1928 Principios de lógica teórica
– Problema de la decisión: descubrir un método general para
decidir si una fórmula lógica es verdadera o falsa -
1931 Kurt Gödel Publica Articulo sobre Proposiciones
Publica en 1931 el artículo Sobre proposiciones
formalmente indecidibles de Principia Mathematica y
sistemas relacionados
– Teorema de incompletitud:
“En cualquier formalización consistente de las matemáticas
que sea lo bastante fuerte para definir el concepto de números
naturales, se puede construir una afirmación que ni se puede
demostrar ni se puede refutar dentro de ese sistema.” -
1937 – Alan Mathison Turing: invencion de la maquina de turing
Definición de la Máquina de Turing como dispositivo matemático
abstracto de cálculo que introduce el concepto de “algoritmo”.
Origen “oficial” de la informática teórica.
Precursora abstracta de las máquinas de calcular automáticas.
La Máquina de Turing es un modelo abstracto de los ordenadores
actuales.
Demuestra la existencia de problemas irresolubles, los que
ninguna máquina de Turing (y ningún ordenador) puede resolver
o calcular. (Teoría de la Computabilidad). -
1938 – Claude Elwood Shannon: “A symbolic Analysis of relay and switching circuits”
Aplicación de la lógica matemática a los circuitos
combinatorios y secuenciales -
Entre 1938 y 1939 Alonzo Church trabaja con A. Turing
Tesis de Church-Turing: cualquier modelo computacional
existente tiene las mismas capacidades algorítmicas, o un
subconjunto, de las que tiene una máquina de Turing. -
En Claude Elwood Shannon 1948 publica Una Teoría Matemática de la Comunicación.
Nacimiento de la Teoría de la Información -
1950´s, N. Chomsky comienza el estudio formal de las gramáticas
Chomsky clasificó de las gramáticas en diferentes tipos:
-Lenguajes del mismo tipo tienen propiedades en común
-Según el tipo de lenguaje, existen diferentes algoritmos que
permiten comprobar la sintaxis de textos.
