#11A Ricorsione Forte: Fibonacci e forme Induttive

Principio di Induzione I Forma abbiamo P(n)  P(0) è vera – Peano P(k) è vera  ⇒ P(k+1) è vera E qui la ricorsione è data dall’affermazione della proposizione P che se vale per k+1allora vale per n. La stessa la si trova nella seguente analogia x+0=x,     x+S(y) = S(x+y) x*0=x,   x*S(y) =…

#10A relazioni: Equivalenza, Preordine ed Ordine

Si chiamano relazioni di Equivalenza quando hanno una funzione binaria ℜ su di un insieme X e soddisfano le 3 seguenti proprietà: riflessiva – aℜa simmetrica – aℜb = bℜa transitiva – aℜb = bℜc ⇒ aℜc e ad ogni ℜ si associano elementi tra loro che costituiscono una classe di equivalenza : [a]Þ = { x∈X :…

#6A insieme InFinito

Cos’è un insieme infinito? Cantor e Dedekind hanno visioni analoghe e rispondono chiaramente formalmente alla domanda; ma mettiamo un po’ di chiarezza dove il linguaggio matematico nel spiegare l’ovvietà ci complica un po’ la comprensione. Parto da Peano in quanto se mi soddisfa i suoi 5 punti allora esiste qualunque insieme infinito concernente i numeri…