fine I NUMERI NATURALI DIMENSIONE EPISTEMOLOGICA fine Cos'è un numero naturale? Definiamo i numeri naturali!! Euclide Frege Definizioni dal Libro VII degli Elementi: Unità è ciò secondo cui ogni cosa è detta uno Enriques Numero è la moltitudine composta di unità Peano fine Cos'è un numero naturale? Definiamo i numeri naturali!! Euclide Approccio cardinale Frege Enriques Peano definizione di numero naturale come classe di equivalenza di insiemi finiti equipotenti fine Cos'è un numero naturale? Definiamo i numeri naturali!! Euclide Frege Approccio con le grandezze confronto tra grandezze Enriques Peano omogenee e unità fine Cos'è un numero naturale? Definiamo i numeri naturali!! Euclide Frege Approccio ricorsivo descrizione assiomatica Enriques Peano dell'aritmetica ciò che studieremo fine Cos'è un numero naturale? Definiamo i numeri naturali!! Poiché questi enti (numeri, punti, ecc.) hanno sempre sfidato ogni tentativo di una adeguata descrizione, lentamente sorse tra i matematici del XIX secolo l'idea che la questione del significato di questi oggetti come cose sostanziali, se pure ha senso, non lo avesse nel campo della matematica. Le uniche affermazioni rilevanti che li riguardano non si riferiscono alla realtà sostanziale, e stabiliscono soltanto delle relazioni tra gli oggetti matematicamente non definiti e le regole che governano le operazioni con essi. fine Cos'è un numero naturale? Definiamo i numeri naturali!! Nel campo della scienza,matematica, non si può e non si deve discutere ciò che i punti, le rette, i numeri sono effettivamente: ciò che importa e ciò che corrisponde a fatti verificabili sono la struttura e le relazioni, che due punti determinano una retta, che i numeri si combinano secondo certe regole per formare altri numeri, ecc. Assiomatica di Peano Nel lavoro di sistemazione della matematica, presentava una descrizione assiomatica dell'aritmetica tra tutti i concetti aritmetici a disposizione, se ne scelsero alcuni senza darne una definizione esplicita e si utilizzarono per definire altri concetti. Concetti primitivi tra tutte le proposizioni aritmetiche vere, se ne scelsero alcune che sono accettate senza dimostrazione. Assiomi o postulati fine Assiomatica di Peano fine Nel lavoro di sistemazione della matematica, presentava una descrizione assiomatica dell'aritmetica Concetti primitivi Assiomi o postulati Perché scegliere alcuni concetti senza definirli? Non si può definire ogni concetto? un caso forse noto: Euclide e la geometria fine Assiomatica di Peano Concetti primitivi 0 Sc Assiomatica di Peano Assiomi o postulati fine fine Assiomatica di Peano Assiomi o postulati Lo zero è un numero Ogni numero ha un successivo ed uno solo Lo zero non è successivo di alcun numero Se due numeri hanno successivi uguali, allora sono uguali Principio d'induzione matematica Definizione operazioni Assiomatica di Peano Assiomi o postulati Lo zero è un numero fine Assiomatica di Peano Assiomi o postulati Ogni numero ha un successivo ed uno solo fine Assiomatica di Peano Assiomi o postulati Lo zero non è successivo di alcun numero fine Assiomatica di Peano Assiomi o postulati Se due numeri hanno successivi uguali, allora sono uguali fine Assiomatica di Peano Assiomi o postulati Il metodo si compone di due passi: 1. Verifica che la proprietà vale per un numero naturale (di solito, si prova per M = 0 o M = 1) 2. Dimostra che se la proprietà vale per un numero naturale m allora la proprietà vale per il successivo di m, cioè m+1 L’assioma afferma che: Se sono soddisfatte queste due condizioni, allora la proprietà vale per ogni numero naturale (a partire dal primo per cui è stata verificata, di solito 0 o 1 ). Principio ( o metodo) d'induzione matematica fine Assiomatica di Peano La definizione delle operazioni addizione Addizione moltiplicazione + per ogni coppia (a,b) di numeri naturali associa il numero naturale a + b in modo che valgano le due proprietà seguenti: •a+0=a • a + Sc(b) = Sc(a + b) fine Assiomatica di Peano La definizione delle operazioni addizione Moltiplicazione moltiplicazione x per ogni coppia (a,b) di numeri naturali associa il numero naturale a x b in modo che valgano le due proprietà seguenti: •ax0=0 • a x Sc(b) = (a x b) + a fine