Why not comment on the (rather interesting IMO) content rather than on the personality of the person writing? No one is going to change their mind based on your snark.
I liked the part of the content where Schönfinkel:
> If well designed (as I hope the Wolfram Language is!) computational language has a certain clean, formal structure. But human natural language is full of messiness, which has to be untangled by natural language understanding—as we’ve done for so many years for Wolfram|Alpha, always ultimately translating to our computational language, the Wolfram Language.
> But without the notion of an underlying computational language, people tend to feel the need to search endlessly for formal structure in human natural language. And, yes, some exists. But—as we see all the time in actually doing practical natural language understanding for Wolfram|Alpha—there’s a giant tail that seems to utterly explode any all-encompassing formal theory.
That depends rather on your background. I found Schönfinkel's original paper to be very accessible. Perhaps you will too, if you know a little old-fashioned logic.
I took your advice, and you're right, it is very readable. Seeing it in its original context also helps me understand why a logician would want to invent it.
I would highly recommend To Mock a Mockingbird by Raymond Smullyan. It will also introduce you (if you are not already aware) to the wonderful world of Smullyan's books.
https://clck.ru/38WW9M
This is where you are supposed to search Soviet WWII personnel and I guess that some of these documents come from here.
https://clck.ru/38WWAQ
However, this documents lists a different address for Grigorii Schonfinkel! "Садовая-Триумфальная, д. 2 кв. 12" (Sadovaya-Triumphalnaya 2, apt. 12)
What's interesting about it that it is usually addressed as "Тверская 30". Maybe not this building after all? Or there was a reason why it was addressed that way.
Yes, looks like Grigory's WWII documents came from pamyat-naroda
Also Yandex Archive started scanning/transcribing documents (even handwritten! powered by TrOCR model I guess?). I found there more documents on Grigori and left comments on the article itself.
I recently attempted to make a reference implementation and walkthrough of Schönfinkel's original paper [1]. I found the English translation (by Stefan Bauer-Mengelberg) to be quite readable, highly recommend!
I vividly remember our teacher at university explaining "currying" in Lambda calculus and afterwards consistenly calling it "Schönfinkeln", which I think only works in German but sounds much more beautiful than "currying" :-D
23 comments
[ 3.9 ms ] story [ 53.1 ms ] thread> If well designed (as I hope the Wolfram Language is!) computational language has a certain clean, formal structure. But human natural language is full of messiness, which has to be untangled by natural language understanding—as we’ve done for so many years for Wolfram|Alpha, always ultimately translating to our computational language, the Wolfram Language.
> But without the notion of an underlying computational language, people tend to feel the need to search endlessly for formal structure in human natural language. And, yes, some exists. But—as we see all the time in actually doing practical natural language understanding for Wolfram|Alpha—there’s a giant tail that seems to utterly explode any all-encompassing formal theory.
Oh nevermind.
Of all the f'd up people in the world this guy seems very much on the "so what" end of the spectrum.
http://sshieh.web.wesleyan.edu/wescourses/2013f/388/e-texts/...
https://en.wikipedia.org/wiki/SKI_combinator_calculus
https://clck.ru/38WWAQ However, this documents lists a different address for Grigorii Schonfinkel! "Садовая-Триумфальная, д. 2 кв. 12" (Sadovaya-Triumphalnaya 2, apt. 12)
What's interesting about it that it is usually addressed as "Тверская 30". Maybe not this building after all? Or there was a reason why it was addressed that way.
https://retromap.ru/1319377_55.769246,37.605020 - Looks like the address actually existed back then, and wasn't an alias of Tverskaya 30.
Also Yandex Archive started scanning/transcribing documents (even handwritten! powered by TrOCR model I guess?). I found there more documents on Grigori and left comments on the article itself.
[1] https://github.com/planetlambert/combinator