See this HN article[0] and, specifically, the interesting chain of comments starting with Mr. Ptacek's ruminations on the article[1] that ends up linking to Mr.

See this HN article[0] and, specifically, the interesting chain of comments starting with Mr. Ptacek's ruminations on the article[1] that ends up linking to Mr. O'Church's writing. [0] https://news.ycombinator.com/item?id=8232746 https://news.ycombinator.com/item?id=8232746 [1] https://news.ycombinator.com/item?id=8232992 https://news.ycombinator.com/item?id=8232992