L’opuscolo in latino classico Arithmetices Principia nova methodo exposita
0. i numeri formano una classe
pubblicato all’inizio del 1889 è senza dubbio la più famosa fra le opere di
1. lo zero è un numero
The booklet written in classical Latin, Arithmetices Principia nova methodo exposita, published at the beginning
of 1889, is without a doubt the most famous of Peano’s works, both because it contains his famous axioms
for natural numbers, and because this was the first time he used his logical symbolism to delineate the
Peano, sia perché contiene i suoi celebri assiomi per i numeri naturali, sia
2. il successore di un numero è un numero
foundations of arithmetic.
perché egli utilizza qui per la prima volta il suo simbolismo logico per
3. due numeri con successori uguali sono uguali
His contributions join with those of R. Dedekind, C. Méray and G. Cantor regarding the construction of real
delineare i fondamenti dell’aritmetica.
4. lo zero non è il successore di alcun numero
numbers, and regarding the axiomatisation of arithmetic, those of Grassmann, Dedekind and Frege, with
whom, as time when on, he would critically compare his own positions.
I suoi contributi si affiancano a quelli di Richard Dedekind, Charles Méray
5. ogni classe che contenga zero e il successore di ogni suo elemento,
Inspired by the works of G. Boole, E. Schröder, C. S. Peirce and W. S. Jevons on algebraic logic, Peano prepared
e Georg Cantor sulla costruzione dei numeri reali e, per l’assiomatizzazione
contiene tutti i numeri (noto universalmente come ‘principio di induzione
a special table in the Arithmetices Principia to indicate the three groups of signs that he will use: those of
dell’aritmetica, a quelli di Hermann Grassmann, Richard Dedekind e Gottlob
completa’).
Frege, con i quali, nel corso del tempo, egli confronterà criticamente le sue
Convinto dell’importanza di riversare le ricerche sui fondamenti nella pratica
posizioni.
di insegnamento universitario e secondario, Peano redige inoltre una
pertinence to logic, those specific to arithmetic, and those that are composite. After having addressed the
primitive concepts, he states the postulates of arithmetic, from which he proceeds to deduce the entire theory;
thanks to its elegance and simplicity, this theory was well-received at the time, and is still known today as
‘PA’, that is, Peano’s Arithmetic. In 1891 Peano begins to treat questions regarding the foundations of
Torino 1890, piazza Carignano
mathematics in his Rivista di Matematica, starting with the essay Sul concetto di numero, in which he genetically
Traendo ispirazione dai lavori di George Boole, Ernst Schröder, Charles S.
caleidoscopica serie di articoli sul tema delle definizioni, interventi su
Peirce e William S. Jevons sull’algebra della logica, Peano presenta, in una
problemi numerici, recensioni di testi e note storiche che rivelano la sua
while modifying them somewhat. Over the coming years, the axioms will be refined, thanks in part to the
apposita Tavola degli Arithmetices Principia, i tre gruppi di segni che userà:
passione per l’aritmetica e la teoria dei numeri.
collaboration of his follower Alessandro Padoa, and will be given their definitive formulation in 1901, in the
quelli di pertinenza della logica, quelli specifici dell’aritmetica e quelli
Il manuale per gli insegnanti Aritmetica generale e Algebra elementare del
composti. Dopo aver assunto i concetti primitivi, egli enuncia i postulati
1902, in cui fornisce un’esposizione elementare della teoria assiomatica di
dell’aritmetica, da cui deduce l’intera teoria che, per la sua eleganza e
queste discipline, desunta dal Formulario, avvalora la sua persuasione che
defines the various species of numbers – negative, integers, rational and real – and taking up again his axioms
third edition of the Formulario. The primitive concepts are those of ‘zero’, ‘number’ and ‘successor’, and the
postulates are stated in the form:
0. natural numbers form a class; 1. zero is a natural number; 2. the successor of a natural number is a number;
Gottlob Frege, 1848-1925
Giuseppe Peano, 1924
Georg Cantor, 1845-1918
3. two natural numbers with equal successors are equal; 4. zero is not a successor to any natural number; 5.
every class that contains zero and the successor of each of its elements, contains all the natural numbers
semplicità, riscuote successo ed è ancora odiernamente indicata con
sia nel campo didattico che la logica manifesta ‘la sua fulgida semplicità’.
l’acronimo ‘PA’, cioè ‘Aritmetica di Peano’.
Nella conferenza del 1924 Sui libri di testo di aritmetica, a ridosso della
Convinced of the vital importance of turning research on the foundations into practice in university and secondary
Il matematico piemontese torna ad occuparsi di questioni fondazionali nel
relazione ministeriale di G. Lombardo Radice e M. Cipolla, Peano stigmatizza
school teaching, Peano also drafted a kaleidoscopic series of articles, treating subjects such as definitions,
(universally known as the ‘principle of complete induction’)
discussions of numeric problems, reviews of textbooks, and notes on history, making evident his passion for
1891 sulla sua Rivista di Matematica, con il saggio Sul concetto di numero,
i difetti di molti manuali scolastici, in cui le definizioni sono date in modo
nel quale definisce geneticamente le varie specie di numeri: negativi, interi,
dogmatico e catechistico e contengono spesso ridondanze e circoli viziosi.
arithmetic and number theory. The 1902 manual for teachers, Aritmetica generale e Algebra elementare, in which
he gives an elementary statement of the axiomatic theory of these two disciplines, taken from the Formulario,
A. Padoa, 1868-1937
razionali e reali, oltre a riprendere con alcune modifiche i suoi assiomi.
Matematici a Gottinga
strengthened his belief that it is precisely in the area of education that logic displays ‘its brilliant simplicity’.
Proprio per ovviare a queste carenze nell’editoria italiana, esponenti della
In his 1924 talk entitled Sui libri di testo di aritmetica, close to the time when G. Lombardo Radice e M. Cipolla
Nel corso degli anni essi sono infatti perfezionati, anche grazie alla
sua Scuola, come Cesare Burali-Forti, Angelo Ramorino, Marco Nassò,
collaborazione con il suo allievo Alessandro Padoa, e giungono alla loro
Sebastiano Catania, Corrado Ciamberlini e Alpinolo Natucci, curano testi
textbooks, in which definitions were given in a dogmatic and doctrinaire fashion, and often fell into redundancy
formulazione definitiva nel 1901, nella terza edizione del Formulario.
di aritmetica ‘razionali’ e ‘pratici’, improntati all’utilizzo della logica simbolica,
and vicious circles. It was precisely to fill this gap in Italian literature that members of Peano’s School,
presented the official report of the Ministry for Public Instruction, Peano stigmatized the defects of many school
including C. Burali-Forti, A. Ramorino, M. Nassò, S. Catania, C. Ciamberlini and A. Natucci, would write books
I concetti primitivi sono qui quelli di ‘zero’, ‘numero’ e ‘successore’ e i
in cui si tiene anche conto delle più recenti conquiste della critica
postulati sono enunciati nella forma:
fondazionale.
of arithmetic that were ‘rational’ and ‘practical’, characterised by the use of symbolic logic, and which also
Torino 1890, ponte Umberto I
Stupinigi, 1890
Sui fondamenti dell’Aritmetica
looked to the most recent achievements in criticism of the foundations of mathematics.
Scarica

Sui fondamenti dell`Aritmetica