I believe Rice’s theorem applies to a programmable calculator. Do you think it is impossible to prove that a programmable handheld calculator is “safe”? Do you think it is impossible to make a programmable calculator safe?
My point is, just because you can’t formally, mathematically prove something, doesn’t mean it’s not true.
You can formally mathematically prove a programmable calculator. You just can’t formally mathematically prove every possible programmable calculator. On the other hand, if you can’t mathematically prove a given programmable calculator, it might be a sign that your design is an horrible sludge. On the other other hand, deep-learnt neural networks are definitionally horrible sludge.
I believe Rice’s theorem applies to a programmable calculator. Do you think it is impossible to prove that a programmable handheld calculator is “safe”? Do you think it is impossible to make a programmable calculator safe?
My point is, just because you can’t formally, mathematically prove something, doesn’t mean it’s not true.
You can formally mathematically prove a programmable calculator. You just can’t formally mathematically prove every possible programmable calculator. On the other hand, if you can’t mathematically prove a given programmable calculator, it might be a sign that your design is an horrible sludge. On the other other hand, deep-learnt neural networks are definitionally horrible sludge.