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
INDUZIONE
Enciclopedia Italiana (1933)
INDUZIONE
Giovanni Vacca
. Matematica. - Si chiama principio d'induzione matematica, ovvero induzione completa, il principio seguente: "Se il numero 1 gode di una certa proprietà, e se si può dimostrare [...] -1901), fratello di Hermann (v.), in Lehrbuch der Arithmetik, Berlino 1861, e in modo più preciso e completo da G. Peano in Arithmetices Principia, Torino 1889.
Si è detto talvolta che esso dipende da un'infinità di sillogismi, poiché per dimostrare ...
Leggi Tutto
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
Lebesgue, funzione misurabile secondo
Enciclopedia della Matematica (2013)
Lebesgue, funzione misurabile secondo
Lebesgue, funzione misurabile secondo in analisi, funzione ƒ: E → R, con E ⊆ Rn insieme misurabile secondo Lebesgue, tale che per ogni λ l’insieme {x ∈ E : ƒ(x) [...] che si ottengono come limiti puntuali quasi ovunque (q.o.) di funzioni misurabili, a differenza della misurabilità secondo Peano-Jordan, e in genere di tutte quelle appartenenti alle classi di → Baire. Due risultati significativi per le funzioni ...
Leggi Tutto
non contraddittorieta
Enciclopedia della Matematica (2013)
non contraddittorieta
non contraddittorietà espressione equivalente a → coerenza. Un sistema formale S si dice non contraddittorio se in esso non è possibile dedurre logicamente una contraddizione. In [...] sistemi formali è il cosiddetto secondo teorema di Gödel per il quale non è possibile dimostrare la non contraddittorietà dell’aritmetica formalizzata dagli assiomi di Peano utilizzando i metodi forniti dall’aritmetica stessa (→ Gödel, teorema di). ...
Leggi Tutto
SEGRE, Annetta
Dizionario Biografico degli Italiani (2018)
SEGRE, Annetta.
Erika Luciano
– Figlia di Abramo Segre e di Rosa Segre, entrambi di famiglia ebraica, nacque a Vercelli il 24 febbraio 1897.
Dopo aver frequentato la sezione fisico-matematica dell’Istituto [...] su di lei un’impronta culturale indelebile: Enrico d’Ovidio per l’analisi algebrica e per la geometria analitica, Giuseppe Peano per l’analisi infinitesimale, Gino Fano per la geometria proiettiva e descrittiva, Guido Fubini per l’analisi superiore e ...
Leggi Tutto
Veronese
Enciclopedia della Matematica (2013)
Veronese
Veronese Giuseppe (Chioggia, Venezia, 1854 - Padova 1917) matematico italiano. Dopo gli studi a Zurigo e a Roma, si perfezionò a Lipsia alla scuola di F. Klein. Dal 1881 insegnò geometria analitica [...] e a più specie di unità rettilinee esposti in forma elementare), ma il suo lavoro venne aspramente attaccato da G. Peano che ne criticò lo scarso rigore logico. Tale critica, quantunque fondata dal punto di vista strettamente logico, si è rivelata ...
Leggi Tutto
aritmetica
Enciclopedia della Matematica (2013)
aritmetica
aritmetica parte della matematica che studia le proprietà dei numeri, in particolare dei numeri naturali. L’aritmetica comprende le più elementari operazioni con i numeri che si studiano fin [...] , ovvero da un sistema di assiomi che caratterizzi l’operare aritmetico. Un tale sistema si deve all’italiano G. Peano (→ Peano, assiomi di). Successivamente, nella prima metà del secolo xx, soprattutto attraverso i lavori di K. Gödel, si giunge alla ...
Leggi Tutto
metateoria
Enciclopedia della Matematica (2013)
metateoria
metateoria teoria che ha come oggetto di studio un’altra teoria, che ne costituisce la sua teoria oggetto, di cui indaga caratteristiche, formalizzazioni, sintassi e semantica. I risultati [...] dei predicati), costituisce la metateoria dell’aritmetica che ne è la teoria oggetto. Il sistema di assiomi di Peano a sua volta è oggetto della teoria dei sistemi formali, metateoria che definisce le caratteristiche di sistemi assiomatici deduttivi ...
Leggi Tutto