decisione, problema della
In logica matematica, la ricerca di un procedimento effettivo che consenta di stabilire se una certa proprietà o relazione convenga o no a certi enti. Procedimento ‘effettivo’ [...] due diversi aspetti: (1) se sia decidibile l’insieme degli assiomi, e in questo caso la teoria è più comunemente detta teoria assiomatica; (2) se sia decidibile l’insieme dei teoremi, e in questo caso si parla di teoria decidibile (altrimenti essa si ...
Leggi Tutto
GRUPPO (XVII, p. 1012)
Ugo AMALDI
Nell'ultimo quindicennio le teorie classiche dei gruppi hanno ricevuto scarsi apporti di risultati generali. Fra questi, nel campo dei gruppi continui, spetta un rilievo [...] su quella medesima nozione, cui già in linea storica si attribuiva codesto nome. Così, in particolare, si è assiomaticamente precisato il concetto - fondamentale per uno studio non più locale, bensì "in grande" - di gruppo topologico, come varietà ...
Leggi Tutto
proposizioni, calcolo delle
proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] nel calcolo delle proposizioni è una tautologia (teorema di completezza semantica, in → completezza logica).
La teoria formale assiomatica che esprime il calcolo delle proposizioni si articola in apparato linguistico e apparato deduttivo. L’apparato ...
Leggi Tutto
fìsica matemàtica Disciplina scientifica che si propone di descrivere in termini matematici rigorosi i fenomeni fisici.
Abstract di approfondimento da Fisica matematica di Gianfausto Dell’Antonio (Enciclopedia [...] dimostrò anche che il campo può essere ‘ricostruito’ completamente quando si conoscano le funzioni W(x1,…,xn).
Una teoria assiomatica simile fu poco dopo suggerita da Rudolph Haag, facendo uso di algebre di operatori limitate associati a ogni regione ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] dimostrò che l’assioma di s. (come l’ipotesi del continuo) è compatibile con i rimanenti assiomi delle correnti teorie assiomatiche degli insiemi. Nel 1922 A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assioma di s. è indipendente dai ...
Leggi Tutto
SᾹRNᾹTH
G. Verardi
Località situata pochi km a Ν di Benares (V. VᾹRᾹṆASῙ), in India, dove il Buddha fece la sua prima predicazione, mettendo così in moto la Ruota della Legge. S. divenne pertanto uno [...] dell'equazione arte di Sārnāth = arte gupta, che per molti decenni, e talora ancor oggi, è stata assiomatica nell'arte indiana. Un'attenta valutazione dei dati, specialmente della produzione scultorea, porta invece a cambiare questo paradigma ...
Leggi Tutto
Reichenbach, Hans
Filosofo tedesco, naturalizzato statunitense (Amburgo 1891 - Los Angeles 1953). Insegnò nelle univv. di Berlino (1926-33), Istanbul (1933-38), Los Angeles (1938-53). Nel periodo berlinese [...] esistono limiti delle frequenze, l’induzione porterà a scoprire tale fatto. Sono notevoli i suoi contributi all’assiomatica della meccanica relativistica (in cui R. distingue, rispetto alla teoria, tra asserzioni empiriche e livello definizionale ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. La musica
Christian Meyer
La musica
Osservazioni di carattere generale
La musica, come scienza e rappresentazione del mondo, attingeva [...] base di questo sistema (la stessa materia fu oggetto, nella Musica speculativa, di una descrizione in forma rigorosamente assiomatica). Il secondo libro, definito 'un libro di pratica', era anche, e soprattutto, il libro dell'ars propriamente detta ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] sua geometria e la sua fisica a partire da una percezione locale di esso.
Per Riemann (come per Dedekind) la struttura assiomatica doveva avere le sue radici in un’analisi dei concetti di base, in un certo senso “esplicitarne” la definizione. Inoltre ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] in questo articolo è la derivazione e la formulazione di vari modelli piuttosto che il puro uso di metodi assiomatici, qual è riflesso negli enunciati espliciti e precisi delle teorie generali. L'esempio della misura, presentato nel § 4a, illustra ...
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),...