Edward Forrest Moore (23 de noviembre de 1925 en Baltimore, Maryland - 14 de junio de 2003 en Madison, Wisconsin ) fue un profesor estadounidense de matemáticas e informática , inventor de la máquina de estados finitos de Moore y pionero de la vida artificial .
Edward Forrest Moore | |
---|---|
Nació | 23 de noviembre de 1925 |
Fallecido | 14 de junio de 2003 | (77 años)
Conocido por | Máquina de moore |
Antecedentes académicos | |
alma mater |
Biografía
Moore recibió una licenciatura en química del Instituto Politécnico de Virginia en Blacksburg, Virginia en 1947 y un doctorado. en Matemáticas de la Universidad de Brown en Providence, Rhode Island en junio de 1950. Trabajó en la Universidad de Illinois en Urbana-Champaign de 1950 a 1952 y fue profesor invitado en el MIT y profesor invitado en la Universidad de Harvard simultáneamente en 1961-1962. Trabajó en Bell Labs desde 1952 hasta 1966. Después de eso, fue profesor en la Universidad de Wisconsin-Madison desde 1966 hasta que se jubiló en 1985.
Se casó con Elinor Constance Martin y tuvieron tres hijos.
Trabajo científico
Fue el primero en utilizar el tipo de máquina de estados finitos (FSM) que se usa más comúnmente en la actualidad, la FSM de Moore. Con Claude Shannon realizó un trabajo fundamental en la teoría de la computabilidad y construyó circuitos confiables utilizando relés menos confiables. También dedicó gran parte de sus últimos años a un esfuerzo infructuoso por resolver el teorema de los cuatro colores .
Con John Myhill , Moore demostró el teorema del Jardín del Edén que caracteriza las reglas de los autómatas celulares que tienen patrones sin predecesor. También es el homónimo del barrio de Moore para los autómatas celulares, utilizado por Game of Life de Conway , y fue el primero en publicar sobre el problema de la sincronización del pelotón de fusilamiento en los autómatas celulares.
En un artículo de 1956 en Scientific American , propuso "Plantas Vivas Artificiales", que serían fábricas flotantes que podrían crear copias de sí mismas. Podrían programarse para realizar alguna función (extraer agua dulce, recolectar minerales del agua de mar) por una inversión que sería relativamente pequeña en comparación con los enormes rendimientos del número de fábricas en crecimiento exponencial.
Moore también preguntó qué gráficos regulares pueden tener su diámetro que coincida con un límite inferior simple para el problema dado por un árbol regular con el mismo grado. Las gráficas que coinciden con este límite fueron denominadas gráficas de Moore por Hoffman y Singleton (1960) .
Publicaciones
Con Claude Shannon , antes y durante su tiempo en Bell Labs, fue coautor de "Experimentos de Gedanken en máquinas secuenciales", " Computabilidad por máquinas probabilísticas ", "Ayuda mecánica para el diseño de circuitos de conmutación" y "Circuitos confiables que utilizan relés menos confiables".
En Bell Labs fue autor de "Codificaciones binarias de longitud variable", "El camino más corto a través de un laberinto", "Una máquina de Turing universal simplificada " y "Redes de decodificación de relés completas".
- "Modelos de máquina de autorreproducción", Proceedings of Symposia in Applied Mathematics , volumen 14, páginas 17–33. La Sociedad Americana de Matemáticas, 1962.
- "Plantas vivas artificiales", Scientific American, (octubre de 1956): 118-126
- "Gedanken-experiment on Sequential Machines", págs. 129-153, Automata Studies, Annals of Mathematical Studies , no. 34, Princeton University Press, Princeton, Nueva Jersey, 1956
Ver también
Referencias
- Resolución conmemorativa de la facultad de la Universidad de Wisconsin – Madison sobre la muerte del profesor Edward F. Moore (archivo PDF)
- Hoffman, Alan J .; Singleton, Robert R. (1960), "On Moore Graphs with Diameters 2 and 3", IBM Journal of Research and Development , 5 (4): 497–504, doi : 10.1147 / rd.45.0497 , MR 0140437.