Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Robert_Feys> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Robert_Feys abstract "Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).Feys was born in Mechelen, and received his PhD in 1909 from the Institute of Philosophy, University of Leuven. In 1913 he was appointed Professor at the Université Saint-Louis, Brussels. But due to the War he enlisted in the Army. In 1919 he was appointed Professor at the Institute St. Gertrude in Nivelles. In 1929 he returned to the Université Saint-Louis, Brussels, and in 1944 he was appointed Professor at the University of Leuven.In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).".
- Robert_Feys birthDate "1889-12-19".
- Robert_Feys birthPlace Mechelen.
- Robert_Feys birthYear "1889".
- Robert_Feys deathDate "1961-04-13".
- Robert_Feys deathYear "1961".
- Robert_Feys wikiPageID "5154962".
- Robert_Feys wikiPageLength "2448".
- Robert_Feys wikiPageOutDegree "19".
- Robert_Feys wikiPageRevisionID "660195785".
- Robert_Feys wikiPageWikiLink Belgian.
- Robert_Feys wikiPageWikiLink Belgium.
- Robert_Feys wikiPageWikiLink Category:1889_births.
- Robert_Feys wikiPageWikiLink Category:1961_deaths.
- Robert_Feys wikiPageWikiLink Category:20th-century_philosophers.
- Robert_Feys wikiPageWikiLink Category:Belgian_logicians.
- Robert_Feys wikiPageWikiLink Category:Belgian_philosophers.
- Robert_Feys wikiPageWikiLink Category:University_of_Leuven_faculty.
- Robert_Feys wikiPageWikiLink Catholic_University_of_Leuven_(1834–1968).
- Robert_Feys wikiPageWikiLink Haskell_B._Curry.
- Robert_Feys wikiPageWikiLink Haskell_Curry.
- Robert_Feys wikiPageWikiLink Institute_of_Philosophy,_University_of_Leuven.
- Robert_Feys wikiPageWikiLink Logic.
- Robert_Feys wikiPageWikiLink Logician.
- Robert_Feys wikiPageWikiLink Mechelen.
- Robert_Feys wikiPageWikiLink Nivelles.
- Robert_Feys wikiPageWikiLink Philosopher.
- Robert_Feys wikiPageWikiLink Simply_typed_lambda_calculus.
- Robert_Feys wikiPageWikiLink Type_inference.
- Robert_Feys wikiPageWikiLink William_Craig_(philosopher).
- Robert_Feys wikiPageWikiLinkText "Feys, Robert".
- Robert_Feys wikiPageWikiLinkText "Robert Feys".
- Robert_Feys dateOfBirth "1889-12-19".
- Robert_Feys dateOfDeath "1961-04-13".
- Robert_Feys hasPhotoCollection Robert_Feys.
- Robert_Feys name "Feys, Robert".
- Robert_Feys placeOfBirth "Mechelen".
- Robert_Feys placeOfDeath "Leuven".
- Robert_Feys shortDescription "Belgian logician".
- Robert_Feys wikiPageUsesTemplate Template:Authority_control.
- Robert_Feys wikiPageUsesTemplate Template:Belgium-philosopher-stub.
- Robert_Feys wikiPageUsesTemplate Template:Belgium-scientist-stub.
- Robert_Feys wikiPageUsesTemplate Template:Europe-mathematician-stub.
- Robert_Feys wikiPageUsesTemplate Template:Persondata.
- Robert_Feys wikiPageUsesTemplate Template:Reflist.
- Robert_Feys description "Belgian logician".
- Robert_Feys description "Belgian logician".
- Robert_Feys subject Category:1889_births.
- Robert_Feys subject Category:1961_deaths.
- Robert_Feys subject Category:20th-century_philosophers.
- Robert_Feys subject Category:Belgian_logicians.
- Robert_Feys subject Category:Belgian_philosophers.
- Robert_Feys subject Category:University_of_Leuven_faculty.
- Robert_Feys hypernym Logician.
- Robert_Feys type Agent.
- Robert_Feys type Article.
- Robert_Feys type Person.
- Robert_Feys type Philosopher.
- Robert_Feys type Scientist.
- Robert_Feys type Article.
- Robert_Feys type Mathematician.
- Robert_Feys type Philosopher.
- Robert_Feys type Scholar.
- Robert_Feys type Scientist.
- Robert_Feys type Person.
- Robert_Feys type Agent.
- Robert_Feys type NaturalPerson.
- Robert_Feys type Thing.
- Robert_Feys type Q215627.
- Robert_Feys type Q5.
- Robert_Feys type Person.
- Robert_Feys comment "Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).Feys was born in Mechelen, and received his PhD in 1909 from the Institute of Philosophy, University of Leuven. In 1913 he was appointed Professor at the Université Saint-Louis, Brussels. But due to the War he enlisted in the Army. In 1919 he was appointed Professor at the Institute St. Gertrude in Nivelles.".
- Robert_Feys label "Robert Feys".
- Robert_Feys sameAs m.0d59_k.
- Robert_Feys sameAs Q15490557.
- Robert_Feys sameAs Q15490557.
- Robert_Feys wasDerivedFrom Robert_Feys?oldid=660195785.
- Robert_Feys givenName "Robert".
- Robert_Feys isPrimaryTopicOf Robert_Feys.
- Robert_Feys name "Feys, Robert".
- Robert_Feys name "Robert Feys".
- Robert_Feys surname "Feys".