Brendan Zabarauskas@brendanzab·May 3, 2019I love the fact that our precious λ symbol (for function abstraction) arose due to a series of typographical errors: http://www-users.mat.umk.pl/~adwid/materialy/doc/church.pdf…13296675
/ˈdæn pɪˈpəʊniː/@sigfpe·May 3, 2019A mathematician went to a typesetter that couldn't typeset a circumflex? This story seems a little tall to me518
Noam Zeilberger@noamzoam·May 3, 2019I remember hearing a talk by Dana Scott where he said that indeed this is a tall tale, and that Church chose the λ just because...he needed a letter. (Maybe somebody knows where to find this talk online?)3419
〚Dan R. Ghica〛@danghica·May 4, 2019I was in the audience and filmed Dana Scott telling the story of what the lambda stands for.youtube.comDana Scott on lambda notation31229
Brendan Zabarauskas@brendanzabReplying to @danghica @noamzoam and 2 othersThanks for this! 🤩8:46 AM · May 4, 2019·Twitter for iPhone1 Like