Video 3 del percorso: "I principi di induzione e ricorsione"

In questa lezione si introducono, sempre con esempi, i principi di induzione e ricorsione sui naturali in senso forte, ovvero una logica generalizzazione dei principi trattati finora.
Gli esempi presentati sono:
- quasi per scherzo, la dimostrazione che tutti i numeri sono "interessanti" (modo informale per far capire come funziona il principio di induzione forte);
- la famosissima successione di Fibonacci (in particolare presteremo attenzione alle sue proprietà di divisibilità e ai Massimi Comuni Divisori di elementi successivi);
- la dimostrazione di positività e crescenza di una certa successione di numeri interi.