-
-
-
-
-
-
-
-
Todo sistema de primer orden consistente que contenga los teoremas de la aritmética y cuyo conjunto de (números de Gödel de) axiomas sea recursivo no es completo
-
-
On notation for ordinal numbers
-
-
Descubrieron los cálculos lógicos inmersos en un dispositivo denominado Neurona Artificial
-
-
-
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
-
introduce el termino de teoría de autómatas, y dice sobre los trabajos de McCulloch-Pitts, el resultado más 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 número finito de palabras,puede ser realizado también por una tal red neuronal formal.
-
realiza un informe (solicitado por la RAND Corporation) sobre los trabajos de McCulloch-Pitts
-
utiliza conceptos como estado de un autómata y tabla de transiciones
-
jerarquía de Chomsky
-
la Princenton Univ. Press publica el libro Automata Studies, editado por C. Shannon y J. McCarthy, donde se recogen una serie de trabajos sobre autómatas y lenguajes formales.
-
propone tres modelos para la descripción de lenguajes, que son la base de su futura jerarquía de los tipos de lenguajes Para ello intentó utilizar autómatas para extraer estructuras sintácticas y dirige sus estudios a las gramáticas, indicando que la diferencia esencialmente autómatas y gramáticas es que la lógica asociada a los autómatas. Desarrolla el concepto de gramática libre del contexto,en el transcurso de sus investigaciones sobre la sintaxis de los lenguajes naturales.
-
-
obtienen un modelo de computador con una cantidad finita de memoria, al que llamaron autómata de estados finitos.
-
la complejidad computacional de los algoritmos
-
-
no se debe entender que el objetivo de las ciencias de la computación sea la construcción de programas , si no el estudio sistemático de los algoritmos y estructura de datos, específicamente en sus propiedades formales.
-
las Ciencias de la computación, como un cuerpo de conocimiento cuyo objetivo es obtener respuestas