Unad

Autómatas y lenguajes formales

By cnino61
  • Giuseppe Peano

    Giuseppe Peano
    Matemático italiano. Estudió en la Universidad de Turín, Sus aportaciones más recordadas son las referentes a la axiomática de las matemáticas.
    Su fama como matemático quedará vinculada sobre todo a la célebre curva que llena un cuadrado completo y que lleva precisamente el nombre de "curva de Peano"; con ella puso en crisis las antiguas definiciones de curva y abrió el camino a las investigaciones modernas sobre la teoría de las dimensiones.
  • Friedrich Ludwig Gottlob Frege

    Friedrich Ludwig Gottlob Frege
    Fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica.
    En todo momento un objetivo inspiró su actividad: probar que la aritmética es una rama de la lógica y que no necesita extraer una fundamentación demostrativa ni de la experiencia ni de la intuición
  • David Hilbert

    David Hilbert
    Matemático alemán A finales de 1884 se doctoró en Königsberg,
    A partir del año 1904, empezó a desarrollar un programa para dotar de una base axiomática a la lógica, la aritmética y la teoría de conjuntos, con el objetivo último de axiomatizar toda la matemática. El programa de formalización de Hilbert contribuyó al desarrollo de la llamada metamatemática, como método para establecer la consistencia de cualquier sistema formal.
  • Bertrand Russell

    Bertrand Russell
    Filósofo y matemático británico,En sus Principia mathematica (1910-1913), escritos en colaboración con Alfred North Whitehead, propuso la solución de problemas lógicos que venían atormentando a la filosofía y a la matemática de las últimas décadas
  • Kurt Gödel

    Kurt Gödel
    Lógico y matemático estadounidense de origen austriaco. En 1930 entró a formar parte del cuerpo docente de la Universidad de Viena.
    En 1931 publicó el artículo «Sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados»
  • Alan Turing

    Alan Turing
    Matemático británico,En 1937 publicó un célebre artículo en el que definió una máquina calculadora de capacidad infinita (máquina de Turing) que operaba basándose en una serie de instrucciones lógicas, sentando así las bases del concepto moderno de algoritmo.
    Definió además un método teórico para decidir si una máquina era capaz de pensar como un hombre (test de Turing) y realizó contribuciones a otras ramas de la matemática aplicada
  • Alonzo Church

    Alonzo Church
    Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California.
    Destacan, dentro de su abundante producción teórica, sus obras Cálculo de conversión lambda (1941) e Introducción a la lógica matemática (1944). Church difundió sus trabajos a través del Journal of Symbolic Logic, publicación que él mismo dirigía y editaba desd
  • Claude Shannon

    Claude Shannon
    Ingeniero estadounidense, padre de la moderna teoría de la información.
    Las publicaciones de Shannon en 1949 demostraron cómo se podía analizar dicha cuantificación (expresada en una magnitud que denominó bit) mediante métodos estrictamente matemáticos.
    La rama de las matemáticas inaugurada por Shannon se denominó «teoría de la información»
  • Stephen Cole Kleene

    Stephen Cole Kleene
    Lógico y matemático estadounidense. Fue director de los departamentos de matemáticas y de análisis numérico de la Universidad de Wisconsin. Se especializó en el estudio de las funciones recursivas y la teoría de los autómatas. Entre sus numerosas obras destacan Introducción a la matemática (1952) y Lógica matemática (1967).
  • Noam Chomsky

    Noam Chomsky
    Es autor de una aportación fundamental a la lingüística moderna, con la formulación teórica y el desarrollo del concepto de gramática transformacional, o generativa, cuya principal novedad radica en la distinción de dos niveles diferentes en el análisis de las oraciones: por un lado, la «estructura profunda», conjunto de reglas de gran generalidad a partir de las cuales se «genera», mediante una serie de reglas de transformación, la «estructura superficial» de la frase