"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.
