There are so, so many rich sidenotes in this post. One I like: "Of course, there are confusions. There’s yet another birthdate for Schönfinkel: September 4, 1

There are so, so many rich sidenotes in this post. One I like: "Of course, there are confusions. There’s yet another birthdate for Schönfinkel: September 4, 1889. Wrong year. Perhaps wrongly done correction from the Julian calendar." Here we are over 100 years later and still dealing with constant time and calendar bugs.