lambda notation
A term such as ‘Sine 60°’, or ‘the father of Hegel’ refers to a number or a person. But it includes the term ‘Sine…’ or ‘father of…’. ‘Sine x ’ or ‘father of y ’ stand for a function referring respectively to a number or a person for particular values of x and y . If we wish to refer to the function itself, the notation (λx )(Sine x ) or (λy ) (father of y ) is adopted. A logical calculus with rules involving such terms is called the lambda-calculus.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Lambda-Notation — Der Lambda Kalkül ist eine formale Sprache zur Untersuchung von Funktionen, die Funktionsdefinitionen, das Definieren formaler, sowie das Auswerten und Einsetzen aktueller Parameter regelt. Inhaltsverzeichnis 1 Geschichte 2 Der untypisierte… …   Deutsch Wikipedia

  • lambda — notation …   Philosophy dictionary

  • Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… …   Wikipedia

  • Notation Bra-Ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

  • Notation bra ket — Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

  • Notation de Dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

  • Notation de dirac — Notation bra ket Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de la …   Wikipédia en Français

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Notation bra-ket — La notation bra ket a été introduite par Paul Dirac pour faciliter l’écriture des équations de la mécanique quantique, mais aussi pour souligner l’aspect vectoriel de l’objet représentant un état quantique (voir Axiomes de la mécanique quantique) …   Wikipédia en Français

Share the article and excerpts

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