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