• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
atlante
il chiasmo
lingua italiana
248 risultati
Tutti i risultati [248]
Matematica [77]
Biografie [44]
Filosofia [33]
Algebra [16]
Fisica [17]
Storia della matematica [17]
Storia [13]
Fisica matematica [13]
Temi generali [11]
Logica matematica [9]

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
CATEGORIA: ALGEBRA – GEOMETRIA – TEMI GENERALI
TAGS: EQUAZIONI PARAMETRICHE – DUPLICAZIONE DEL CUBO – COORDINATE CARTESIANE – COORDINATE OMOGENEE – ASCISSA CURVILINEA
Mostra altri risultati Nascondi altri risultati su curva (4)
Mostra Tutti

Schröder, Ernst

Enciclopedia on line

Schröder, Ernst 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
TAGS: CALCOLO PROPOSIZIONALE – KARLSRUHE – MANNHEIM – I. LEWIS – ALGEBRA
Mostra altri risultati Nascondi altri risultati su Schröder, Ernst (1)
Mostra Tutti

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
TAGS: TEORIA DEI NUMERI – CAMPANO DA NOVARA – NUMERI INTERI – ARITMETICA – ZAPELLONI
Mostra altri risultati Nascondi altri risultati su INDUZIONE (1)
Mostra Tutti

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
TAGS: FUNZIONE DI → DIRICHLET – SUCCESSIONE DI FUNZIONI – INSIEME MISURABILE – FUNZIONE CONTINUA – INSIEME COMPATTO

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
TAGS: ASSIOMI DI PEANO – TEOREMA DI GÖDEL – LOGICA CLASSICA – SISTEMA FORMALE – ARITMETICA

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
TAGS: SCUOLA ITALIANA DI GEOMETRIA ALGEBRICA – ANALISI INFINITESIMALE – RAFFAELLO LAMBRUSCHINI – PRIMA GUERRA MONDIALE – GEOMETRIA PROIETTIVA

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
TAGS: SCUOLA ITALIANA DI GEOMETRIA ALGEBRICA – GEOMETRIA ANALITICA – TEORIA DEI MODELLI – NUMERI TRANSFINITI – CHIOGGIA
Mostra altri risultati Nascondi altri risultati su Veronese (4)
Mostra Tutti

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
TAGS: DISTRIBUZIONE DEI NUMERI PRIMI – FONDAMENTI DELLA MATEMATICA – DIOFANTO DI ALESSANDRIA – NUMERI PARI E DISPARI – ANALISI INDETERMINATA
Mostra altri risultati Nascondi altri risultati su aritmetica (7)
Mostra Tutti

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
TAGS: FONDAMENTI DELLA MATEMATICA – TEOREMA DI INCOMPLETEZZA – TEORIA DEI SISTEMI – SISTEMA DI ASSIOMI – ASSIOMI DI PEANO
1 2 3 4 5 6 7 8 ... 25
Vocabolario
peana
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...
successóre
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,...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali