Burali-Fòrti, Cesare
Enciclopedia on line
Matematico (Arezzo 1861 - Torino 1931). Insegnò (dal 1887) all'Accademia d'artiglieria e genio di Torino. È noto particolarmente per i suoi lavori sul calcolo vettoriale e la logica matematica, nell'indirizzo [...] di G. Peano. Collaborò con quest'ultimo al Formulario mathematico ed è autore, tra l'altro, del vol. Logica matematica (1894, 2a ed. 1919), la migliore esposizione sistematica della logica di Peano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zermelo Ernst
Dizionario delle Scienze Fisiche (1996)
Zermelo Ernst
Zermelo 〈zèrmëlo〉 Ernst [STF] (Berlino 1871 - Friburgo 1953) Prof. di matematica nell'univ. di Zurigo (1910). ◆ [ALG] Postulato di Z. o assioma della scelta: già formulato in precedenza [...] da G. Peano, afferma che, data una classe composta da infiniti insiemi M, N, R, ecc., è sempre possibile scegliere da ogni insieme della classe un elemento particolare e di formare con gli elementi così scelti un nuovo insieme S. Qualche perplessità ...
Leggi Tutto
GRAMEGNA, Maria
Dizionario Biografico degli Italiani (2002)
GRAMEGNA, Maria
Livia Giacardi
Nacque, ultima di cinque figli, a Tortona, presso Alessandria, l'11 maggio 1887 da Innocenzo, che gestiva una piccola fabbrica di pasta, e da Maria Cristina Agosta. Compì [...] della teoria delle matrici allo studio delle equazioni differenziali. Le notazioni usate dalla G. sono quelle del Formulario mathematico del Peano e, benché già E.H. Moore (Introduction to a form of general analysis, in E.H. Moore - E.J. Wilczynski ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Dedekind Julius Wilhelm Richard
Dizionario delle Scienze Fisiche (1996)
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] socio straniero dei Lincei dal 1911. ◆ [ALG] Assiomi di Peano-D.: quelli su cui può fondarsi l'aritmetica: v. Gödel, teorema di: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B ...
Leggi Tutto
Cassina, Ugo
Enciclopedia on line
Matematico italiano (Polesine Parmense 1897 - Milano 1964). Professore di geometria analitica e descrittiva presso l'Accademia aeronautica di Caserta (1941) e poi all'università di Pavia (1948); successivamente [...] prof. di matematiche complementari a Milano (dal 1951). Formatosi alla scuola di G. Peano, ne continuò l'opera, con contributi originali nei campi della geometria, della teoria degli insiemi e del calcolo numerico. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Il calcolo geometrico
Paolo Freguglia
Gert Schubring
Il calcolo geometrico
Quando pubblicò il trattato Die lineale Ausdehnungslehre (La teoria [...] il grado) di due formazioni, nel caso spaziale sia i+j>4 e, nel piano i+j>3. A ragione Peano utilizza la stessa notazione sia per il prodotto progressivo sia per quello regressivo, essendo la discriminante tra i due prodotti costituita solo dal ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] contiene 0 ed è chiuso rispetto al successore. Un po' più formalmente, usando i simboli '∈' per 'è membro di' e '⇒' per 'implica', gli assiomi di Peano sono:
I 0∈ℕ
II x∈ℕ⇒sc(x)∈ℕ
III x∈ℕ⇒sc(x)≠0
IV x∈ℕ∧y∈ℕ & sc(x)=sc(y)⇒x=y
V Se X è un ...
Leggi Tutto
PIZZARDO, Battistina
Dizionario Biografico degli Italiani (2015)
PIZZARDO, Battistina
Ugo Berti Arnoaldi
PIZZARDO, Battistina (Tina). – Nacque a Torino il 5 febbraio 1903 da Francesco, impiegato della Reale Mutua Assicurazioni, e da Rosalia Musso.
Rimasto precocemente [...] - 3 ottobre 2001, http://www. autistici.org/operaismo/rieser/index_1.htm (26 agosto 2015); C.S. Roero, Peano e l’altra metà del cielo, in Giuseppe Peano: matematica, cultura e società, a cura di C.S. Roero, Savigliano 2001, pp. 63-71; Ead., Giuseppe ...
Leggi Tutto
Genòcchi, Angelo
Enciclopedia on line
Matematico, giurista e patriota (Piacenza 1817 - Torino 1889). Prof. di diritto romano a Piacenza, fu costretto a emigrare a Torino, avendo partecipato ai moti rivoluzionarî degli anni 1848-49. Si dedicò [...] (1875). Si occupò di diversi ed elevati rami delle matematiche (dalla teoria dei numeri a quelle della serie degli integrali ellittici, abeliani, ecc.), e anche di critica dei fondamenti e di storia della matematica. Ebbe tra i suoi allievi G. Peano. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] del primo ordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell’aritmetica di Peano – quale il sistema Q di Robinson – e in generale a ogni teoria, di qualunque tipo di linguaggio, presentabile in modo ricorsivo in cui ...
Leggi Tutto
CATEGORIA:
LOGICA