On 07/30/2014 06:30 PM, Daniel Murphy wrote:
"Timon Gehr" wrote in message news:[email protected]...
On a more serious note, are you trying to argue that there are no
pragmatic differences in software quality based on the obvious fact
that the system running the software is implemented on top of
uncertain physics?
No, I was saying that in any verified system there will be a portion
that is just trust.
Obviously.
(That this was the point was not obvious to me because it already holds
in purely formal systems, there is not actually a need to shave off
abstractions.)
