Yahoo Search Busca da Web

Resultado da Busca

  1. 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.

  2. 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.

  3. 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.

  4. 21 de set. de 2022 · Alonzo Church (Washington em 14 de junho de 1903 – Hudson, Ohio, em 11 de agosto de 1995), foi um eminente colaborador da lógica matemática e professor de uma geração de lógicos americanos. As principais realizações do Dr. Church foram estender o trabalho de Kurt Gödel (1906-1978) sobre os fundamentos da matemática em uma ...

  5. 11 de ago. de 1995 · 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).

  6. Alonzo Church. Professor of Mathematics, Princeton. No verified email. Symbolic logic Lambda calculus. Articles Cited by. Title. Sort. Sort by citations Sort by year Sort by title. Cited by. ... A Church. Proceedings of the international congress of mathematicians, 23-35, 1962. 559: 1962: The system can't perform the operation now. Try again later.

  7. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic.

  8. Alonzo Church. Logic is sometimes called the foundation of mathematics: the logi-cian studies the kinds of reasoning used in the in-dividual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic,whose contributions to number theory and the theories of algorithms and com-.

  9. Alonzo Church (1903-1995) will be well known to readers of these Works for his important contributions to logic and for his founding and long-time editing of the Reviews section of The journal of symbolic logic.

  10. Alonzo Church; Nascimento: 14 de junho de 1903 Washington, D.C., Estados Unidos: Morte: 8 de novembro de 1995 (92 anos) Hudson, Ohio: Sepultamento: Cemitério de Princeton: Nacionalidade: estadunidense: Cidadania: Estados Unidos: Alma mater: Universidade de Princeton: Ocupação: matemático, filósofo, professor universitário, cientista de ...