Humans are not Turning machines. I'm not talking how we work on fundamental level. I'm saying we don't obey axioms of Turing machine model. So Rice theorem no

Humans are not Turning machines. I'm not talking how we work on fundamental level. I'm saying we don't obey axioms of Turing machine model. So Rice theorem nor Godel theorem can apply to unsafe code written by humans. Even if borrow checker is limited by the Rice theorem, you can create either safe abstractions provably or unsound abstractions provably or potentially unsound abstractions, which humans can reject or accept.