Combinatory Logic を最初に考え出した人であるロシア人論理学者 Moses Schönfinkel について調べようと、Wikipedia in English の HP を開いて‘Moses Schönfinkel’という entry を見ていると、ちょっと驚くような記述を見かける*1。とても些細なことですが…

まず、書籍から。 Haskell B. Curry, J. Roger Hindley and Jonathan P. Seldin Combinatory Logic, vol. 2, North-Holland, Studies in Logic and the Foundationts of Mathematics, vol. 65, 1972 (古書) Gregory Landini Russell, Routledge, The Routled…

先日、某所にある峠を歩いて越えてみる。 狭い峠で車はほとんど通らない。狭すぎて大型車はまったく通行できない。軽自動車でも離合できないところばかりである。しかも非常に急な坂がかなり長い距離で続いている。一応、地図にも載っているような、ちゃんと…