Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] 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. - 1) Se due links orientati, K e K′, sono collegati da una isotopia ambiente, allora VK (t) = VK′ (t ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] ogni proposizione con uno o più di questi esperimenti mediante l'aiuto di nozioni comuni redatte in forma di definizioni e assiomi ad imitazione del metodo con il quale i matematici sono soliti provare le loro dottrine" (The correspondence, I, p. 237 ...
Leggi Tutto
Euclide
Euclide [STF] [ALG] Matematico greco, vissuto ad Alessandria d'Egitto intorno al 300 a.C., che sistemò, in maniera insuperata, la matematica che s'era andata sviluppando in circa due secoli di [...] sviluppa mediante la dimostrazione di teoremi e loro conseguenze (corollari) a partire da definizioni intuitive non dimostrate (postulati e assiomi, gr. óroi). ◆ [OTT] Ottica di E.: quella esposta da E. nell'omonimo trattato, in cui sono precisati i ...
Leggi Tutto
normalizzazione
normalizzazióne [Der. di normalizzare "atto ed effetto del normalizzare"] [FTC] N. costruttiva: lo stabilire tipologie costruttive di un determinato componente o dispositivo che ricoprano, [...] ∫Ψ2dq esteso a tutti i possibili valori dell'insieme delle coordinate q (valore che si chiama coefficiente di n.). ◆ [PRB] Assiomi di n.: v. probabilità classica: IV 579 b. ◆ Condizione di n.: (a) [MCQ] v. vibrazioni reticolari: VI 528 e. (b ...
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 [...] : 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
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
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...