4 ms·
Not yet. But there may be in the future. Many things proved impossible have shown to be possible in the past.
by rhaps0dy 11y ago
Not 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.