= 27d567bc2d48d9f40e9ccc20ea370b15)
sludgepuddle comments on Automated theorem proving - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (5)
There are definitely cases where there is little hope of proving "100% intended performance". For example, RSA only works as intended if factoring is hard. Most computer scientists strongly believe this is true, but this is not likely to be proven any time soon.