Frege
Frege Friedrich Ludwig Gottlob (Wismar, Meclemburgo-Pomerania Occidentale, 1848 - Bad Kleinen, Meclemburgo-Pomerania Occidentale, 1925) logico e matematico tedesco. Il disegno complessivo di tutta [...] di quello aritmetico), in cui presenta una «scrittura per concetti», simbolica. Vi è qui la prima sistemazione assiomatica del calcolo dei predicati: si riprende la nozione aristotelica di proposizione (entità linguistica «che può essere affermata o ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] , Calcolo funzionale, Equazioni integrali e integrodifferenziali, Geometria elementare, Geometria non-euclidea e assiomatica, Geometria proiettiva e descrittiva, Topologia, Geometria algebrica (curve, superficie, trasformazioni, Geometria numerativa ...
Leggi Tutto
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 [...] ).
Bibl.: S. C. Kleene, Introduction to metamathematics, Amsterdam 1952; E. Agazzi, Introduzione ai problemi dell'assiomatica, Milano 1961; G. T. Kneebone, Mathematical logic and foundations of mathematics, Londra 1963; A. Tarski, Introduction ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Meccanica e scienza del moto
Domenico Bertoloni Meli
Meccanica e scienza del moto
Il contesto intellettuale, istituzionale e sociale
Scrivere [...] poi da tali forze gli altri fenomeni. I primi due libri dei Principia sono in gran parte strutturati in maniera assiomatica, pressappoco come le parti scritte in latino dei Discorsi di Galilei e come l'Horologium oscillatorium di Huygens. Newton ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] costringe a pagare un prezzo molto alto. Il programma di Hilbert, di costruire la matematica basandola su principi formali assiomatici e di dimostrare che il sistema di assiomi usati è privo di contraddizioni, avrebbe dato alla matematica – se avesse ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] m. - costituito, come si è visto, dallo studio delle relazioni fra insiemi di enunciati formali, o strutture assiomatico-linguistiche, o teorie formalizzate, e insiemi strutturali che li soddisfano, o modelli - coinvolge efficacemente in una medesima ...
Leggi Tutto
voto
Sebastiano Aglianò
D. ne fa oggetto di una vera e propria trattazione (Pd V 19-84), la cui natura e i cui fini s'intendono meglio dalla sua conclusione (dal v. 64 in poi), decisamente parenetica, [...] e tremenda. La drammaticità del patto, di cui ha parlato la critica (Cosmo, Sapegno), traspare effettivamente dalla salda struttura assiomatica e sillogistica dei versi danteschi: colui che ha assunto un tale legame non può più disporre della libertà ...
Leggi Tutto
Gli insiemi numerici
Angelo Guerraggio
Gli insiemi numerici
Gli insiemi numerici più importanti sono quelli dei numeri naturali, dei numeri interi, dei numeri razionali, dei numeri reali, dei numeri [...] possibile abbandonare una presentazione di N esclusivamente intuitiva in favore di un approccio formalmente più rigoroso. Una teoria assiomatica dei numeri naturali è stata elaborata alla fine dell’Ottocento dal matematico italiano G. Peano, che si è ...
Leggi Tutto
sistema ipotetico deduttivo
sistema ipotetico deduttivo locuzione con cui si indica una determinata modalità di strutturare una teoria scientifica. In un sistema ipotetico deduttivo sono assunti come [...] logica formale ricopre un ruolo centrale; si pensi, per esempio, all’aritmetica formalizzata da Peano o alla teoria assiomatica degli insiemi, entrambe basate su un linguaggio logico predicativo. L’aspetto cruciale che segna una netta distinzione fra ...
Leggi Tutto
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] diversi aspetti: a) se sia decidibile l’insieme degli assiomi, e in questo caso la teoria è più comunemente detta teoria assiomatica; b) se sia decidibile l’insieme dei teoremi, e in questo caso si parla di teoria decidibile.
Risulta da un teorema ...
Leggi Tutto
assiomatica
assiomàtica s. f. [dall’agg. assiomatico]. – 1. In genere, ogni dottrina degli assiomi. In partic., quel ramo delle scienze matematiche in cui si discute dei principî della matematica (in questo senso, però, il termine è sempre...
assiomatico
assiomàtico agg. [dal gr. ἀξιωματικός] (pl. m. -ci). – Di assioma, che ha carattere di assioma, quindi, in genere, evidente, indiscutibile: verità a.; principî assiomatici. In logica matematica, trattazione a. (di una data questione),...