Robin Gandy

Robin Gandy

male, deceased (1995)
Stanford University, Academic of the University of Manchester, King's College, Cambridge, University of California, Los Angeles, King's College, university of leicester…Logician
Robin Oliver Gandy (22 September 1919 - 20 November1995) was a British mathematician and logician. He was a friend, student, and associate of Alan...
Ruth Barcan Marcus

Ruth Barcan Marcus

female, 88 years old
Academic, Fellow of Wolfson College, Oxford, Jewish person, Educator, Jewish, Philosopher of language…Logician
Ruth Barcan Marcus (born 1921 in Bronx, New York) is the philosopher and logician after whom the Barcan formula is named. She is a pioneering...
Paul Of Venice

Paul Of Venice

male, deceased (1428)
Hermit of the Order of Saint Augustine, augustinian, Logician, Scholastic philosopher, Italian, Theologian
Paul of Venice or Paulus Venetus (1368-1428) was a Roman Catholic theologian and logician of the Hermits of the Order of Saint Augustine.
Richard Jeffrey

Richard Jeffrey

male, deceased (2002)
Stanford University, University of Pennsylvania, University of Chicago, Princeton University, World War II, Probability theorist…Logician
Richard C. Jeffrey was an American philosopher, logician, and probability theorist. He was a native of Boston, Massachusetts. Jeffrey served in the...

Paul Benacerraf

male (Princeton, New Jersey, United States)
metaphysicians, French, Princeton University, American, sephardic, Philosophy of mathematics…Logician
Paul Benacerraf is an French philosopher of mathematics who has been teaching at Princeton University since he joined the faculty in 1960. He was...
Dag Prawitz

Dag Prawitz

male, 73 years old
Logician, philosopher, natural deduction, proof theory
Dag Prawitz (born 1936) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.
Giles Of Rome

Giles Of Rome

male, deceased (1247)
Roman Catholic, Logician, Scholastic philosopher, Medieval philosopher, philosopher, archbishop
Giles of Rome (circa 1243-22 December1316, at Avignon), was an archbishop of Bourges who was famed for his logician commentary on the "Organon" by...
Jean Nicod

Jean Nicod

male, deceased (1924)
Logician, axiom, Tuberculosis, French, philosopher, death by tuberculosis
Jean George Pierre Nicod (c. 1893 - 16 February 1924) was a French philosopher and logician. In his most important work, he used Henry M. Sheffer's...
J. Barkley Rosser

J. Barkley Rosser

male, deceased (1989)
Logician, mathematician, Princeton University alumni, University of Wisconsin-Madison, University of Wisconsin-Madison faculty, American
John Barkley Rosser Sr. was an American logician, a student of Alonzo Church, and known for his part in the Church-Rosser theorem, in lambda...
Andrzej Mostowski

Andrzej Mostowski

male, deceased (1975)
Mostowski collapse lemma, Warsaw University alumni, lviv, austria-hungary, model theory, undecidability…Logician
Andrzej Mostowski was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma. Born in Lwów, Austria-Hungary, M...