validita
Dizionario delle Scienze Fisiche (1996)
validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione ...
Leggi Tutto
Geometria algebrica
Enciclopedia del Novecento II Supplemento (1998)
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] razionali se e solo se q = 0 (per il criterio di Castelnuovo) ovvero birazionali a rigate a curve sezioni di genere q se q > 0 (teorema di Enriques, 1905). Enriques mostra che Pi = 0 per ogni i ≥ 1 se e solo se P12 = 0.
2) κ = 0: esiste un i ≥ 1 ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] un unico parametro individuale a, esiste un enunciato φ tale che S⊦φ→ψ(⌈φ⌉).
Per dimostrare tale risultato, per una ψ(a) come nell'enunciato del teorema, sia χ(a0)≡ψ(sub(a0,a0)), sia k=⌈χ(a0)⌉ e sia φ≡χ(k). Otteniamo quindi φ≡χ(k)=ψ(sub(k,k)), perciò ...
Leggi Tutto
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. [...] . Uno dei risultati più importanti è, in ambito classico, la dimostrazione, effettuata nel 1995 da A.J. Wiles del cosiddetto grande teorema di Fermat (➔). In campo moderno, un settore di ricerca che ha avuto uno sviluppo notevole, in parte grazie all ...
Leggi Tutto
CATEGORIA:
ALGEBRA
punti di sella
Enciclopedia della Scienza e della Tecnica (2008)
punti di sella
Angelo Guerraggio
Nell’enunciato del teorema di Kuhn-Tucker, relativo al problema di determinare il massimo di una funzione f con i vincoli gi(x)≤0, compare la funzione lagrangiana L [...] della funzione lagrangiana L (con x0 appartenente alla regione ammissibile), allora x0 è soluzione del problema di ottimo. Il teorema può essere invertito in ipotesi di convessità: se x0 è soluzione del problema di ottimo con A insieme convesso, la ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
Donaldson Simon K.
Dizionario delle Scienze Fisiche (1996)
Donaldson Simon K.
Donaldson 〈dònaldson〉 Simon K. [ALG] Teorema di D.: v. fibrati, applicazioni dei: II 577 c. ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Fermat, Pierre de
Enciclopedia on line
Matematico francese (Beaumont-de-Lomagne, Tarn-et-Garonne, 1601 - Castres 1665). Autore di studi sul calcolo delle aree di figure piane, sul calcolo delle probabilità in problemi di giochi d'azzardo e nel [...] il nome di F. è legato soprattutto ai suoi teoremi di teoria dei numeri e in particolare a un che si presenta disarmante nella semplicità della sua formulazione. È il grande teorema di F. che asserisce che non esistono tre numeri interi positivi x ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Tomita Minoru
Dizionario delle Scienze Fisiche (1996)
Tomita Minoru
Tomita Minoru [STF] (n. 1924) ◆ [ALG] Teorema di T.-Takesaki: v. algebre di operatori: I 99 b. ...
Leggi Tutto
Convessità
Enciclopedia della Scienza e della Tecnica (2007)
Convessità
Arrigo Cellina
La convessità è un concetto della matematica elementare; le parole concavo e convesso fanno parte del linguaggio quotidiano. Eppure questo semplice concetto, unito ad altre [...] spesso si dice, mappa o trasformazione). Si dice che un punto P è fisso (o unito) per f se f(P)=P. Un teorema di punto fisso dà delle condizioni che assicurino l'esistenza di (almeno) un punto fisso. Nel 1912 Lutzen E. J. Brouwer pubblicava nella ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
finitezza, teoremi di
Enciclopedia on line
In logica matematica, data una teoria formale, occorre distinguere un teorema sintattico di f. da uno semantico. Il primo si riferisce ai concetti di derivabilità e di non contraddittorietà, il secondo [...] è non contraddittorio se e solo se è tale ogni sottoinsieme finito di P. In modo analogo si hanno due formulazioni equivalenti del teorema semantico di f.: c) un’espressione A è conseguenza logica di un insieme P di espressioni se e solo se A è ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA