If you have never read it before, “On the Building Blocks of Mathematical Logic”[1] is incredibly readable given that it's talking pure theory and trying to do something quite remarkable. Basically it teaches you to remove variables from arbitrary logic expressions, including logic expressions that have existential and universal quantification, and just represent them with a couple of fixed symbols (you can get it down to 2, which if you were so inclined you could call 0 and 1).
That's a pretty lofty goal and Schönfinkel just baby-steps you into it, “you know how NAND gates (the Sheffer stroke) work and can make any other boolean circuit by making AND and NOT and OR the following ways? Cool. Here’s how we can extend that idea to ‘there exists X such that...’ and here is how you curry functions and use the Applicative functor for functions in practice to remove multiple calls of the same argument, and with those you can write anything point-free and do away with arguments and symbols altogether.”
At the end of reading it, there is simultaneously a sense of epiphany and a sense of confused scope, like when you've been walking up a mountain all day and you turn around and you don't really believe that you have gotten as high as you have gotten, every step was reasonable and the sum total is unreasonable. Well worth the reading time.
I did my dissertation on an aspect of Combinatory Categorial Grammar, as mentioned in the article as a byproduct of Schönfinkel's work.
One of the interesting byproducts of considering sequences of words in a natural language sentence as functions, is a solution to analysing a phenomenon in syntax called right node raising: "I washed and you dried the dishes."
In context-free grammars of English, "I washed" and "you dried" do not form constituents (unlike "washed the dishes" or "dried the dishes", which are VPs — verb phrases). However, in Combinatory Categorial Grammar, this is no problem, as "I washed" is simply a function looking rightward for a noun phrase (NP), and returning a sentence (S). In CCG terms, this function would be notated S/NP, corresponding to an interpretation function of type NP -> S.
> But now let’s look at the “mother’s” name: “Мария Григ.” (“Maria Grig.”). We know Gregory’s (and Moses’s) mother’s name was Maria/“Masha” Gertsovna Schönfinkel... My guess is that the “mother” is actually a mother-in-law, and that it was her apartment.
It's more likely that the mother Russianized her patronymic from Gertsovna to Grigorievna.
The question of Gregory joining the army is less of "why did he volunteer" but more "did he have a job that would allow him to avoid getting drafted (бронь)". At some point in the war, around 1942, the army drafted anyone who could hold a rifle
1924 is a couple of years after the end of the 1917-21 Soviet war with the Ukraine (before 1914 MS was at college in Odessa); also the year of Lenin's death, and the decline of Ukrainian-Jewish leader Trotsky. Why move back from Gottingen in 1924?
That's a pretty lofty goal and Schönfinkel just baby-steps you into it, “you know how NAND gates (the Sheffer stroke) work and can make any other boolean circuit by making AND and NOT and OR the following ways? Cool. Here’s how we can extend that idea to ‘there exists X such that...’ and here is how you curry functions and use the Applicative functor for functions in practice to remove multiple calls of the same argument, and with those you can write anything point-free and do away with arguments and symbols altogether.”
At the end of reading it, there is simultaneously a sense of epiphany and a sense of confused scope, like when you've been walking up a mountain all day and you turn around and you don't really believe that you have gotten as high as you have gotten, every step was reasonable and the sum total is unreasonable. Well worth the reading time.
[1] https://writings.stephenwolfram.com/data/uploads/2020/12/Sch...