5 ms·
There is no such thing as an unhackable system.
by 9fb29947 11y ago
There is no such thing as an unhackable system.
- rhaps0dy 11y agoNot yet. But there may be in the future. Many things proved impossible have shown to be possible in the past.
- Beltiras 11y agoGödel's Incompleteness Theorem might be abstractable to this. Any system so inaccessible as to be unhackable might be functionally impaired beyond usefulness.
- jdefr89 11y agoGodel's theorem is great for claims like this. Have they proved that the "theorem proving" software has no mistakes?
- hga 11y agoThere's this: http://proof-technologies.com/holzero/index.html http://proof-technologies.com/holzero/index.html and I see some other things that I interpret as moving in that direction.