aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] intervenire la logica al secondo livello (quella appunto che ‘parla’ dei teoremi della logica al primo). Nell’aritmetica di Peano, per formulare l’assioma di induzione al primo livello della logica si paga un prezzo molto alto: esso è sostituito ...
Leggi Tutto
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] di una rigorosa logica simbolica. P. dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] teoria dei modelli le indagini sull’assiomatizzazione della geometria condotte nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai nomi più grandi.
La teoria dei modelli propriamente detta nasce quando questo ...
Leggi Tutto
SOLERI, Marcello
Roberto Pertici
– Nacque a Cuneo il 28 aprile 1882 da Modesto e da Elvira Peano, secondo di due figli (il primogenito, Elvio, era nato nel 1880).
ll padre era nato nel 1847 a Dronero [...] provinciale, di cui il deputato di Dronero Giolitti era diventato membro nel 1886. La madre era sorella di Camillo Peano, che di Giolitti sarebbe stato capo di gabinetto, poi deputato, ministro, presidente della Corte dei conti. Insomma i Soleri ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Umberto Bottazzini
I fondamenti della geometria
Verso la metà del XIX sec. Georg Friedrich Bernhard Riemann (1826-1866) [...] e appunto per il modo con cui lo concepiamo "non è più concepibile fuori di esso". Tale obiezione sarà resa esplicita da Peano: i punti in un iperspazio non si possono considerare "tali e quali ce li immaginiamo nello spazio ordinario" come pretende ...
Leggi Tutto
FERRERO, Leonardo
Marcello Gigante
Nato a Cuneo il 7 dic. 1915 da Antonio e da Domenica Peano. Allievo di A. Rostagni, si laureò a Torino nel 1937. Professore di latino e greco dal 1940 insegnò nei [...] licei classici di Casale Monferrato, Cuneo e Torino.
Il F. iniziò la sua produzione scientifica con scritti sulla poetica di Lucrezio, di Catullo e di Orazio. Come rilevava il Rostagni, l'originalità del ...
Leggi Tutto
Matematico, sinologo e storico della scienza (Genova 1872 - Roma 1953). Laureato in matematica e assistente di G. Peano, si dedicò al calcolo infinitesimale; i problemi di storia della scienza lo condussero [...] a studî di sinologia generale che gli valsero la cattedra di storia e geografia dell'Asia orientale dapprima nell'univ. di Firenze (1922-23) e quindi (dal 1923) a Roma. La sua opera verte sulla Cina (con ...
Leggi Tutto
peana
(raro peane) s. m. [dal lat. paeana, accus. di paean, gr. παιάν, in origine nome di divinità della cerchia di Apollo, poi epiteto di Apollo, «risanatore, soccorritore» e quindi nome del canto lirico in cui il dio era invocato] (pl. -i...
successore
successóre s. m. [dal lat. successor -oris, der. di succedĕre «venire dopo, sottentrare» (supino successum)]. – 1. (f. succeditrice, ma la forma è per lo più evitata) Chi succede, cioè subentra a un altro in una carica, in un ufficio,...