Robert Feys

Similar topics in Freebase

• 

  Alonzo Church

  Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church...
• 

  Gerhard Gentzen

  Gerhard Karl Erich Gentzen (November 24, 1909, Greifswald, Germany – August 4, 1945, Prague, Czechoslovakia) was a German mathematician and logician. Gentzen was a student of Paul Bernays at the University of Göttingen. Bernays was fired as "non-Aryan" in April 1933 and therefore Hermann Weyl...
• 

  Haskell Curry

  Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry...
• 

  Timothy G. Griffin

• 

  Dag Prawitz

  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.
• 

  Bertrand Russell

  Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS (18 May 1872 – 2 February 1970) was an English philosopher, logician, mathematician, historian, socialist, pacifist and social critic. Although he spent the majority of his life in England, he was born in Wales, where he also died. Russell...
• 

  Charles Peirce

  Charles Sanders Peirce (pronounced /ˈpɜrs/ purse) (September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a scientist for 30 years. It is largely his contributions...
• 

  Jean-Yves Girard

  Jean-Yves Girard (born 1947 in Lyon) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics. Alumnus of the École normale...
• 

  Gottlob Frege

  Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German mathematician who became a logician and philosopher. He was one of the founders of modern logic, and made major contributions to the foundations of mathematics. As a philosopher, he is generally considered to be the father...

• J. Roger Hindley