teoria
Enciclopedia on line
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] definire qualunque altro termine della t.; b) nella t. esiste un numero finito di enunciati veri perché evidenti, detti assiomi o postulati, dai quali è possibile ricavare mediante corrette deduzioni logiche tutti gli altri enunciati veri della t.; c ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
matroide
Enciclopedia on line
In matematica, una generalizzazione del concetto di matrice, vista come insieme ordinato di vettori. Sia S un insieme finito e I una famiglia propria di parti di S, la coppia (S,I) è detta m. se sono soddisfatti [...] gli assiomi:
1) B∈I,A⊆B⇒A∈I;
2) A,B∈I; ∣A∣<∣B∣⇒∃b∈BA: A∪{b}∈I.
La teoria delle m. spesso si indica come geometria combinatoria. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria analitica dei numeri
Günther Frei
Teoria analitica dei numeri
La teoria analitica dei numeri non è una teoria matematica ben definita, [...] nel senso che non è costruita su assiomi o definizioni, né vi sono metodi o teoremi generali e unificanti. In linea di massima essa comprende quella parte della teoria dei numeri nella quale, per definire e dimostrare certe particolari proprietà, l' ...
Leggi Tutto
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] a essi risolvere qualunque problema formulabile in T? (in termini più precisi, T è " sintatticamente completa"?). È certo che dagli assiomi di T non si possono dedurre enunciati tra loro contraddittori (cioè, T è coerente?). E, tra le questioni di ...
Leggi Tutto
semantico
Dizionario delle Scienze Fisiche (1996)
semantico
semantico [agg. (pl.m. -ci) Der. del fr. sémantique (→ semantica)] [ALG] [FAF] Completezza s.: nella logica matematica, proprietà di una teoria in cui ogni formula vera in una certa interpretazione [...] (cioè in una certa classe di strutture) può essere dedotta dagli assiomi della teoria medesima. ◆ [ALG] [FAF] Paradosso s.: nella logica matematica, paradosso che coinvolge il signif.; nasce o per confusione tra linguaggio e metalinguaggio oppure per ...
Leggi Tutto
Pàdoa, Alessandro
Enciclopedia on line
Matematico (Venezia 1868 - Genova 1937), docente nell'univ. di Genova. Allievo di G. Peano, fu uno dei suoi più stretti collaboratori per quel che concerne lo studio dei fondamenti dell'aritmetica e l'istituzione [...] di una rigorosa logica simbolica. P. dimostrò, tra l'altro, l'indipendenza degli "assiomi di Peano" e propose l'importante metodo o principio di P.; eseguì la riduzione delle idee primitive della logica a tre nozioni fondamentali (di "uguaglianza", ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
inferenza bayesiana
Enciclopedia della Scienza e della Tecnica (2008)
inferenza bayesiana
Giacomo Aletti
Statistica inferenziale sviluppata dalla scuola di approccio bayesiano. Le osservazioni vengono utilizzate per cambiare e aggiornare le probabilità degli eventi osservabili [...] . Come esempio di differenza dall’inferenza della scuola frequentista (con cui la scuola bayesiana condivide tutti gli assiomi e la teoria della probabilità), ricordiamo che uno stimatore bayesiano ha una distribuzione di probabilità a priori, con ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
algebra
Enciclopedia on line
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] le prime ricerche e i primi risultati su questo problema risalgono a Gauss, 1831; W. Hamilton, 1853; H. Hankel, 1867). Dagli assiomi (I-V) discende l’esistenza di uno zero in A (elemento neutro rispetto alla somma che si ottiene ponendo tutte le ai ...
Leggi Tutto
CATEGORIA:
ALGEBRA
probabilità
Enciclopedia on line
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] la p. di un evento A è un numero compreso tra 0 e 1; (PN2) per ogni evento C si ha: P(C∣C)=1.
Assiomi di struttura
Riguardano la struttura globale dell’insieme degli eventi relativamente a operazioni tra essi. La congiunzione di due eventi A, B è l ...
Leggi Tutto
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] del numerabile e quella del continuo. Nel 1963 Cohen dimostrò anche l’indipendenza dell’ipotesi del continuo dagli altri assiomi.
La m., che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA