economia e matematica
economia e matematica Metodi matematici di varia complessità sono stati applicati all’analisi di problemi economici sin dagli albori dell’economia moderna. Ma se non sono certo [...] , tra cui i matematici e logici R. Carnap, K. Gödel, O. Morgenstern. È in questo ambiente che si forma Karl Teoria del valore) del 1959, Debreu perviene ancora a un teoremadi esistenza ma seguendo un altro approccio. Quella che è considerata la ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] ora la storia della materia, iniziando con un pregevole pezzo d'antiquariato: il primo teoremadi incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra descritto e chiediamoci se la ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] le implicazioni del risultato diGödel.
Importante per la teoria della dimostrazione della logica intuizionista fu la formulazione (Gentzen 1935) del calcolo dei sequenti LK e LJ. Usando il suo teoremadi eliminazione del taglio Gentzen mostrò ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teoremadi: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ...
Leggi Tutto
caos e complessita
càos e complessità. – Nel linguaggio della fisica e della matematica moderna, la condizione di incertezza sulla previsione di un sistema dinamico governato da leggi deterministiche. [...] temporali caotiche possa portare alla scrittura di un algoritmo universale di previsione delle stesse. G. Chaitin ha dimostrato l’impossibilità di tale costruzione in base al teoremadi incompletezza diGodel, aprendo nuovi orizzonti al dibattito ...
Leggi Tutto
fondamenti, crisi dei
fondamenti, crisi dei locuzione con la quale si intende l’insieme di problemi, discussioni e ricerche in campo matematico e logico che si verificò agli inizi del secolo xx in seguito [...] naturali, che sta alla base di ogni altra teoria. Il programma di Hilbert, volto a dimostrare la coerenza e la completezza almeno dell’aritmetica, si rivelò ben presto impossibile, come fu dimostrato nel 1931 dal teoremadi incompletezza di → Gödel. ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] già provato da Gödel per cui se si traducono nel modo ovvio i connettivi in termini di ∧ e ← tutti i teoremi della logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teoremadi Glivenko per ...
Leggi Tutto
fondamenti della matematica
fondamenti della matematica locuzione con la quale si indica, in senso lato, lo studio delle basi epistemologiche della logica e della matematica; in senso stretto, l’espressione [...] logica. Questo programma, nelle sue richieste più radicali, fallì. Nel 1931 K. Gödel dimostrò infatti (→ Gödel, teoremadi) l’impossibilità di dare una simile dimostrazione. L’intuizionismo, rappresentato principalmente da L.E. Brouwer, attribuiva ...
Leggi Tutto
formalismo
formalismo concezione della matematica secondo la quale una teoria matematica è, essenzialmente, il complesso linguistico che la descrive, organizzato in un particolare sistema assiomatico [...] un sistema formale dovrebbe possedere come requisito almeno la certezza della sua non-contraddittorietà: ma per il teoremadi incompletezza di → Gödel tale non contradditorietà non può essere dimostrata all’interno del sistema, se il sistema è almeno ...
Leggi Tutto
formalizzazione
formalizzazione in generale, il termine designa il processo per il quale proprietà, relazioni e legami tra gli elementi di un problema, di un gioco, di una teoria ecc. sono espressi in [...] risposta i numeri 23 e 24. Oppure, in geometria, un problema di ricerca delle intersezioni tra una retta e una circonferenza può essere risolto proprietà ha subito profonde limitazioni in seguito ai risultati (1931) di K. Gödel (→ Gödel, teoremadi). ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...