| http://dbpedia.org/ontology/abstract
|
Robert Feys (19 December 1889 – 13 April 1 … 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).typed lambda calculus (Combinatory Logic).
, Robert Feys (19 décembre 1889 - 13 avril 1 … Robert Feys (19 décembre 1889 - 13 avril 1961) était un chanoine, logicien et philosophe belge, professeur à l'Université de Louvain (Belgique). Feys est né à Malines, et a reçu son doctorat en 1909 de l'Institut de Philosophie de l'Université de Louvain. En 1913, il est nommé professeur au collège Saint-Louis à Bruxelles. Mais en raison de la guerre, il s'enrôle dans l'armée. En 1919, il est nommé professeur à l'Institut Ste. Gertrude de Nivelles. En 1929, il retourne à l'Université Saint-Louis de Bruxelles et en 1944, il est nommé professeur à l'Université de Louvain. Feys étudie d'abord les logiques modales. En 1950, Haskell B. Curry vient passer une année chez Feys, et ils mettent au point l'algorithme d'inférence de type pour le lambda-calcul simplement typé et la logique combinatoire, puis rédigent ensemble le traité sur le sujet. En 1950 également, Feys co-fonde le Centre National de Recherches en Logique (CNRL) et sa revue Logique et Analyse. Il décède en 1961 peu après son éméritat, alors qu'il rédigeait un traité sur la logique modale, ainsi qu'un dictionnaire de logique mathématique qui sera publié après sa mort en 1973.que qui sera publié après sa mort en 1973.
|
| http://dbpedia.org/ontology/wikiPageID
|
5154962
|
| http://dbpedia.org/ontology/wikiPageLength
|
2225
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1094024836
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Catholic_University_of_Leuven_%281834%E2%80%931968%29 +
, http://dbpedia.org/resource/Nivelles +
, http://dbpedia.org/resource/Belgians +
, http://dbpedia.org/resource/Category:1961_deaths +
, http://dbpedia.org/resource/Category:20th-century_Belgian_philosophers +
, http://dbpedia.org/resource/Type_inference +
, http://dbpedia.org/resource/Belgium +
, http://dbpedia.org/resource/Category:1889_births +
, http://dbpedia.org/resource/Category:Old_University_of_Leuven_faculty +
, http://dbpedia.org/resource/Haskell_B._Curry +
, http://dbpedia.org/resource/Institute_of_Philosophy%2C_University_of_Leuven +
, http://dbpedia.org/resource/William_Craig_%28philosopher%29 +
, http://dbpedia.org/resource/Saint-Louis_University%2C_Brussels +
, http://dbpedia.org/resource/Mechelen +
, http://dbpedia.org/resource/Logician +
, http://dbpedia.org/resource/Simply_typed_lambda_calculus +
, http://dbpedia.org/resource/Category:Belgian_logicians +
, http://dbpedia.org/resource/Philosopher +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Belgium-philosopher-stub +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Europe-mathematician-stub +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Belgium-scientist-stub +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:ISBN +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:1961_deaths +
, http://dbpedia.org/resource/Category:Old_University_of_Leuven_faculty +
, http://dbpedia.org/resource/Category:1889_births +
, http://dbpedia.org/resource/Category:Belgian_logicians +
, http://dbpedia.org/resource/Category:20th-century_Belgian_philosophers +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Logician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/109843435 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Robert_Feys?oldid=1094024836&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Robert_Feys +
|
| owl:sameAs |
http://fr.dbpedia.org/resource/Robert_Feys +
, http://viaf.org/viaf/109843435 +
, http://d-nb.info/gnd/1072232189 +
, http://data.bibliotheken.nl/id/thes/p068620055 +
, http://yago-knowledge.org/resource/Robert_Feys +
, http://d-nb.info/gnd/12717804X +
, http://rdf.freebase.com/ns/m.0d59_k +
, http://www.wikidata.org/entity/Q15490557 +
, https://global.dbpedia.org/id/XnNQ +
, http://viaf.org/viaf/17290259 +
, http://dbpedia.org/resource/Robert_Feys +
, http://d-nb.info/gnd/108912497X +
|
| rdf:type |
http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatBelgianPhilosophers +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/Philosopher110423589 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/WikicatBelgianLogicians +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/class/yago/Logician110269785 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Wikicat20th-centuryPhilosophers +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
|
| rdfs:comment |
Robert Feys (19 décembre 1889 - 13 avril 1 … Robert Feys (19 décembre 1889 - 13 avril 1961) était un chanoine, logicien et philosophe belge, professeur à l'Université de Louvain (Belgique). Feys est né à Malines, et a reçu son doctorat en 1909 de l'Institut de Philosophie de l'Université de Louvain. En 1913, il est nommé professeur au collège Saint-Louis à Bruxelles. Mais en raison de la guerre, il s'enrôle dans l'armée. En 1919, il est nommé professeur à l'Institut Ste. Gertrude de Nivelles. En 1929, il retourne à l'Université Saint-Louis de Bruxelles et en 1944, il est nommé professeur à l'Université de Louvain.ommé professeur à l'Université de Louvain.
, Robert Feys (19 December 1889 – 13 April 1 … 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.ted Professor at the University of Leuven.
|
| rdfs:label |
Robert Feys
|
