[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

/math/ - Mathematics

Name
Email
Subject
Comment
Verification
Instructions:
  • Press the Get Captcha button to get a new captcha
  • Find the correct answer and type the key in TYPE CAPTCHA HERE
  • Press the Publish button to make a post
  • Incorrect answer to the captcha will result in an immediate ban.
File
Password (For file deletion.)
25 Dec 2021Mathchan is launched into public
Return Catalog Bottom Refresh
4 / 2 / 3 / ?

File: image.png ( 126.74 KB , 2048x2048 , 1643699011807.png )

Image
  No. 134
>>138 >>174
does anyone have good resources to learn the notation? i could figure out basic things like
((λx.x)(λa.a))((λ x . x) (λ a . a))

but got filtered by
(((λf.(λx.(fx)))(λa.a))(λb.b))(((λ f . (λ x . (f x))) (λ a . a)) (λ b . b))
>>
  No. 138 >>139
>>134
What's your background
>>
  No. 139 >>141
>>138
mathematics, i managed to figure out the notation by fucking around with emacs lisp
>>
  No. 141

File: da9ffae136e360d515303cbbb8af99e1.jpg ( 350.26 KB , 744x1052 , 1644299884658.jpg )

Image
>>139
https://www.mscs.dal.ca/~selinger/papers/papers/lambdanotes.pdf
>>
  No. 174
>>134
Usually repeated abstraction is notated as just
lam f x. ...
instead of
lam f. lam x. ...
Lambda calculus isn't usually used in practice.
Not sure what you want to use it for.

Return Catalog Top Refresh
4 / 2 / 3 / ?

[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]