6 Mar
2006
6 Mar
'06
6:20 a.m.
You might not believe it if it said everything was ok, but it certainly would give you pause if it said everything wasn't ok! (E.g., if you check the compiler & can't verify that it works properly.) (At least for the present, people aren't being malicious and purposely trying to poison the theorem base...) At 09:19 AM 3/3/2006, Russ Cox wrote:
The proof-checking core could check itself, but would you believe it? (If a liar tells you he's not a liar, ...)