good wiki

Alonzo Church

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. He is best known for the lambda calculus, the Church-Turing thesis, proving the unsolvability of the Entscheidungsproblem ("decision problem"), the Frege-Church ontology, and the Church-Rosser theorem.

More at Wikipedia

About

You might be interested in

Alan Turing

Alan Turing was a British mathematician, computer scientist, logician, and philosopher.

American Academy of Arts and Sciences

The American Academy of Arts and Sciences (AAA&S) is one of the oldest learned societies in the United States.

Bertrand Russell

Bertrand Russell, born on May 18, 1872, was a British philosopher, mathematician, logician, and social activist.

Computer Science

Computer Science is the study of computers and computational systems.

Computer scientist

A computer scientist is a professional involved in the study and development of computer systems and their applications.

Doctor of Philosophy

The Doctor of Philosophy (PhD) is a doctoral degree most commonly awarded by universities in recognition of academic research and the culmination of a person's education in a particular field of study.

Gottlob Frege

Gottlob Frege was a German mathematician, logician, and philosopher who made significant contributions to the fields of logic and philosophy of mathematics.

Harvard University

Harvard University is a renowned private research university located in Cambridge, Massachusetts, United States.