Search

Filter

Results

1. Alonzo Church (1903 - 1995) - Biography - MacTutor History of…

   https://mathshistory.st-andrews.ac.uk/Biographies/Church/

   19 Dec 2025: Alonzo Church's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. ... C A Anderson, Alonzo Church's contributions to philosophy and intensional logic, Bull.

2. Gian-Carlo Rota: Alonzo Church - MacTutor History of Mathematics

   https://mathshistory.st-andrews.ac.uk/Extras/Rota_Church/

   7 Mar 2023: Alonzo Church was one of the saner among them, though in some ways his behaviour must be classified as strange, even by mathematicians' standards. ... Church's discourse was precisely one such example. He had unusual working habits.

3. Pictures of Alonzo Church - MacTutor History of Mathematics

   https://mathshistory.st-andrews.ac.uk/Biographies/Church/pictdisplay/

   2 Jan 2026: Photograph by Paul Halmos.

4. sci_hi PDF (275k)

   https://mathshistory.st-andrews.ac.uk/SH/church_sh.pdf

   11 Dec 2025: It’s Computable – thanks to Alonzo Church. Alonzo Church (1903-1995) @ University of Berkeley. ... Alonzo Church died on August 11, 1995, aged 92. References and further Reading:. •

5. International Congress Speaker - MacTutor History of Mathematics

   https://mathshistory.st-andrews.ac.uk/Honours/ICM/

   30 Sep 2025: Alonzo Church, Logic, Arithmetic, and Automata.

6. Alfred L. Foster - University of California obituary - MacTutor…

   https://mathshistory.st-andrews.ac.uk/Obituaries/Foster_UC/

   16 Jul 2025: in 1931. His dissertation director was Alonzo Church who is still alive as of this writing, and who was then only one year older than Foster, his first Ph.D.

7. Earliest Known Uses of Some of the Words of Mathematics (R) -…

   https://mathshistory.st-andrews.ac.uk/Miller/mathword/r/

   7 Jan 2025: symbolic logic, vol. 2 (1996), p. 300] this term debuted in Alonzo Church's "An unsolvable problem of elementary number theory," Amer. ... B. Rosser in another important paper ["Extension of some theorems of Gödel and Church," Jour.

8. Word problems - MacTutor History of Mathematics

   https://mathshistory.st-andrews.ac.uk/HistTopics/Word_problems/

   7 Mar 2023: In 1938 Church proposed that the word problem for groups should be proved insoluble using the new rigorous definitions of computable. ... Boone was a doctoral student of Church, and this result appeared in Boone's Ph.D.

9. Sci Hi blog links - MacTutor History of Mathematics

   https://mathshistory.st-andrews.ac.uk/SH/

   14 Apr 2026: The Sci Hi blog was a daily blog on science, technology and art in history which ran from 2014 to 2023. It has a good coverage of mathematics and astronomy. We have linked more than 250 of our biographies to articles in this blog as you can see below

10. Shor prizes - MacTutor History of Mathematics

    https://mathshistory.st-andrews.ac.uk/Extras/Shor_prizes/

    22 Jun 2026: It was a great surprise to computer scientists that quantum computers appear to violate this strengthened Church-Turing thesis. ... These papers, by Alonzo Church, Stephen Kleene, Emil Post and Alan Turing, contained three completely different