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