You should look up provable security. And also, while security proofs typically rely on unproven assumptions, correctness proofs in cryptography are "regular" p

You should look up provable security. And also, while security proofs typically rely on unproven assumptions, correctness proofs in cryptography are "regular" proofs for all intents and purposes. You can't even do RSA etc. without understanding prime numbers which is impossible if you limit yourself to propositional calculus ("SAT"). > Again, you miss the point, there will be a paradigm shift. Yes, symbolic maths still exists, but nobody is looking up a special function to solve an equation. They just plug the numbers (and the state machine approximation of the numerical operations) in the computer and numerically, the result comes out. This is false.