A lógica matemática atingiu um ponto de vir Político e crucial em 1951, quando Stephen Cole Kleene descreveu as operações dos autómatas finitos, fornecendo uma ponte fundamental entre as redes neuronais e a computação digital. Este desenvolvimento ocorreu paralelamente à sua exploração ao longo da vida da teoria das funções recursivas, estabelecendo-o como uma figura central no surgimento da ciência da computação teórica durante o século XX.
Formação acadêmica
Nascido em Hartford em 1909, Kleene prosseguiu os seus primeiros estudos no Amherst College, graduando-se em 1930. Transeriu-se para a Universidade de Princeton para o trabalho de doutoramento, concluindo os seus estudos em 1934 sob a supervisão de Alonzo Church. A sua tese, A Theory of Positive Integers in Formal Logic, marcou o início de um período prolífico focado no cálculo lambda. Durante estes anos de formação, juntou-se à Universidade de Wisconsin–Madison em 1935, uma instituição que acolheria a maior parte da sua carreira académica.
Fundamentos da computação
Kleene é creditado com a formalização da teoria da recursão, um campo que fundamenta o estudo das funções computáveis. Ao longo das décadas de 1930 e 1940, foi autor de provas fundamentais, incluindo o teorema recursivo e o teorema da forma normal. Estas contribuições permitiram uma descrição matemática precisa dos processos computacionais. O seu trabalho no final das décadas de 1940 e 1950 expandiu-se para as hierarquias aritmética e hiper-aritmética, enquanto o seu memorando de 1951 para a RAND Corporation introduziu expressões regulares para categorizar eventos em autómatas finitos.
Serviço e intuicionismo
Durante a Segunda Guerra Mundial, Kleene serviu na Reserva Naval dos Estados Unidos, subindo ao posto de capitão-tenente entre 1942 e 1946. Ao regressar à vida civil na Universidade de Wisconsin–Madison, equilibrou papéis administrativos como diretor de departamento e decano do College of Letters and Science com a sua investigação em matemática intuicionista. Os seus textos, especificamente aqueles coescritos com Richard Vesley, estabeleceram um padrão americano para a interpretação de declarações intuicionistas através da realizabilidade recursiva.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Legado de carreira
Kleene reformou-se do seu cargo de professor de matemática Cyrus C. MacDuffee em 1979. Ao longo de quatro décadas, orientou 13 estudantes de doutoramento e influenciou gerações através de manuais que esclareceram os teoremas da incompletude de Gödel. A sua liderança profissional incluiu mandatos como presidente da Association for Symbolic Logic e da União Internacional de História e Filosofia da Ciência. Em 1990, recebeu a Medalha Nacional de Ciência pelas suas realizações.
Factos rápidos
- Nascimento: 1909, Hartford - Morte: 1994, Madison - Educação: Amherst College, Universidade de Princeton - Posto militar principal: Capitão-tenente - Campo primário: Ciência da computação teórica - Principal prêmio: Medalha Nacional de Ciência (1990) - Afiliação profissional: Academia Nacional de Ciências
Perguntas que os leitores fazem
### O que é a estrela de Kleene?
É uma operação matemática, também conhecida como fecho de Kleene, nomeada em sua homenagem pelo seu papel na teoria das linguagens formais e na ciência da computação teórica.
### Kleene contribuiu para o estudo das redes neuronais?
Sim, em 1951 desenvolveu um método para caracterizar eventos aceites por autómatas finitos, o qual aplicou ao estudo das redes neuronais de McCulloch-Pitts.
