-
Giuseppe Peano
Aportes a la lógica matemática con su libro de símbolos modernos para la unión e intersección de conjuntos. La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática. -
David Hilbert
Son las matemáticas completas, consistentes y decidibles cuestionantes fundamentales que fueron el punto de partida para D. Hilbert, su meta era crear un sistema matemático formal "completo" y "consistente", encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal, 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. -
Kurt Godel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática. El primer teorema de incompletitud afirma que, bajo ciertas condiciones, ninguna teoría matemática formal capaz de describir los números naturales y la aritmética con suficiente expresividad, es a la vez consistente y completa. El segundo teorema de incompletitud es un caso particular del primero: afirma que una de las sentencias indecidibles de dicha teoría es aquella que «afirma» la consistencia de la misma -
Stephen Kleene
Por otra parte Kleene, pocos meses después, demuestra formalmente la equivalencia entre
funciones λ-definible y funciones recursivas de Herbrand-Gödel, y da ejemplos de problemas irresolubles utilizando la noción de función recursiva. -
Alonzo 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 -
Emil Leon 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 llamado sistema deductivos normales -
Alan Turing
Turing señalo que había tenido éxito en caracterizar de un modo matemático preciso, por medio de sus maquinas, la clase de las funciones calculables mediante un algoritmo, lo que se conoce hoy como TESIS DE TURING -
McCulloch y Pitts
Describen los cálculos lógicos inmersos en 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ía una salida binaria. Las entradas y salidas se podían considerar como cadenas de 0 y 1, indicando entonces la cadena de entrada para producir la salida. La notación es la base para el desarrollo de expresiones en descripción de conjuntos de cadenas de caracteres. -
McCulloch y Pitts
La neurona de McCulloch-Pitts es una unidad de cálculo que intenta modelar el comportamiento de una neurona "natural", similares a las que constituyen del cerebro humano. Ella es la unidad esencial con la cual se construye una red neuronal artificial. El resultado del cálculo en una neurona consiste en realizar una suma ponderada de las entradas, seguida de la aplicación de una función no lineal, como se ilustra en la siguiente figura -
Von Neumann
La arquitectura von Neumann describe una arquitectura de diseño para un computador digital electrónico con partes que constan de una unidad de procesamiento que contiene una unidad aritmético lógica y registros del procesador, una unidad de control que contiene un registro de instrucciones y un contador de programa, una memoria para almacenar tanto datos como instrucciones, almacenamiento masivo externo, y mecanismos de entrada y salida. -
N. Chomsky
Propone tres modelos para la descripción de lenguajes, que son la base futura jerarquía de los tipos de lenguajes, que ayudó también en el desarrollo de los LP. Para ello intentó utilizar autómatas para extraer estructuras sintácticas y dirige sus estudios a las gramáticas, indicando que la diferencia esencial entre autómatas y gramáticas es que la lógica asociada a los autómatas es decidible, mientras que la asociada a las gramáticas no lo es. -
Rabin y Scott 1960
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 de
los trabajos de McCulloch y Pitts. -
Norman E. Gibbs y Allen B. Tucker 1986
indican que: ‘no debemos entender que el objetivo
de las Ciencias de la Computación sea la construcción de programas sino el estudio sistemático
de los algoritmos y estructura de datos, específicamente de sus propiedades formales’