ラムダ計算
1. Lambda calculusThe lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation by way of variable binding and substitution. It was first formulated by Alonzo Church as a way to formalize mathematics through the notion of functions, in contrast to the field of set theory. Although not very successful in that respect, the lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.
Read “Lambda calculus” on English Wikipedia
Read “ラムダ計算” on Japanese Wikipedia
Read “Lambda calculus” on DBpedia
Read “Lambda calculus” on English Wikipedia
Read “ラムダ計算” on Japanese Wikipedia
Read “Lambda calculus” on DBpedia
Discussions
Log in to talk about this word.