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 [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] può parlare del linguaggio usato nel sistema formale cui ci si riferisce; viene usata per individuare gli assiomi e le regole di inferenza del sistema, oppure per abbreviare determinate espressioni ricorrendo a espressioni più semplici appartenenti ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] ] Teorema l.: nella logica matematica, è un'espressione del linguaggio simbolico adottato che ha la proprietà di essere deducibile (mediante una sequenza finita di applicazioni delle regole di inferenza) da alcuni degli assiomi o teoremi precedenti. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di un programma verifica la proprietà P, allora l'output verifica la proprietà Q. Hoare ha fornito anche un sistema di assiomi per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input ...
Leggi Tutto
QUANTISTICA, MECCANICA (XXVIII, p. 592; App. II, 11, p. 634; III, 11, p. 531)
Piero Caldirola
Sui limiti di validità dell'attuale meccanica quantistica. - Una delle direzioni di maggior sviluppo della [...] 'interazione fra particelle elementari di elevata energia ogni tentativo di sviluppare una struttura formale capace di conciliare gli assiomi della m. q. con i principi della relatività ristretta si dimostri a tutto rigore infruttuoso. In particolare ...
Leggi Tutto
Fisico e matematico (Woolsthorpe, Lincolnshire, 1642 - Londra 1727). Di famiglia agiata ma priva di istruzione, N. fu avviato agli studî dal ramo familiare materno, gli Ayscough (o Askew). Frequentò così [...] di allontanamento dall'asse, rivelate dalla concavità dell'acqua, forze che sono invece nulle nel moto circolare relativo. Gli assiomi, o leggi del moto, sono la formulazione matematica dell'inerzia, già enunciata da Galileo e Descartes in termini ...
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 [...] del vuoto e positività dell’energia (definita come generatore del gruppo unitario che descrive le traslazioni nel tempo). Come conseguenza degli assiomi, le funzioni W(x1,…,xn)5(w,f(x1),f(xn)w) (funzioni di Wightman) hanno proprietà di invarianza, di ...
Leggi Tutto
piano 2
piano2 [Der. del lat. planum "pianura", neutro sostantivato dell'agg. planus] [ALG] Ente geometrico costituente l'astrazione del concetto intuitivo di una superficie liscia, non incurvata, priva [...] . affine, nel quale siano assegnati certi sottoinsiemi r, s,... chiamati rette, in modo che siano soddisfatte queste tre condizioni (dette spesso assiomi di incidenza): (a) per due punti distinti A, B passa una e una sola retta; (b) dati un punto A e ...
Leggi Tutto
struttura
struttura [Der. del lat. structura, dal part. pass. structus di struere "costruire"] [LSF] La costituzione e la disposizione degli elementi che, in rapporto correlativo o funzionale fra loro, [...] infinito-dimensionali: VI 494 f. ◆ [ALG] S. topologica: lo stesso che topologia: v. spazio topologico: V 468 a. ◆ [PRB] Assiomi di s.: v. probabilità classica: IV 579 c. ◆ [MTR] [FAT] Costante di s. fine: una delle costanti fondamentali della fisica ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] variabile t1/2 e nella sua inversa t−1/2 (ciò si esprime dicendo che VK(t) è un polinomio di Laurent in t1/2).
Assiomi per il polinomio di Jones. (a) Se due link orientati, K e K′, sono collegati da una isotopia ambiente, allora VK(t)=VK′(t); (b ...
Leggi Tutto
assioma
assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
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...