Concept tag
#verification
-
If only the transformed can know, how could a mystic ever be shown to be wrong?
I teach science in Mangaluru and campaign against superstition, so let me say first that I'm not asking this to sneer. I read Sufi poetry with real pleasure, and I've learned from discussions here that the Sufi claim is subtler than "feelings…
Started by Arvind Poojary0 replies102 views -
I use modal logic at work every day, and the engineers around me have no idea it was philosophy
I write formal-verification tools for chip designs in Austin. Every day my colleagues write properties like "on every path, whenever a request is issued, a grant eventually follows". In our notation that's something like AG(request → AF grant): A for "on all…
Started by Derek Hollis0 replies68 views