The λ calculus can be called the smallest universal programming language of the world.[1]
Lambda calculus is an example of a reduction_system with lambda_conversion rules constituting its rewrite rules.[2]
(conversion_rule > lambda_conversion_rule / rewriting or rewriting_rule or rewrite_rule)
(conversion_rule > lambda_conversion_rule / rewriting or rewriting_rule or rewrite_rule)
Sub:
//(tmp) type에 대해: https://en.wikipedia.org/wiki/Lambda_calculus#untypedLambdaCalculus
타입,type있는?
수학기초론{ 수학기초론 }에서 집합론,set_theory의 대안 후보들은 Alonzo_Church{ Alonzo Church https://en.wikipedia.org/wiki/Alonzo_Church }의 typed lambda-calculus, Per_Martin-Loef ? { Per Martin-Löf https://en.wikipedia.org/wiki/Per_Martin-Löf } 의 intuitionistic_type_theory{ intuitionistic type theory Intuitionistic_type_theory = https://en.wikipedia.org/wiki/Intuitionistic_type_theory 直観主義型理論 https://plato.stanford.edu/entries/type-theory-intuitionistic/ }가 있다. (Type_theory 처음 부분)
Twin
https://pub.mearie.org/타입없는람다대수
https://www.pls-lab.org/en/Untyped_lambda_calculus_and_set_theory // 집합론,set_theory
https://www.pls-lab.org/Untyped_lambda_calculus
https://pub.mearie.org/타입없는람다대수
https://www.pls-lab.org/en/Untyped_lambda_calculus_and_set_theory // 집합론,set_theory
https://www.pls-lab.org/Untyped_lambda_calculus
} // simply typed lambda calculus
번역?
순수람다대수?
순수람다대수?
polymorphic_lambda_calculus or second-order_lambda_calculus => System_F
{
System F
System Fω
다형성,polymorphism?? curr. 다형성,polymorphism
} // System F
{
System F
System Fω
= higher-order polymorphic lambda calculus
System F>: 이런건 pagename 어떻게? TBDan extension of system F with subtyping.
System_F다형성,polymorphism?? curr. 다형성,polymorphism
} // System F
번역?
이진람다대수?
이진람다대수?
http://foldoc.org/currying
EoM에서는 https://encyclopediaofmath.org/wiki/Currying redir. to https://encyclopediaofmath.org/wiki/Exponential_law_for_sets
}
EoM에서는 https://encyclopediaofmath.org/wiki/Currying redir. to https://encyclopediaofmath.org/wiki/Exponential_law_for_sets
}
익명함수 - 함수,function
,closure 와..
변수들 (see 변수,variable#s-2)
자유변수 free_variable
제한변수 bound_variable
자유변수,free_variable vs bound_variable ........ curr at 변수,variable#s-2
람다식,lambda_expression { 식,expression }
자유변수 free_variable
제한변수 bound_variable
자유변수,free_variable vs bound_variable ........ curr at 변수,variable#s-2
람다식,lambda_expression { 식,expression }
parameter parameter
람다식,lambda_expression - 식,expression, w rr
{
https://foldoc.org/lambda expression
... 람다식 lambda expression
}
{
https://foldoc.org/lambda expression
... 람다식 lambda expression
}
lambda_abstraction = https://en.wiktionary.org/wiki/lambda_abstraction
https://wiki.haskell.org/Lambda_abstraction
} // lambda abstraction
"... It is meant to represent an anonymous function."
http://foldoc.org/lambda abstractionhttps://wiki.haskell.org/Lambda_abstraction
"A lambda abstraction is another name for an anonymous_function."
... 람다추상화 lambda abstraction} // lambda abstraction
lambda_lifting - w 번역?
{
lambda lifting
https://foldoc.org/lambda lifting
lambda_lifting x 2024-01-11
... lambda lifting lambda lifting
}
{
lambda lifting
https://foldoc.org/lambda lifting
lambda_lifting x 2024-01-11
... lambda lifting lambda lifting
}
알파동치 alpha_equivalence
베타축약 beta_reduction
베타축약 beta_reduction
베타동치,beta_equivalence 베타 동치 beta equivalence
베타표준형,beta_normal_form 베타 표준형 beta normal form
AlphaEquivalence베타표준형,beta_normal_form 베타 표준형 beta normal form
α-conversion
β-reduction
β-reduction
Reduction ¶
// ,reduction - writing
tmp from Lambda_calculus#Reduction
There are three kinds of reduction:
α-conversion: changing bound variables;
β-reduction: applying functions to their arguments;
η-reduction: which captures a notion of extensionality.
https://wiki.haskell.org/Alpha_conversion
tmp from Lambda_calculus#Reduction
There are three kinds of reduction:
α-conversion: changing bound variables;
β-reduction: applying functions to their arguments;
η-reduction: which captures a notion of extensionality.
https://wiki.haskell.org/Alpha_conversion
is a renaming of variables.
https://wiki.haskell.org/Eta_conversiontmp Files: ¶
A Tutorial Introduction to the Lambda Calculus, Raul Rojas, FU Berlin
https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf
https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf
https://www3.cs.stonybrook.edu/~cram/cse526/Spring20/Lectures/untyped-lambda.pdf
{ 2021-07-01에 대충 훑어보기
Church encoding of Booleans, aka Church_booleans - for encoding Booleans in the λ-calculus. ....이건 표 만들어야됨
Boolean 뿐만 아니라
자연수,natural_number
자료구조,data_structure등 각종 ...을 encode.
그 다음 평가,evaluation - evaluating lambda expressions.
reduction
reduction strategies에 알파 베타 등..
다음 free and bound variables.
α-conversion (renaming)
Y-combinator
Z-combinator
재귀함수,recursive_functions in the λ-calculus
} (매우대충봄)
{ 2021-07-01에 대충 훑어보기
Church encoding of Booleans, aka Church_booleans - for encoding Booleans in the λ-calculus. ....이건 표 만들어야됨
Boolean 뿐만 아니라
자연수,natural_number
자료구조,data_structure등 각종 ...을 encode.
그 다음 평가,evaluation - evaluating lambda expressions.
reduction
reduction strategies에 알파 베타 등..
다음 free and bound variables.
α-conversion (renaming)
Y-combinator
Z-combinator
재귀함수,recursive_functions in the λ-calculus
} (매우대충봄)
tmp links ko ¶
https://helloworld.kurly.com/blog/lambda-calculus-1/ 2020
1. lambda expression - 추상화를 하는 방식
2. beta reduction - 추상화된 문제를 풀어내는 방식
3. name clash - beta reduction의 문제
4. alpha conversion - name clash를 방지하기
1. lambda expression - 추상화를 하는 방식
2. beta reduction - 추상화된 문제를 풀어내는 방식
3. name clash - beta reduction의 문제
4. alpha conversion - name clash를 방지하기
tmp links en ¶
하스켈,Haskell wiki 에서
https://wiki.haskell.org/Alpha_conversion
https://wiki.haskell.org/Beta_reduction
https://wiki.haskell.org/Eta_conversion
https://wiki.haskell.org/Alpha_conversion
https://wiki.haskell.org/Beta_reduction
https://wiki.haskell.org/Eta_conversion
name_capture =,name_capture . name_capture
de_Bruijn_notation =,de_Bruijn_notation . de_Bruijn_notation
pure_lambda_calculus =,pure_lambda_calculus . pure_lambda_calculus
de_Bruijn_notation =,de_Bruijn_notation . de_Bruijn_notation
{
de Bruijn notation
더브라윈_표기법
de_Bruijn_notation = https://en.wiktionary.org/wiki/de_Bruijn_notation
lambda_notation 의 일종
http://foldoc.org/De Bruijn notation
} de Bruijn notation ... de Bruijn notation
lambda_notation =,lambda_notation . lambda_notationde Bruijn notation
더브라윈_표기법
de_Bruijn_notation = https://en.wiktionary.org/wiki/de_Bruijn_notation
lambda_notation 의 일종
http://foldoc.org/De Bruijn notation
} de Bruijn notation ... de Bruijn notation
pure_lambda_calculus =,pure_lambda_calculus . pure_lambda_calculus
Misc ¶
(tmp) (번역에서 쓴 표현에 대해) 여기서 말하는 'calculus'가 해석학의 일종인 미적분학이 아님은 명백하지만, '대수'라는 번역어의 선택은 보통 '대수'↔'algebra'임을 생각해 볼 때 특이한 점. 즉 대수학,algebra으로 번역한? 람다대수에서 '대수'에 해당하는 것은 see also 미적분,calculus#s-15 et 형식체계,formal_system
람다계산, 람다계산법, 람다셈법도 보인다.
요약하자면 '미적분학'이 아닌 calculus를 마땅히 번역할 단어가 없어서, algebra나 computation에 더 가까운 단어로 번역된 것.
람다계산, 람다계산법, 람다셈법도 보인다.
요약하자면 '미적분학'이 아닌 calculus를 마땅히 번역할 단어가 없어서, algebra나 computation에 더 가까운 단어로 번역된 것.
일단 pagename은 가장 자주 쓰이는 '람다대수'로 했는데, calculus를 대수로 번역하기가 좀...(틀린 건 아니지만, 다른 곳에서 다른 뜻으로 많이 쓰임. 대수는 logarithm, algebra 의 번역어로 쓰임. 계산/계산법은 computation/calculation 에 가까운 느낌을 준다. 물론 calculus는, (logarithm은 상관없고) 'algebra', '계산'과 뜻에서 겹치는 부분이 있긴 하나, 아무래도 적당한 번역어가 없는 나머지 이미 다른 곳에서 잘 쓰이는 단어를 임시로 차용한 느낌이다)
calculus의 번역엔 '논리'도 자주 보인다. 대수/계산(법)/논리 이 셋이 나름 최선의 번역이기는 함 (모두 규칙,rule/논리,logic/공리,axiom/...에 따라 식,expression/문자열,string/...(등의 어떤 대상,object)을 변형/rewriting/변환,transformation/... 등을 하는 형식체계,formal_system얘기이므로)
tmp twins ¶
Twins:
http://foldoc.org/lambda-calculus
https://pub.mearie.org/람다대수
https://mathworld.wolfram.com/LambdaCalculus.html
http://www.aistudy.co.kr/computer/lambda_calculus.htm
람다_대수
Lambda_calculus
Category:Lambda_calculus
LambdaCalculus
https://plato.stanford.edu/entries/lambda-calculus/
https://everything2.com/title/lambda calculus
https://ncatlab.org/nlab/show/lambda-calculus
http://foldoc.org/lambda-calculus
https://pub.mearie.org/람다대수
https://mathworld.wolfram.com/LambdaCalculus.html
http://www.aistudy.co.kr/computer/lambda_calculus.htm
람다_대수
Lambda_calculus
Category:Lambda_calculus
LambdaCalculus
https://plato.stanford.edu/entries/lambda-calculus/
https://everything2.com/title/lambda calculus
https://ncatlab.org/nlab/show/lambda-calculus
https://esolangs.org/wiki/Lambda_calculus
Lambda_calculus
https://encyclopediaofmath.org/wiki/Lambda-calculus
https://brilliant.org/wiki/lambda-calculus/
Lambda_calculus
https://encyclopediaofmath.org/wiki/Lambda-calculus
https://brilliant.org/wiki/lambda-calculus/
Up:
전산학,compsci
형식체계,formal_system
계산모델 computation_model ? 계산모델 계산모델
calculus - appropriate pagename? 이 페이지 rename도 고려중.
전산학,compsci
형식체계,formal_system
계산모델 computation_model ? 계산모델 계산모델
calculus - appropriate pagename? 이 페이지 rename도 고려중.
----
- [1] Rojas 파일 첫문장
- [2] https://mathworld.wolfram.com/ReductionSystem.html 두번째 문단