Vailati, Giovanni
Enciclopedia on line
Storico delle scienze, filosofo e matematico (Crema 1863 - Roma 1909). Figura di studioso originale, costantemente in contatto con la ricerca e la cultura europea (e statunitense) più avanzata, si occupò [...] delle principali linee di pensiero a lui contemporanee (E. Mach, G. E. Moore e B. Russell, F. Brentano, G. Peano), nonché alla filosofia leibniziana di cui contribuì, nell'ambito di una rivalutazione di Leibniz a livello europeo (Russell, L. Couturat ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ZERO
Enciclopedia Italiana (1937)
ZERO (fr. zéro; sp. cero; ted. Null; ingl. zero)
Michele Cipolla
Lo zero è da riguardarsi come numero nel senso cardinale (v. numero), quando risponde alla domanda "quanti sono gli oggetti (di una data [...] ≠ 0 ed m > n, diviene valida per m = n. Il simbolo o0 si suole lasciare senza significato (sebbene alcuni, come il Peano, lo definiscano pure uguale a 1): esso nella teoria dei limiti è riguardato come segno d'indeterminazione.
Ciò che si è detto ...
Leggi Tutto
uno
Dizionario delle Scienze Fisiche (1996)
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
CATEGORIA:
ALGEBRA
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] che trova la sua giustificazione e origine.
Da quanto visto sopra, esisteranno anche modelli non standard dell'aritmetica AP di Peano e il loro studio ‒ che si situa nel terreno di confluenza tra teoria della ricorsività e teoria dei modelli ‒ ha ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Storia della Scienza (2004)
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
Casari, Ettore
Enciclopedia on line
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
CATEGORIA:
BIOGRAFIE
misura
Enciclopedia on line
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
CATEGORIA:
GRAMMATICA
–
FISICA MATEMATICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
METROLOGIA
–
ALGEBRA
–
MECCANICA APPLICATA
–
STRUMENTI E TECNOLOGIA APPLICATA
curva
Enciclopedia on line
Matematica
Generalità
Nel linguaggio matematico, sinonimo di linea, intendendosi quindi anche la retta come una particolare curva. Una definizione di c. valida in ogni caso non è possibile per il fatto [...] all’asse y, ha un punto doppio isolato in O e ha la retta y=d come asintoto.
C. di Peano
Particolare c. costruita da G. Peano per dimostrare errate alcune conclusioni che sembrano invece evidenti nello studio delle proprietà delle c. e che si sono ...
Leggi Tutto
Schröder, Ernst
Enciclopedia on line
Matematico e logico (Mannheim 1841 - Karlsruhe 1902); prof. al politecnico di Karlsruhe, fu eminente algebrista. Classiche le sue Vorlesungen über die Algebra der Logik (3 voll., 1890-95), in cui viene [...] della classe vuota, della teoria russelliana dei tipi. La sua opera influenzò notevolmente, fra i logici posteriori, G. Peano, L. Couturat e C. I. Lewis. Opere: Über die formalen Elemente der absoluten Algebra (1874); Der Operationskreis des ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
categoricita
Enciclopedia della Scienza e della Tecnica (2008)
Categoricità
Silvio Bozzi
Concetto introdotto nel 1905 dal matematico Oscar Veblen e oggi al centro di gran parte dell’attuale teoria dei modelli. In termini generali, una teoria T formulata in un qualsiasi [...] modello, il modello inteso. È facile provare che se L è un linguaggio del secondo ordine, tanto la teoria TP di Peano dei numeri naturali, quanto la teoria TR dei numeri reali e quella TEn della geometria euclidea n-dimensionale formulate in L sono ...
Leggi Tutto
CATEGORIA:
ALGEBRA