(1) Kurt Gödel and Albert Einstein, Princeton 1950.
(2) Bertrand Russell.
(3) Alonzo Church.
(4) Ludwig Wittgenstein.
(5) Alfred North Whitehead.
(6) Alan M. Turing, when elected as Fellow of the Royal Society (FRS), 1951.

Alan Mathison Turing is the outstanding computing scientist, having set foundations of computability theory and
machine intelligence, which since then has become the highly active research discipline of Artificial Intelligence.
Such has been his impact on computing research that the Association for Computing Machinery (ACM)
has named its (and certainly the most)  prestigious technical award as the Alan M. Turing award.
Clik here to see a list of its recipients.

Information about their lives and their research: MacTutor History of Mathematics archive, University of St. Andrews, Scotland.

      
Quotations by Gödel.
Hundreds of links to research groups on logic, logicians, computer scientists and computing departments with strong logic and theory groups (more information to be added in time):
Research Groups in Logic and Theoretical Computing (Swansea, Wales link)
Mathematical Logic around the World (link at Bonn)
Logic links (Tuebingen, Germany)
Dov Gabbay
Group of Logic, Language and Computation (King's College London)
Saharon Shelah's archive
Albert Einstein Institute of Mathematics Hebrew University 
Imperial College London, Department of Computing
Alan Turing (by A. Hodges)
The Bertrand Russell Archives
Stanford Encyclopedia of Philosophy

Back to my so-called homepage.