560 (IICSEPPR PEANO 



Démonslration de Vintégrabilitf des l'quafions différenfiillis 

 (" Mathetnatische Annalen ,, a. 1890, p. 182). 



Sur la dffin'Uion de la limite d'une fondion ("American 

 Journal ., a. 1894), ecc. 



Il Prof. Bi'KALi-FoRTi espose queste nuove teorie nella Lo- 

 (jica matematica (Milano, Hoepli, a. 1894); e se ne servì in nume- 

 rosi lavori, quali: 



Sulle classi derivate a destra e « sinistra, Atti Accademia 

 Torino, a. 1894. 



Sul limite delle classi variabili, idem, a. 1895. 



Sur (juelques proprietà des ensembles d'ensembles, " Matlie- 

 matische Annalen ,, a. 1895, ecc. 



Il Proi. Pieri adottò il medesimo strumento onde analizzare 

 i principii della Geometria di Posizione, in una serie di lavori 

 pubblicati da quest'Accademia. 



Da alcuni anni una Società sta pubblicando il Formulaire 

 de Mathématiques, la cui " Introduction . apparve nel 1894; e il 

 primo tomo, cominciato nel 1892, terminò nel 1895. Questa pub- 

 blicazione deve contenere, espressi in simboli di logica, i teo- 

 remi, le definizioni e le dimostrazioni di diflferenti teorie mate- 

 matiche. 



Vi collaborarono i signori \ailaiì, t'AsiKLLA.M', Biiìalì. 

 Giudice, Vivanti, Bkttazzi, Fano, oltre ad altri che inviarono 

 aggiunte e correzioni. Ora è in corso di stampa il tomo II. ma 

 molte difficoltà ne ritardano la pubblicazione. 



Questa ideografia, che deriva dagli studii di logica inato- 

 matica, non è solo una scrittura convenzionale abbreviata, o 

 tachigrafia. Poiché i nostri simboli non rappresentano delle pa- 

 role, ma delle idee. Si dovrà pertanto scrivere io stesso simbolo, 

 ove trovasi una stessa idea, qualunque sia l'espressione usata 

 dal linguaggio ordinario per rappresentarla : e si dovranno usare 

 simboli distinti, ove trovasi una stessa parola, che, a causa della 

 sua posizione, rappresenta idee distinte. Noi stabiliamo adunque 

 la corrispondenza univoca fra le idee ed i simboli, corrispon- 

 denza che non trovasi nelle nostre lingue. Questa ideografia è 

 basata su teoremi di Logica, scoperti successivamente da Leibniz 

 fino ai nostri giorni. Si potrà cambiare la forma dei simboli. 



