Paul Cantrell@datarama @futurebird @WizardOfDocs @snacktraces …and while formalizing them often teases out those hidden assumptions, just as often it can lead engineers to diligently verify and implement •the wrong goal•. That’s why it’s crucial to pair that sort of proof-flavored thinking with the skills of the humanities: communication, theory of mind, trust-building, etc. One without the other faceplants fast.
(This is where Paul recommends Lakatos’s Proofs and Refutations)
All GNU social JP content and data are available under the