Historia y evolución de la teoría de autómatas y lenguajes formales

  • Lógica Matematica

    Lógica Matematica
    Friedrich Ludwig Gottlob Frege sentó las bases de la lógica matemática moderna, iniciando una nueva era en esta disciplina que había permanecido prácticamente inalterada desde Aristóteles
  • Lógica Matematica

    Lógica Matematica
    Giuseppe Peano
    uso de la lógica más como medio de exposición de la matemática que como su fundamento (al estilo de Frege o Russell), desarrolló una sintaxis muchos de cuyos símbolos (como los de pertenencia, unión o intersección) son hoy día empleados de forma universal.
  • Lógica Matematica

    Lógica Matematica
    David Hilbert
    Fundadores de la teoría de la demostración, la lógica matemática y la distinción entre matemática y metamatemática. Adoptó y defendió vivamente la teoría de conjuntos y los números transfinitos de Cantor
  • Lógica Matematica

    Lógica Matematica
    Stephen Kleene
    Introdujo la operación Clausura de Kleene, denotada por el símbolo V*
  • Lógica Matematica

    Lógica Matematica
    Alonzo Church
    Creador de la base de la computación teórica
    Formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva
  • Lógica Matematica

    Lógica Matematica
    Claude Elwood Shannon
    Teoría de la información con la publicación Una teoría matemática de la comunicación.
    Padre de la teoría de la información
  • Lógica Matematica

    Lógica Matematica
    Noam Chomsky
    El más importante de los pensadores contemporáneos
  • Lógica Matematica

    Lógica Matematica
    Stephen Arthur Cook
    La complejidad de los procedimientos de demostración de teoremas