Matematisk intuition
Matematisk intuition är en mycket användbar metod för att identifiera lemman och satser som kan vara värda att försöka bevisa. Den matematiska intuitionen är nära besläktad med önsketänkande.
Ett intuitionsbevis består av två delar: Intuitionsbasen och intuitionssteget. Ett intuitionsresonemang kan i korthet lyda ungefär såhär:
- Hmm. Det här påståendet verkar gälla för små n. (Intuitionsbas)
- Då gäller den säkert för alla n. (Intuitionssteg)