翻訳と辞書 
lambdacalculus (Normally written with a Greek letter lambda). A branch of mathematical logic developed by Alonzo Church in the late 1930s and early 1940s, dealing with the application of functions to their arguments. The pure lambdacalculus contains no constants  neither numbers nor mathematical functions such as plus  and is untyped. It consists only of lambda abstractions (functions), variables and applications of one function to another. All entities must therefore be represented as functions. For example, the natural number N can be represented as the function which applies its first argument to its second N times (Church integer N). Church invented lambdacalculus in order to set up a foundational project restricting mathematics to quantities with "{effective procedures}". Unfortunately, the resulting system admits Russell's paradox in a particularly nasty way; Church couldn't see any way to get rid of it, and gave the project up. Most funct in a particularly nasty way; Church couldn't see any way to get rid of it, and gave the project up. Most funct
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース 
Copyright(C) kotoba.ne.jp 19972016. All Rights Reserved.

