翻訳と辞書 Words near each other ・ lag ・ lakota ・ lalr ・ lalr.ss ・ lambada-calculus ・ lambda ・ lambda abstraction ・ lambda expression ・ lambda lifting ・ lambda prolog ・ lambda-calculus ・ lambdamoo ・ lamer ・ lamina ・ lamp-post error ・ lan ・ lan administrator ・ lan kanal adapter ・ lan manager ・ lance Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク lambda-calculus ： FOLDOC lambda-calculus (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 lambda-calculus 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 lambda-calculus 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 1997-2016. All Rights Reserved.