Robert Feys

Robert Feys

Robert Feys (1889—1961) was a logician and philosopher.

In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus ("Combinatory Logic I").

Bibliography

* "Combinatory logic"
*:Haskell B. Curry Robert Feys. With two sections by William Craig
*:Publisher: Amsterdam, North-Holland Pub. Co., 1958-72.
*:ISBN 0-7204-2208-6
* "Dictionary of symbols of mathematical logic"
*:ed. by Robert Feys and Frederic B. Fitch
*:Publisher: Amsterdam : North-Holland Pub. Co., 1973, c1969.
*:ISBN 0-7204-2250-7

External links

* Sources for birth and death date: [http://www.cibernous.com/colabora/comunes/diccionario.htm] and [http://www.ferratermora.com/ency_prologo_qz_cu-cron.html]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Feys — is a surname, and may refer to:* Matthias Feys (born 1985), Belgian footballer * Robert Feys (1889 1961), logician and philosopheree also* Fays * Fey (disambiguation) …   Wikipedia

  • Jean Ladrière — (1921 2007) est un philosophe, logicien belge, qui fut professeur à l Université catholique de Louvain, dont il présida l Institut supérieur de philosophie. Le projet d ensemble qui anime son œuvre (650 articles scientifiques, partiellement… …   Wikipédia en Français

  • Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… …   Wikipedia

  • Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… …   Wikipedia

  • Haskell Curry — Infobox Scientist name =Haskell Brooks Curry birth date =September 12, 1900 birth place =Millis, Massachusetts death date =September 1, 1982 death place =State College, Pennsylvania residence = citizenship =USA nationality = ethnicity = field… …   Wikipedia

  • Haskell Curry — Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé les bases de la… …   Wikipédia en Français

  • Jean Ladriere — Jean Ladrière Jean Ladrière (1921 2007) est un philosophe, logicien et théologien belge. Sommaire 1 Biographie 2 Textes 2.1 La règle de coupure 2.2 Fondements de la connai …   Wikipédia en Français

  • Jean ladrière — (1921 2007) est un philosophe, logicien et théologien belge. Sommaire 1 Biographie 2 Textes 2.1 La règle de coupure 2.2 Fondements de la connai …   Wikipédia en Français

  • Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …   Wikipedia

  • Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”