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 [...] completa" ?).
Questi e altri problemi sono affrontati dalla logica matematica, che soprattutto mediante il teorema d'incompletezza sintattica di K. Gödel e i suoi corollari, sancisce in modo definitivo quali sono le limitazioni connesse con la ...
Leggi Tutto
secondo ordine, teoria del in logica, locuzione utilizzata per contraddistinguere una particolare categoria di teorie matematiche formalizzate. Formalizzare una teoria significa esprimere i suoi assiomi nonché le sue regole di → inferenza in un linguaggio formale (si consideri per esempio l’aritmetica ... ...
Leggi Tutto
Dal gr. ϑεωρία, der. di ϑεωρός, termine che nell’antica Grecia indicava una persona inviata, di solito come parte di una delegazione (detta ϑεωρία), a consultare un oracolo o ad assistere a una festa religiosa; per estensione il termine significò anche «spettatore» e ϑεωρία indicò l’atto di chi assisteva ... ...
Leggi Tutto
teorìe unificate Teorie dei campi che interpretano interazioni diverse come manifestazioni differenti di una stessa interazione fondamentale: così, per es., l'elettromagnetismo rappresenta l'unificazione delle interpretazioni dei fenomeni elettrici e magnetici; t.u. elettrodebole è l'unificazione delle ... ...
Leggi Tutto
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa teoria sono state riassunte da Felix Klein nel Programma di Erlangen e tendevano a presentare la geometria come lo studio ... ...
Leggi Tutto
teòrico [agg. (pl.m. -ci) Der. del lat. theoricus "ciò che è proprio della teoria o di una teoria", dal gr. theoréo "contemplare, meditare"] [FAF] Concetto t.: v. teoria: VI 134 d. ◆ [LSF] Fisica t.: indirizzo della fisica che svolge le sue ricerche sviluppando per via di ragionamento e di calcoli matematici ... ...
Leggi Tutto
Guido Calogero
. Il greco ϑεωρία designa, inizialmente, l'azione del ϑεορός, o dei ϑεωροί (v. teori). Siccome, d'altronde, codesta azione consiste essenzialmente nel "contemplare" con reverenza la celebrazione d'una festa o cerimonia religiosa, il termine passa a designare la considerazione conoscitiva ... ...
Leggi Tutto
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à...
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...