Per Martin-Löf

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

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

• Ibn Yunus

  Ibn Yunus (Arabic: ابن يونس) (full name, Abu al-Hasan 'Ali abi Sa'id 'Abd al-Rahman ibn Ahmad ibn Yunus al-Sadafi al-Misri) (c. 950-1009) was an important Egyptian Muslim astronomer and mathematician, whose works are noted for being ahead of their time, having been based on almost modern-like...

• Pavel Tichý

  Pavel Tichý (Czech pronunciation: [ˈpavɛl ˈcɪxiː]; 18 February 1936 Brno, Czechoslovakia – 26 October 1994 Dunedin, New Zealand) was a Czech logician, philosopher and mathematician. He worked in the field of intensional logic and founded Transparent Intensional Logic, an original theory of the...

• William Alvin Howard

  William Alvin Howard (1926 -) is a proof theorist best-known for his work demonstrating formal similarity between intuitionistic logic and the simply-typed lambda-calculus that has come to be known as the Curry-Howard correspondence. He has also been active in the theory of proof-theoretic ordinals...