RENDICONTI 



DELLE SEDUTE 



OR Li LA REALE ACCADEMIA DEI LINCEI 

 Classe di scienze fisiche, matematiche e naturali. 



Seduta dell' 8 gennaio 1911. 

 P. Blaserna, Presidente. 



MEMORIE E NOTE 

 DI SOCI 0 PRESENTATE DA SOCI 



Matematica. — Sulla definizione di funzione. Nota del Cor- 

 rispondente Gr. Peano. 



I professori Whitehead e Russell dell'Università di Cambridge pubbli- 

 carono da pochi giorni il primo volume di un'opera col titolo Principia 

 mathematica. È un grande libro, di quasi 700 pagine in 4°, edito col sus- 

 sidio del governo inglese, e coli' aiuto dell'Università di Cambridge. 



Le questioni relative ai principi della matematica, vi sono magistral- 

 mente ed esaurientemente trattate. Il libro è quasi tutto scritto in simboli 

 di Logica matematica. 



Gli Autori (pag. 2), cominciano coll'esporre le ragioni che li forzano 

 all'uso dei simboli. Le idee di logica, che occorre adoperare, sono più astratte 

 di quelle considerate nel linguaggio comune. La struttura grammaticale del 

 linguaggio rende difficile l'analisi delle proposizioni. L'adattazione delle re- 

 gole del simbolismo ai processi di deduzione aiuta l' intuizione. 



II simbolismo rende le proposizioni limpide e terse, e permette di rico- 

 noscerne le singole articolazioni. La completa enumerazione delle idee e dei 

 passi di cui consta un ragionamento necessita l'uso dei simboli. 



La necessità dei simboli, generalmente riconosciuta per l'aritmetica, 

 l'algebra e il calcolo, è meno ammessa trattandosi di logica, compresa quella 

 logica che occorre in matematica. 



Gli Autori usano i simboli di logica matematica esposti nelle prime 

 pagine del « Formulario mathematico », da me pubblicato (edizione 5 a , 

 1907-1909). 



