Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] completezza del sistema rispetto agli ω-modelli, quei modelli cioè che hanno come dominio l'insieme ℕ dei naturali. Infine collegamenti mettono in luce che le complicazioni della dinamica dello Hauptsatz sono essenzialmente dovute alla regole di ...
Leggi Tutto
onda
ónda [Der. del lat. unda] [LSF] Fenomeno fisico per cui una perturbazione prodotta localmente in un mezzo si propaga a distanza, trasportando lontano energia e informazioni circa le sue caratteristiche [...] : v. meteorologia dinamica: III 804 b da quello della frequenza, benché sia omogenea con essa nei sistemi di unità CGS e SI. ◆ [MCC] [EMG] la quale si possa definire la fase, è la superficie luogo dei punti dello spazio nei quali la fase dell'o. ha ...
Leggi Tutto
Natalità
Gustavo De Santis
Natalità e fecondità
Con il termine 'natalità' si indica, sinteticamente, la frequenza relativa delle nascite per unità di tempo per unità di popolazione. E questo, come la [...] costante degli emissari (i decessi M e le emigrazioni E). Questo sistema di afflussi e deflussi determina le caratteristiche del lago, di tipo demografica dei loro paesi, in termini sia statici (numerosità e struttura della popolazione) che dinamici ( ...
Leggi Tutto
motore
motóre [agg. (f. -trice) e s.m. Der. del lat. motor -oris "che mette in movimento", dal part. pass. motus di movere "muovere"] [FTC] Sistema materiale capace di trasformare energia di una certa [...] a costruire negli anni 1870-71 numerose dinamo di dimensioni commerciali e a scoprirne la sistema di accensione del combustibile (m. ad accensione a scintilla elettrica e m. ad accensione spontanea). L'accensione a scintilla è tipica dei ...
Leggi Tutto
momento
moménto [Der. del lat. momentum "piccola causa di movimento", dalla radice di movere "muovere", e poi "piccola cosa" in genere] [LSF] Oltre ai signif. nella meccanica e in discipline a questa [...] vettoriali relative a proprietà statiche e dinamiche di enti e sistemi (v. oltre); alcune locuz )/n, vale a dire è la media aritmetica delle potenze k-esime dei valori. Più in generale, considerando distribuzioni di probabilità di variabili aleatorie, ...
Leggi Tutto
massa
massa [Lat. massa, dal gr. máza "pasta di farina d'orzo"] [LSF] Termine il cui signif. ha avuto una notevole evoluzione storica e un continuo arricchimento, dal primitivo concetto di grandezza [...] [MCC] M. ridotta: è considerata in problemi dinamici che siano riducibili al problema dei due corpi (quali, per es., quelli riguardanti in campo astronomico un pianeta con un solo satellite e in campo atomico i sistemi idrogenoidi) e vale μ=m₁m₂/ (m ...
Leggi Tutto
pressione
pressióne [Der. del lat. pressio -onis, dal part. pass. pressus di premere "premere"] [MCC] (a) Generic., l'azione del premere, cioè dell'esercitare una forza sulla superficie di un corpo. [...] N/m2); accanto a questa si usano molte altre unità, di sistemi sia assoluti che pratici e anche incoerenti, riportate, con i recipiente. ◆ [MCF] P. dinamica: la p. in un fluido in moto; lo stesso, a seconda dei casi, di p. aerodinamica (fluidi ...
Leggi Tutto
moto
mòto [Der. del lat. motus -us, dal part. pass. motus di movere "muovere"] [LSF] L'atto e l'effetto del muoversi, cioè dello spostarsi di un corpo da una posizione a un'altra; si contrapp. a quiete [...] in un intervallo di tempo molto breve l'atto di m. dei punti del sistema varia apprezzabilmente, pur restando sensibilmente invariata la loro posizione: v. dinamica impulsiva. ◆ [MCF] M. incomprimibile, laminare, ideale, irrotazionale e turbolento: v ...
Leggi Tutto
matrice
matrice [Der. del lat. matrix -icis "utero, madre"] [LSF] Raro nel signif. di cosa da cui se ne trae un'altra, indica in genere, concret., la struttura principale di un corpo, nella quale eventualmente [...] : II 739 a. ◆ [ELT] M. d'impedenza di una giunzione: v. microonde, circuiti a: III 827 d. ◆ [ELT] M. dinamica, diretta, d'ingresso e d'uscita: v. sistemi, teoria dei: V 317 a. ◆ [FSN] M. di reazione T: v. matrice S: III 646 c. ◆ [ELT] M. di stampa ad ...
Leggi Tutto
calore
calóre [Der. del lat. calor -oris, da calere "essere caldo"] [TRM] L'energia che un corpo macroscopico o, più in generale, un sistema termodinamico cede o riceve a causa di una differenza di temperatura [...] di un composto solido è la somma dei c. atomici degli atomi che ne costituiscono di c.: (a) energia che, per un sistema termodinamico e a norma della prima legge della teorie del: I 415 f. ◆ [TRM] Teoria dinamica del c.: v. calore, teorie del: I 419 ...
Leggi Tutto
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...
dinamica
dinàmica s. f. [dall’agg. dinamico]. – 1. Parte della meccanica che studia i movimenti di un sistema in relazione alle cause che li determinano: d. del punto, d. dei sistemi, d. dei solidi, d. dei fluidi o fluidodinamica. Equazione...