Yahoo Search Búsqueda en la Web

Resultado de búsqueda

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

    • Alan Turing

      Pasó sus primeros trece años en la India, donde su padre...

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

    • Cementerio de Princeton
  3. Alonzo Church, 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.

  4. Alonzo Church fue un matemático y lógico estadounidense nacido en 1903 en Washington D.C. Estudió matemáticas y filosofía en la Universidad de Princeton, donde se graduó con honores en 1924. Luego, obtuvo su doctorado en matemáticas en la Universidad de Princeton en 1927. Biografía de Alonzo Church.

  5. Este artículo está dedicado a Alonzo Church, que falleció en Agosto de 1995, tras una larga vida dedicada a la lógica. A él le debemos el cálculo lambda, la tesis que lleva su nombre y la solución al Entscheidungsproblem.

    • María Manzano
    • pg_109-136_agora18-1.pdf
    • 1999
    • 3.009 Mb
  6. Alonzo Church . Matemático estadounidense. Sumario. 1 Trayectoria. 1.1 Logros alcanzados. 2 Discípulos. 3 Publicaciones. 4 Fuentes. Trayectoria. 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 los años 1929 y 1967.

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