aw! The λ story I retweeted earlier turns out to lack the evidential base we'd like. instead it looks like Church used the function λx.random-greek-letter(x). ☹️
Quote Tweet
According to Dana Scott at least the goofy 'hat calculus' story I posted before is a myth: twitter.com/danghica/statu - tl;dw: somebody actually wrote to Alonzo Church asking why he used ‘λ’ and he replied back “Eeny, meeny, miny, moe…”
Show this thread
1
2
10