Martin Davis

Martin Davis

male, 81 years old
Princeton University, DPLL algorithm, Post-Turing machine, Davis-Putnam algorithm, theory of computability, Hilbert's tenth problem…Logician
Martin Davis , (born 1928, New York City) is an American mathematician, known for his work on Hilbert's tenth problem. He received his Ph.D. from...
William Stanley Jevons

William Stanley Jevons

male, deceased (1882)
Logician, Economist, Statistician, logic, scientific method, coal
William Stanley Jevons, English economist and logician, was born in Liverpool. He expounded in his book "The Theory of Political Economy" (1871)...

Dharmakirti

male
Indian, Logician, logic, Buddhist, Buddhism, philosophical
Dharmakirti (circa 7th century), was an Indian scholar and one of the Buddhist founders of Indian philosophical logic. He was one of the primary...
Johan van Benthem

Johan van Benthem

male, 60 years old
M.H. Löb, Rijswijk, first-order logic, Master of Arts, Modal Logic, CSLI…Logician
Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, June 12, 1949-) is a University Professor ("universiteitshoogleraar") of logic at...

Constantin Rădulescu-Motru

male, deceased (1957)
Carol I High School alumni, Romanian magazine founder, Romanian Orthodox Christian, Magazine editor, Political scientist, Human rights activist…Logician
Constantin Rădulescu-Motru (born "Constantin Rădulescu", he added the surname "Motru" in 1892; February 15, 1868-March 6, 1957) was a Romanian ph...
Ernest Addison Moody

Ernest Addison Moody

male, deceased (1975)
Columbia University, Logician, american philosophical association, philosopher, American, University of California, Los Angeles
Ernest Addison Moody (1903-1975) was a noted philosopher, medievalist, and logician as well as a musician and scientist. He served as professor of...
Dana Scott

Dana Scott

male, 77 years old
Turing Award laureate, University of California, Berkeley faculty, University of California, Berkeley alumni, Rolf Schock Prize laureate, Fellow of the Association for Computing Machinery, Erdős number 2…Logician
Dana Stewart Scott (born 1932) is the emeritus "Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic" at Carnegie...
George Boolos

George Boolos

male, deceased (1996)
Princeton University alumni, Analytic philosopher, philosopher, Logician, Massachusetts Institute of Technology, American
George Stephen Boolos was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Richard Montague

Richard Montague

male, deceased (1971)
Semanticists, philosopher, Philosopher of language, unsolved murder, mathematician, American…Logician
Richard Merett Montague was an American mathematician and philosopher.
Georg Wilhelm Friedrich Hegel

Georg Wilhelm Friedrich Hegel

male, deceased (1831)
Humboldt University of Berlin faculty, bauer, kung, bradley, marx, German idealism…Logician
Georg Wilhelm Friedrich Hegel (August 27, 1770 - November 14, 1831) was a German philosopher born in Stuttgart, in the region of Württemberg in s...