-
Formuló crear un sistema matemático formal
-
Teorema de incompletitud de codificación
-
Hace un esquema de la demostración de la equivalencia entre funciones
-
-Descifro los códigos de la maquina enigma
-Creador de la maquina Turing -
propusieron varias caracterizaciones independientes de calculabilidad.
-
Describen los cálculos lógicos inmersos en un dispositivo (neurona artificial) que habían diseñado para simular la actividad de una neurona biológica.
-
creador de la teoría de la información
-
Introduce el termino de teoría de autómatas
-
-Es un lenguaje de programación utilizado principalmente en matemáticas y en aplicaciones de cálculo científico.
-Desarrollado originalmente por IBM en 1957 para el equipo IBM 704 -
Realizaron estudios rigurosos sobre autómatas y sobre la síntesis de circuitos secuenciales
-
Creador de la teoría de la recursividad
-
fue el primero en utilizar el tipo de maquinas de estados finitos
-
postuló la existencia de una Gramática Universal.
