Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani moderni. Al nome di P. restano legati soprattutto la costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La logica e i fondamenti della matematica tra Ottocento e Novecento
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] condizioni precedenti la 5 e non a questa (Sul concetto di numero, cit., 3° vol., 1959, pp. 87-88).
L’interesse di Peano per la problematica metateorica dell’indipendenza degli assiomi, a cui egli aveva fatto cenno per la prima volta ne I principii e ...
Leggi Tutto
aritmetica di Presburger
Enciclopedia della Scienza e della Tecnica (2008)
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
CATEGORIA:
LOGICA
Pàdoa, Alessandro
Enciclopedia on line
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
CATEGORIA:
BIOGRAFIE
Calcolo geometrico secondo l’Ausdehnungslehre di H. Grassmann
Enciclopedia on line
Calcolo geometrico secondo l’Ausdehnungslehre di H. Grassmann Saggio (1888) del matematico G. Peano (1858-1932). ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
lògica matemàtica
Enciclopedia on line
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
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. I fondamenti della geometria
Storia della Scienza (2004)
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
CATEGORIA:
GEOMETRIA
Vacca, Giovanni
Enciclopedia on line
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
categoricità
Enciclopedia on line
categoricità In logica matematica, proprietà di un sistema assiomatico i cui modelli siano isomorfi. Si considerino, per es., gli assiomi di Peano per i numeri naturali: a) 0 (zero) è un numero naturale; [...] b) se n è un numero naturale, allora n′ (il successivo di n) è un numero naturale; c) se m e n sono numeri naturali, allora m′ = n′ solo se m = n; d) se n è un numero naturale, allora n′ ≠ 0; e) se lo ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Bòggio, Tommaso
Enciclopedia on line
Matematico italiano (Valperga 1877 - Torino 1963); prof. nelle univ. di Messina, Firenze e (1909-1948) Torino. Iniziati i suoi studî con G. Peano, dedicò le sue ricerche a svariate questioni di analisi [...] (equazioni differenziali e integrali, funzioni armoniche, funzioni di Green), per lo più collegate con la fisica matematica, campo nel quale ottenne risultati di rilievo, specialmente sul problema dell'equilibrio ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE