Surprising to have _The Great Derangement_, through David Hume send me looking for a Chinese Philosophy quote that #RaymondSmullyan works into #TheTaoIsSilent. #YangChu's words are in #VictorMair's notes too:
> .. "If nobody would sacrifice a hair, if nobody would try to benefit the world, then the world would become orderly." In other words, we should live and let live, not imposing ourselves on others nor letting others impose themselves on us..
http://www.sino-platonic.org/complete/spp048_chuangtzu_zhuangzi.pdf
#SacrificeAHair

I first heard of Smullyan from #DanielPFriedman in the Foreword to #TheSchemersGuide. He had "a chance conversation" with #RaySmullyan about a letter from math teachers in Florida. That led to a re-working of a high school computing text from #Logo to #Scheme. It's funny to see Smullyan in a Japanese Lisp foreword too.
> S式は目的を持たない、
しかしまさにそのことにより
すべての目的お見事に果たす。

> 成人(のようなLispプログラマー)は、
プログラムを書かなければならないからではなく
プログラムを書きたいからでもなく
プログラムを書けてしまうのである。

#Lisp #Scheme and #LaoTzu #RaymondSmullyan #老子

> Scheme is a natural and versatile language for describing algorithmic processes. It provides thinkers with the means to record systematic procedures in a succinct and organized way. It is only and afterthought that the fruits of their labors will be run on a computer.

#DanielPFriedman writing about #Scheme after being introduced to a high school class in Florida that had written to #RaySmullyan with "unusual solutions to combinator problems" in To Mock a Mockinbird, #RaymondSmullyan