I’m not a big fan of the last question. It seems like it’s hinting at the line of argument (which is very popular on HN) that goes something like “you can’t provide a formal specification for what it means for something to be “true,” and you cannot determine “truth” with 100% reliability, therefore you should have no processes or policies which involve any determination whatsoever about the state of the world.”