dhi bruison sangnaamaanam

ganita saastramlo, dii bruison sangnaamaanam anedi dutch ganita shaastravetta nicolas govert dii bruison kanugonna λ calculus looni padaalaku vaakyanirmaanam. dheenini λ calculus kosam saadhaarana vaakyanirmaanam yokka tirogamanamgaa chudavachu, ikkada oka applicationloni vaadana daani sambandhita binder pakkana functionlo unchabadutundi, taruvaati boddy tarvaata kakunda.
adhikaarika nirvachanam.
dii bruison sangnaamaanamlo padaalu (suutram _ 1) chararaasulu (suutram _ 2), ledhaa rendu "wagan" upasargalalo okadaanni kaligi untaayi. obstractor vyagan", vraatapuurvaka suutram _ 3, λ calculus yokka saadhaarana λ-binderku anugunamgaa untundi, mariyu "applicator vyagan", vraatapuurvaka suutram _ 4, λ calculus looni applicationloni vaadanaku anugunamgaa untundi.
saampradaaya vaakyanirmaanamloni padaalanu inductive function formula _ 6 nii nirvachinchadam dwara dii bruyne sangnamaanamgaa maarchavacchu, dheeni kosamh
suutram _ 7
suutram _ 6 anuvaadaaniki sambandhinchi λ-padaalapai anni karyakalapalu prayaanistaayi. udaaharanaku, saadhaarana β-taggimpu,
dii bruison sangnaamaanamlo, oohinchadaginadi,
eee sangnaamaanam yokka oka lakshanam emitante, β-redexla yokka obstractor mariyu applicator vyaganlu kundaleekaranaala vale jatacheyabadataayi. udaaharanaku, suutram _ 11 yokka β-taggimpulooni dasalanu pariganinchandi, ikkada redexlu nokki cheppabaddayi
suutram _ 12
anduvalla, evarainaa darakhaastudaaruni open parent ('coque _ 1') gaa mariyu obstractornu close brocket ('coque _ 2') gaa choosthe, appudu paina perkonna padam yokka namuunaa 'coque _ 3'. eee vivaranalo dii bruyne oka darakhaastudaaru mariyu daani sambandhita sangrahakartanu "bhaagaswaamulu" anie, mariyu bhaagaswaamulu laeni vyaaganlanu "bachelors" anie pilicharu. anni vyaganlu bhaagaswaamyamto unte, athanu "segment" anie piliche vyaganla shreni "baga samatulyamainadi".
dii bruison sangnaamaanam yokka prayojanaalu.
baga samatulya vibhaagamlo, bhaagaswaamya vyaaganlanu ekapakshamgaa tharalinchavachhu mariyu samaanatvam naasanam cheyabadananta kaalam, padam yokka ardham alaage untundi. udaaharanaku, paie udaaharanalo, applicator suutram _ 4 nuu daani obstractor suutram _ _ ledhaa obstractornu applicatorku teesukuraavacchu. vaastavaaniki, lambda padaalapai "anni" parivartanalu mariyu kramabaddheekarana maarpidulanu bhaagaswaamya vyaganla yokka samanatva-parirakshana punarvyavastheekaranala paramgaa vivarinchavacchu. eee vidhamgaa dii bruison sangnaamaanamlo λ-padaalaku aadimamaina "saadhaaraneekarinchina marpidi" nii pondutundi.
saampradaaya sangnaamaanaanni upayoginchi niroopinchadam mariyu niroopinchadam kashtamaina λ-padaala yokka aneka lakshanaalu dii bruison sangnaamaanamlo sulabhamgaa vyakteekarinchabadataayi. udaaharanaku, oka rakam-siddhaanta nepadhyamlo, oka padam kosam praamaanika taragati rakalanu sulabhamgaa ganinchavacchu, mariyu tanikhi cheyabadina rakam eee taragatilo sabhyudani dhruveekarinche rakam tanikhi samasyanu tirigi cheppavacchu. swachchamaina rakam vyavasthalalo spashtamaina pratyaamnaayam kosam dii bruyne sangnaamaanam kooda calculilo upayogakaramgaa unnatlu choopabadindi.

