definizione
definizione proposizione che descrive, chiaramente e sinteticamente, un ente matematico (algebrico o geometrico) servendosi di termini aventi un significato noto. In logica, si distinguono [...] assiomi che definiscono un ambito teorico: la teoriadei gruppi.
La riduzione di una nuova locuzione vengono costituite. Per esempio, la classe deinumeri interi positivi è costituita, a partire dal numero 1, secondo il processo dellʼaggiunzione di ...
Leggi Tutto
cardinalita
cardinalità nozione introdotta da G. Cantor che generalizza il concetto intuitivo di “numero di elementi di un insieme” astraendo dalla natura e dall’ordine degli elementi stessi. La nozione, [...] della teoria degli insiemi. I numeri cardinali transfiniti hanno proprietà a prima vista sorprendenti. Per esempio, l’insieme N deinumeri naturali ha la stessa cardinalità dell’insieme Q deinumeri razionali; oppure, l’insieme R deinumeri reali ...
Leggi Tutto
FANTAPPIÉ, Luigi
Giuseppe Arcidiacono
Nacque a Viterbo il 15 sett. 1901, da Liberto ed Agrippina Gnazza. Conseguì la laurea in matematica alla Scuola normale superiore di Pisa nel 1922 e fu assistente [...] matematico.
A partire dal 1925 il F. sviluppò la "teoriadei funzionali analitici", con la quale estendeva al campo deinumeri complessi i funzionali di V. Volterra nel campo deinumeri reali. Si trattava quindi di generalizzare ai funzionali la ...
Leggi Tutto
BELLAVITIS, Giusto
Nicola Virgopia
Nacque il 22 nov. 1803 a Bassano (Vicenza) dal conte Ernesto e da Giovanna Navarini.Ricevette la prima istruzione dal padre, funzionario nel municipio di Bassano, [...] furono ritrovate dallo Standt nel 1842; la teoria delle funzioni inverse; la classificazione delle curve di terzo e quarto ordine; la risoluzione delle equazioni numeriche; la partizione deinumeri; l'analisi indeterminata; le sostituzioni lineari; i ...
Leggi Tutto
Ljapunov Aleksandr Michajlovic
Ljapunov 〈liapunòf〉 Aleksandr Michajlovič [STF] (Jaroslav 1857 - Odessa 1918) Prof. di matematica nell'univ. di Charkov (1893); socio straniero dei Lincei (1908). ◆ [MCC] [...] che questi esponenti non sono numeri puri ma hanno la dimensione dell'inverso di un tempo: v. cammini aleatori: I 467 c sgg. ◆ [MCC] Funzioni di L.: v. stabilità del moto: V 578 e. ◆ [ELT] Metodo di L.: v. sistemi, teoriadei: V 322 b. ◆ [ANM] Metodo ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] con metodi finitari. Nel 1936, nella memoria Die Widerspruchsfreiheit der reinen Zahlentheorie (La coerenza della teoria pura deinumeri), Gerhard Gentzen dimostra la coerenza dell’aritmetica coinvolgendo, come principio esterno, l’induzione fino a ...
Leggi Tutto
Zermelo-Fraenkel, teoria di
Zermelo-Fraenkel, teoria di sistema di assiomi per la teoria degli → insiemi, noto anche come teoria ZF, logicamente equivalente a un’altra sistemazione assiomatica indicata [...] può essere letta come «appartiene», così come i termini della teoria possono essere letti come «insiemi».
Si pone come definizione la 1 = 0′ e così via si costruisce l’insieme deinumeri naturali come il più piccolo insieme che contiene 0 ed è ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’ipotesi del continuo, formulata da Georg Cantor negli anni Settanta dell’Ottocento, [...] cardinalità comprese tra quella deinumeri naturali e quella dei reali. Ossia: la cardinalità del continuo è il più piccolo numero cardinale più che numerabile. Nel 1938 Kurt Gödel dimostra che se gli assiomi della teoria degli insiemi di Zermelo ...
Leggi Tutto
Campi di numeri
Massimo Bertolini
Sia α un numero algebrico, cioè un numero complesso che soddisfa un’equazione algebrica p(x)=0, dove p(x) è un polinomio
di grado n≥1 avente coefficienti nel campo [...] ℚ[ζm] è chiamato m-esimo campo ciclotomico.
Un importante capitolo della teoria algebrica deinumeri si occupa dello studio delle proprietà algebriche e aritmetiche dei campi di numeri. Tale studio coinvolge l’anello OΚ degli interi algebrici di un ...
Leggi Tutto
dimostrazione
dimostrazione concatenazione logica tra asserzioni che deduce da una serie di premesse dette ipotesi, attraverso proposizioni intermedie, una conclusione detta tesi che è necessaria conseguenza [...] A come assioma, ottenendo come teorema (in questa teoria ampliata) la formula B;
• la dimostrazione per un numero irrazionale, che esistono infiniti numeri primi, che l’insieme deinumeri reali non è numerabile, che esistono infiniti numeri razionali ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...