4 ms·
It makes sense, thanks. I guess I hadn't really thought about the fact that having a program written isn't having a program that is mathematically verified (as
by cmehdy 6y ago
It makes sense, thanks. I guess I hadn't really thought about the fact that having a program written isn't having a program that is mathematically verified (as we likely all know, this is a particularly costly procedure and can hardly be done on extremely complex pieces of software - otherwise everyone would do it). So they run it long enough to "feel" like it is valid enough. And then they can't afford more.
From a software engineer point of view though, it's a bit short-sighted isn't it? I can't imagine anyone writing anything beyond a calculator app (and even that..) would be certifying to you that formal verification could work on their program by simply running it for a while. Durham could have bootstrapped further cash to keep things running once in a while for show and dedicate the rest of his life to mathematically proving as many chunks as possible. But that might just be me obsessing over the concept more than Durham himself..
- ryukafalz 6y agoWell, part of what Durham wanted to demonstrate to himself was that he didn't need to be running the simulation for the TVC version of him to have a subjective experience of the simulation, right? And TVC-Durham has Durham's memories as of the last brain scan, so that's also "him" in a sense. So the fact that TVC-Durham knows that the simulation isn't being run on the outside is valuable knowledge as well. It's sort of a balance between flesh-Durham having assurance that the simulation works, and TVC-Durham having assurance that his subjective experience of the TVC universe is going to continue.