Originally posted by

**oiaohm**View PostFirst, "mathematically sound" is a term used in logic, the philosophy behind deductive reasoning in mathematical terms. Then you cant prove anything at all from observatory sciences, you can only prove the mathematical model which is an approximation of the world.

The issue here is the approximation, you simply cant deal maths on anything else than abstract models. Making sure your approximation is right is key to making that math relevant, but this requires "not-math" which together with math is still "not-math".

Originally posted by

**oiaohm**View PostMathematically speakin: "almost all" you write is wrong (please look that up before you think that's an insult).

Originally posted by

**oiaohm**View Post**formal**proof, and necessary verification of the models involved.

Originally posted by

**oiaohm**View PostThe area of cryptography (which IS pure math for a change) is totally separate from software, material science, and making sure that you don't expose more than you want.

## Comment