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
