Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩
https://rosa.codes/machines2025/
#brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan
It was a sharp grey London morning that begins my story. I was meeting my friend at the Xenocrates Club -- not my habitual retreat, but Xerloc said he had a matter for my memoirs. The doorward squinted and eventually allowed me to the Club's ...
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プログラマー)は、
プログラムを書かなければならないからではなく
プログラムを書きたいからでもなく
プログラムを書けてしまうのである。
> 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
Sci-books.com
alexanderadam
Vivienne Dunstan
bs2
quoteallthethings #Yang2020 🐉