uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente dei numeri naturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] Nicomaco di Gerasa (100 d.C.) cominciò a considerarlo alla stregua degli altri numeri. Nell'aritmetica di G. Peano il numero 1 è considerato un concetto primitivo definito implicitamente dagli assiomi. (b) Nella teoria degli insiemi, considerata ...
Leggi Tutto
modelli, teoria dei
Parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui quelle espressioni sono valide.
Cenni storici
Sebbene [...] logico di L, da opportuni enti relativi a quel dominio. Per es., se T è il sistema assiomatico di Peano, T potrà acquistare un significato se viene interpretato nella struttura costituita dal dominio dei numeri naturali (per le variabili individuali ...
Leggi Tutto
GEYMONAT, Ludovico
Girolamo De Liguori
Nacque a Torino l'11 maggio 1908, da Giovanni, valdese, e da Teresa Scarfiott, cattolica, entrambi di famiglia piemontese. Conseguì la laurea in filosofia, presso [...] Kiesow, già assistente di W. Wundt a Lipsia, e Giuseppe Peano, che in vario modo influenzarono la sua formazione (su Peano in particolare, v. la testimonianza dello stesso G., G. Peano di fronte alla cultura italiana, in Celebrazioni in memoria di G ...
Leggi Tutto
definibilita
definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] una sistemazione assiomatica alla geometria euclidea; unʼimpresa analoga avevano tentato per lʼaritmetica G. Peano (assiomi di → Peano) e R. Dedekind. Il programma hilbertiano prevedeva che ogni teoria fosse intrinsecamente coerente, quindi incapace ...
Leggi Tutto
predecessore
predecessore o precedente, di un numero naturale n non nullo indica il numero che viene immediatamente prima di n nell’usuale ordinamento di N: 0, 1, 2, 3… Per esempio il predecessore di [...] predecessori nell’insieme dei numeri naturali. È possibile dimostrare, formalizzando la teoria dei numeri con opportuni assiomi (per esempio, → Peano, assiomi di), che il predecessore di un numero è unico ed esiste sempre se il numero è diverso da 0 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] una funzione differenziabile la cui derivata non è integrabile (secondo Riemann). Il colpo di grazia all'intuizione fu dato da Giuseppe Peano (1858-1932) con la costruzione di un'applicazione continua da una retta a tutti i punti di un quadrato. L ...
Leggi Tutto
Logico e filosofo della matematica italiano (Smarano 1933 - Firenze 2019); prof. di filosofia della scienza presso l'Università di Firenze dal 1967, dal 1998 al 2006 ha insegnato presso la Scuola normale [...] ricoperto un ruolo di rilievo nella rinascita della logica matematica in Italia (poco coltivata dopo la morte di G. Peano), contribuendo a introdurre gli sviluppi e i risultati più importanti della disciplina. Autore di numerosi articoli su riviste ...
Leggi Tutto
TERRACINI, Alessandro
Erika Luciano
– Nacque a Torino il 19 ottobre 1889 in un’agiata famiglia ebraica, da Benedetto e da Eugenia Levi.
Frequentò il liceo classico Cavour. Fin dall’adolescenza dimostrò [...] in matematica dell’Università di Torino dove ebbe docenti illustri (tra gli altri, Enrico D’Ovidio, Gino Fano e Giuseppe Peano) e dove incontrò i suoi due veri ‘maestri’: Guido Fubini, che lo avviò alla ricerca in geometria proiettivo-differenziale ...
Leggi Tutto
Richard
Richard Jules Antoine (Blet, Centre, 1862 - Châteauroux, Centre, 1956) matematico francese. Autore di saggi di logica matematica e di fisica matematica. Il suo nome è legato all’antinomia della [...] insiemi). Lavorò soprattutto sui fondamenti della matematica e sulla geometria, mantenendo contatti con matematici dell’epoca quali G. Peano e H. Poincaré; quest’ultimo utilizzò l’antinomia di Richard per confutare la teoria degli insiemi. Tra i ...
Leggi Tutto
Diritto
M. cautelari
Provvedimenti provvisori e immediatamente esecutivi miranti a evitare che il trascorrere del tempo possa provocare un pericolo per l’accertamento del reato, per l’esecuzione della [...] m. di segmenti sopra una retta orientata, o per la m. di angoli tra rette di un fascio orientato ecc.
M. secondo Peano-Jordan e Lebesgue
Il concetto elementare di m. si estende, nelle matematiche superiori, a enti più generali e a casi più generali ...
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,...