Re:The Hitchhiker's Guide to Logical Verification [pdf]
by 082349872349872 on Tuesday July 30, 2024 @08:16PM
(#41115360)
Logicomix: 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.
Re:The Hitchhiker's Guide to Logical Verification [pdf]
by steego on Tuesday July 30, 2024 @07:54PM
(#41115244)
It 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.
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.