At the University of Göttingen, Hilbert was surrounded by a social circle of some of the most important mathematicians of the 20th century, such as Emmy Noether and Alonzo Church.
He was the last dissertation student of the 20th century logician Alonzo Church and currently teaches at Stony Brook University.
The use of mathematical logic to represent and execute computer programs is also a feature of the lambda calculus, developed by Alonzo Church in the 1930s.
PVS is based on a kernel consisting of an extension of Church's theory of types with dependent types, and is fundamentally a classical typed higher-order logic.
While formal algorithms have existed for millennia (Euclid's algorithm for determining the greatest common divisor of two numbers is still used in computation), it was not until 1936 that Alan Turing, Alonzo Church and Stephen Kleene formalized the definition of an algorithm in terms of computation.
Church of England | Catholic Church | church | The Church of Jesus Christ of Latter-day Saints | Russian Orthodox Church | church (building) | Church of Scotland | Bishop (Catholic Church) | Christ Church, Oxford | Eastern Orthodox Church | Church (building) | Seventh-day Adventist Church | Anglican Church of Australia | Moravian Church | Church of Ireland | Serbian Orthodox Church | Church | Evangelical Lutheran Church in America | Christ Church | Uniting Church in Australia | Church of Scientology | Congregational church | Coptic Orthodox Church of Alexandria | Church of South India | United Church of Christ | Methodist Episcopal Church | Greek Orthodox Church | Anglican Church of Canada | Unification Church | Ethiopian Orthodox Tewahedo Church |
This modern Platonism (sometimes rendered "platonism," with a lower-case p, to distinguish it from the ancient schools) has been endorsed in one way or another at one time or another by numerous philosophers (most of whom taking a particular interest in the philosophy and foundations of logic and mathematics), including Bernard Bolzano, Gottlob Frege, Edmund Husserl, Bertrand Russell, Alonzo Church, Kurt Gödel, W.V. Quine, Hilary Putnam, George Bealer and Edward Zalta.
President Church's daughter, Julia, married George Alexander Croom, owner of Casa de Laga Plantation in Tallahassee, Florida, Father of Alonzo Church Croom, Comptroller of the State of Florida from 1900 until his death on December 7, 1912 and brother of Hardy Bryan Croom, a planter and recognized naturalist, who discovered the rare Torreya tree and established Goodwood Plantation.