Comment Comment by hinkley > 3) No bugs exist in your theorem proverSeems to me that at some point we want theorem provers to be self hosting, as it were.That of course won't fix problems with bugs in hardware, and hardware that behaves like analog devices (rowhammer, cold boot, data recovery, stray gamma rays...) parent hinkley 10 years ago
Seems to me that at some point we want theorem provers to be self hosting, as it were.
That of course won't fix problems with bugs in hardware, and hardware that behaves like analog devices (rowhammer, cold boot, data recovery, stray gamma rays...)