Alonzo Church

Alonzo Church foi um matemático, lógico e filósofo americano, amplamente reconhecido por suas contribuições fundamentais para a lógica matemática e os alicerces da ciência da computação teórica. Nascido em Washington, D.C., em 14 de junho de 1903, Church obteve seu doutorado em matemática pela Universidade de Princeton em 1927. Ele lecionou em Princeton de 1929 a 1967 e, posteriormente, na Universidade da Califórnia, Los Angeles (UCLA), de 1967 até sua aposentadoria em 1990. Entre suas obras mais relevantes estão o desenvolvimento do cálculo lambda, um sistema formal para expressar computação baseado em abstração e aplicação de funções, e a Tese de Church-Turing. Esta última, proposta independentemente por Alan Turing, postula que as funções recursivas são as únicas que podem ser calculadas mecanicamente, estabelecendo os limites do que pode ser computado. Church também é conhecido por provar a indecidibilidade do "Entscheidungsproblem" (problema de decisão), demonstrando que não existe um algoritmo geral para determinar a verdade de todas as proposições matemáticas.