I love the fact that our precious λ symbol (for function abstraction) arose due to a series of typographical errors: www-users.mat.umk.pl/~adwid/materia
13
296
675
Conversation
A mathematician went to a typesetter that couldn't typeset a circumflex? This story seems a little tall to me
5
18
Dana Scott insisted it was like this.
1
If Twitter search was any good I'd reply with a link to the video that suggests otherwise :)
1
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
1
I wish twitter had a 'retraction' feature - the best I could do was reply to myself. 🤦♂️