4 ms·
> Sorry for the long post. No need at all. I'm very interested in this area too, but didn't know all the OBJ lore. I got into this kind of thing after learning
by didericis 2y ago
> Sorry for the long post.
No need at all. I'm very interested in this area too, but didn't know all the OBJ lore. I got into this kind of thing after learning about Hilbert's program, which goes all the way back to the late 1800s. The history of formal logic in general is incredibly deep/very very interesting.
- steego 2y agoIt really is and I’m glad you appreciated it. I love these stories and how you can show the lasting impact that these very direct and personal influences had on the tools we use today. I recently learned that Burstall met Peter Landin and Christopher Strachey through this underground study group forms by a gentleman named Mervyn Pragnell, who skulked around in book shops so he could invite people who were reading books on logic to his group where they would study lambda calculus together. To think a meetup organizer in the early 60s had this lasting impact that carries to today.
- 082349872349872 2y agoLogicomix: An Epic Search for Truth (2009) hints that pushing formal logic forward may be as attractive, yet dangerous, for mental health as ascending Everest without supplemental O₂ is for physical: Weave a circle round them thrice, And close your eyes with holy dread For they on honey-dew hath fed, And drunk the milk of Paradise.