# what exactly is mathematical rigor?

I am a programmer moving up to computer science and even in my past life as a mechanical engineer I used sufficient maths to get by but I have always wondered what exactly is this thing called rigor.

• In engineering you are taught to use buckets, in rigorous math you are taught how to make buckets which don't leak. Jul 13, 2012 at 7:51
• en.wikipedia.org/wiki/Rigour#Mathematical_rigour Jul 13, 2012 at 9:39

In mathematical logic, you can define a system in which statements are strings of symbols, and there's a list of axioms (assumed to be true) and deductive rules (which derive a statement from other statements). In this system, a proof of a statement is a sequence of steps which starts with the axioms, uses the deductive rules, and ends with that statement.

A fully rigorous result is one with a proof in this form.

In practice, we don't have time to carry out proofs at this level of detail. Instead we rely on our intuition, and do only as much checking as we need to convince ourselves and our colleagues that we could make the proof fully rigorous if we wanted to. This is just a judgement call that you will learn to make. Study proofs that have been published, and you'll get a good idea of the level of rigor that's expected.

Occasionally it turns out that we were wrong and a published proof has a hole in it. Also, it turns out that there are subtleties about choosing a plausible logical system which can trip us up. But generally this approach works well.

The reason we need to worry about rigor is simply that otherwise, it's too easy to delude ourselves about what we know. We are often surprised by what turns out to be true, or by what we cannot manage to prove.

• There's a system named after coq, used to verify a mathematical proof by a computer program whose underlying theory is so complicated, say, intuitionistic logic, and produce a formal proof. Such proof is thoroughly justified. Jul 15, 2012 at 2:53
• Coq.
– Did
Jul 15, 2012 at 6:04