Resultado da Busca
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. Atuou principalmente nas áreas de lógica matemática, teoria da recursão e teoria da computação.
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. [2]
21 de out. de 2021 · Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell.
His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science. Early contributions included the papers On irredundant sets of postulates (1925), On the form of differential equations of a system of paths (1926), and Alternatives to Zermelo's assumption (1927).
Descubra a incrível história de Alonzo Church, o pai da lógica matemática e computação neste artigo de blog! Conheça suas contribuições revolucionárias para a ciência e sua influência duradoura na tecnologia moderna.
Church, Alonzo ( b . 14 June 1903 in Washington, D.C.; d . 11 August 1995 in Hudson, Ohio), mathematician, logician, philosopher of mathematics, and computer scientist best known for three contributions to mathematical logic: Church’s thesis, Church’s theorem, and the lambda calculus.
Alonzo Church, who was one of the pioneers of mathematical logic in the "post-Principia" era, died in Hudson, Ohio on Friday, 11 August, 1995 following a serious illness.
