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
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] somministrando alte dosi di ormone femminile a girini anfibi, se ne ottiene la mascolinizzazione.
Economia
P. del liberale paretiano Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della ...
Leggi Tutto
serie incondizionatamente convergente
Enciclopedia della Matematica (2013)
serie incondizionatamente convergente
serie incondizionatamente convergente → Riemann-Dini, teorema di. ...
Leggi Tutto
ham-sandwich theorem
Enciclopedia della Matematica (2013)
ham-sandwich theorem
ham-sandwich theorem → Tukey-Stone, teorema di. ...
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
forza
Enciclopedia on line
Causa capace di modificare lo stato di quiete o di moto di un corpo (definizione dinamica di f.), ovvero causa capace di deformare un corpo (definizione statica di f.). Ogni f. è caratterizzata da una [...] né della dinamica dei sistemi di punti materiali; figurano invece in generale, attraverso il loro lavoro elementare, nel teorema delle f. vive. Dal loro non intervento nelle equazioni cardinali della dinamica discende in particolare che sul moto del ...
Leggi Tutto
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