3 ms·
A self-hosted compiler is definitely not a case of the liars paradox, so I don’t think this applies. In fact, it doesn’t matter what the parser is written in, a
by zwkrt 7y ago
A self-hosted compiler is definitely not a case of the liars paradox, so I don’t think this applies. In fact, it doesn’t matter what the parser is written in, at some point you do have to trust that it actually follows the spec, probably through testing.
- ukj 7y agoSo what you have to trust is that the spec doesn't produce lies ? ;) FYI. I am just having some philosophical fun with GIGO. Ultimately, computers are just instruments which amplify human intention, it's not the computers's job to be ultimate moral arbiter of our words. Gödel's incompleteness theorem already tells us that a system cannot prove its own correctness.