31 ms·
In some other realm Gödel is laughing.
by motters 16y ago
In some other realm Gödel is laughing.
- sad_david 16y agoI presume you are referring to Gödel's incompleteness theorem, which states that any sufficiently powerful mathematical logic will have theorems that can't ever be proven in it. This doesn't mean that certain particular theorems can't be proven, however. For instance, proving that a particular implementation of a kernel matches a particular specification can keep well away from Gödel.
- jerf 16y agoGodel's theorem doesn't have much to say either way about "hacking". If you've got a bit of information on a system that a user X shouldn't be able to access, if you completely seal off the user X from that information it doesn't matter how many computations they run. They won't be able to get it. Godel's proof does not prove anything about a system's ability to access its external environment, it proves that a sufficiently complicated system can't be sealed from having certain properties on its inside.
- regularfry 16y agoA DOS from a non-terminating process is still a hack.
- jerf 16y agoThe process can only fail to terminate if the exterior environment doesn't kill it, and no amount of work in a correctly secured environment will let the process escape that. Security is hard, really hard even, but Hollywood OS is fictional. Barriers are penetrable today because they have holes, not because Godel's theorem guarantees that all security can be penetrated. That's not what it is about.