Aniversário |
23 de novembro de 1925 Baltimore |
---|---|
Morte |
14 de junho de 2003(em 77) Madison |
Nome na língua nativa | Edward Forrest Moore |
Nacionalidade | americano |
Treinamento |
Virginia Polytechnic and State University Brown University |
Atividades | Matemático , professor universitário , cientista da computação , engenheiro |
Trabalhou para | Harvard University , University of Wisconsin em Madison |
---|---|
Áreas | Ciência da Informação ( in ) , computador , matemática |
Supervisor | Herbert Federer (1950) |
Bairro de Moore |
Edward Forrest Moore (23 de novembro de 1925em Baltimore , Maryland -14 de junho de 2003em Madison, Wisconsin) é professor de matemática e ciência da computação na Universidade de Wisconsin-Madison . Ele é o inventor da máquina de Moore , o algoritmo de minimização de autômatos finitos que leva seu nome e um pioneiro da teoria da codificação e da vida artificial .
Moore obteve uma licenciatura ( Bachelor of Science B. S. ) em química na Instituto Politécnico e Universidade Estadual da Virgínia , em Blacksburg (Virgínia) em 1947 e um doutoramento ( Ph. D. ) em matemática na Universidade de Brown em Providence (Rhode Island) em 1950 . Ele trabalhou na Universidade de Illinois em Urbana-Champaign de 1950 a 1952 e foi professor visitante no MIT e na Universidade de Harvard ao mesmo tempo em 1952 e 1953. Em seguida, e por cinco anos, ele trabalhou na Bell Laboratories , cientificamente período muito produtivo. Em seguida, ele foi professor na Universidade de Wisconsin-Madison de 1966 até sua aposentadoria em 1985.
Ele foi um dos primeiros a estudar autômatos finitos , em uma versão agora chamada de máquinas de Moore . Com Claude Shannon , ele trabalha na teoria da computabilidade e no problema de construção de circuitos confiáveis a partir de relés não confiáveis. Posteriormente, ele tenta, sem sucesso, provar o teorema das quatro cores .
Com John R. Myhill , Moore demonstra o teorema de configuração do Jardim do Éden , caracterizando as regras de um autômato celular que possui configurações sem um predecessor. É a partir dele que batizamos o bairro de Moore em autômatos celulares, que intervêm no jogo da vida , e ele é um dos primeiros a contribuir para o problema da linha de fuzileiros ( Problema de sincronização do pelotão de fuzilamento (em ) .
Em um artigo de 1956 da Scientific American , ele propôs "fazendas de vida artificial" que seriam fábricas flutuantes que poderiam criar cópias de si mesmas. “Eles poderiam ser programados para realizar certas tarefas, como extração de água doce, recuperação de minerais da água do mar, por um investimento que seria relativamente pequeno se comparado ao enorme retorno de um crescimento exponencial do número ao longo do tempo. "
Moore também propôs o problema de determinar gráficos regulares cujo diâmetro satisfaça um limite inferior simples intervindo em um problema dado por uma árvore regular do mesmo grau. Esses gráficos são chamados de gráficos de Moore por ( Hoffman e Singleton 1960 ).