- 2073 Magh · 4 marks
Central ideas of formal and informal proofs
Short answer
Formal proofs are symbolic, step-by-step sequences using explicit inference rules, machine-checkable. Informal proofs use natural language, skip routine steps, and rely on human judgment to convince that a formal proof exists.
What are the central ideas of formal and informal proofs?
Formal proof
A formal proof is a finite sequence of statements written in a precise formal language. Each statement is an axiom, a hypothesis (premise), or follows from earlier statements by a stated rule of inference (modus ponens, modus tollens, resolution and so on). No step is skipped and no meaning is needed to check it, so a computer can verify it. Example: the step-by-step proofs with a reason for each line.
Central idea: correctness is purely mechanical and symbolic, with complete rigour.
Informal proof
An informal proof is an argument written in ordinary language mixed with mathematics. Routine steps are skipped, known theorems are used freely, and the reader is expected to fill gaps. Examples: direct proof, proof by contradiction, proof by cases as in textbooks.
Central idea: to convince a human reader that a formal proof could be written, using readable and shorter reasoning.
Comparison
| Point | Formal proof | Informal proof |
|---|---|---|
| Language | Symbolic logic | Natural language plus maths |
| Steps | Every step shown with a rule | Obvious steps omitted |
| Checking | Can be machine-checked | Checked by human judgement |
| Length | Long | Short |
| Use | Verification, theorem provers | Textbooks, everyday mathematics |
| Risk | Very low | Hidden gaps possible |
✓ Answer checked by Claude Opus 5.5 (high effort)
Related questions
- Formal, informal organization and principles · Organization and Management, chapter 1 · asked 3×
- Difference between formal and informal organization · Organization and Management, chapter 1