Yahoo España Búsqueda web

Search results

1. es.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church - Wikipedia, la enciclopedia libre

   es.wikipedia.org › wiki › Alonzo_Church

   • En caché

   Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967.

2. Imágenes

   • 
   • 
   • 
   • 
   • 

   Ver todo

3. en.wikipedia.org › wiki › Alonzo_ChurchAlonzo Church - Wikipedia

   en.wikipedia.org › wiki › Alonzo_Church

   • En caché

   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.

4. www.biografiasyvidas.com › biografia › cBiografia de Alonzo Church - Biografias y Vidas .com

   www.biografiasyvidas.com › biografia › c

   • En caché

   Alonzo Church (Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la Universidad de Princeton y en la de California, se especializó en lógica matemática, metalógica y metamatemática.

5. Vídeos

   • 

     36:02

     youtube.com

     María Manzano (Universidad de Salamanca): “Alonzo Church y Leon Henkin”

     21 feb 2020

     978 vistas

   • 

     7:10

     youtube.com

     Quem foi Alonzo Church

     2 ago 2021

     628 vistas

   • 

     1:45:32

     youtube.com

     Highway Church of God GB District Revival l Reverend Alonzo Morris l January 25, 2024

     26 ene 2024

   Ver todo

6. plato.stanford.edu › entries › churchAlonzo Church (Stanford Encyclopedia of Philosophy)

   plato.stanford.edu › entries › church

   21 de oct. 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.

7. mathshistory.st-andrews.ac.uk › Biographies › ChurchAlonzo Church (1903 - 1995) - Biography - MacTutor History of ...

   mathshistory.st-andrews.ac.uk › Biographies › Church

   • En caché

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

8. www.britannica.com › biography › Alonzo-ChurchAlonzo Church | Lambda Calculus, Computability & Logic

   www.britannica.com › biography › Alonzo-Church

   • En caché

   30 de abr. de 2024 · Alonzo Church (born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) was a U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science.

9. www.wikiwand.com › es › Alonzo_ChurchAlonzo Church - Wikiwand

   www.wikiwand.com › es › Alonzo_Church

   • En caché

   Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Datos rápidos Información personal ...