Formal methods are cool because they're in line with Engelbart's dream of utilizing computation to augment human reasoning capabilities. Incidentally, that's also why math and logic are cool. By offloading thinking into symbols we free up valuable mental resources to worry about other problems. That last one is paraphrasing Alfred North Whitehead, "Civilization advances by extending the number of important operations which we can perform without thinking of them".

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!