logicismo
logicismo [Der. di logica] [STF] [FAF] (a) In senso lato, ogni dottrina che pone la logica a fondamento della filosofia. (b) In senso specifico, indirizzo di pensiero che, soprattutto per opera [...] tutti i concetti matematici a partire da un numero ristretto di concetti logici fondamentali e che tutti i teoremi matematici sono dimostrabili a partire da un numero ristretto di proposizioni logiche fondamentali; tale programma di riduzione della ...
Leggi Tutto
algoritmizzazione
algoritmizzazióne [Der. di algoritmizzare "tradurre in algoritmi"] [FAF] [INF] Processo di traduzione in algoritmi di un fenomeno naturale o artificiale, a scopo conoscitivo o normativo. [...] proposero addirittura un'a. della matematica, quale metodo più rigoroso di derivazione logica dei teoremi della matematica a partire dagli assiomi: ogni teorema dovrebbe, secondo questo programma di lavoro, essere visto come il risultato di un ...
Leggi Tutto
incompleto
incomplèto [agg. Comp. di in- neg. e completo] [CHF] Reazione i.: reazione che s'arresta prima della completa trasformazione delle sostanze reagenti. ◆ [ALG] [FAF] Teoria i.: nella logica [...] dice sintatticamente i. quando esiste una formula del suo linguaggio di cui non si può dimostrare né la verità né la falsità, e si dice semanticamente i. se esistono conseguenze dell'insieme dei suoi assiomi che non sono teoremi della teoria stessa. ...
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 [...] comprenderlo a fondo. In quell'arco di tempo, non soltanto la meccanica aumentò di complessità, in seguito all'introduzione di teoremi nuovi e più generali, ma estese il proprio dominio ad aree fino ad allora considerate al di là della portata della ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Ottica, scienza dei pesi e cinematica
Katherine Tachau
John D. North
Johannes M.M.H. Thijssen
Ottica, scienza dei pesi e cinematica
'Perspectiva': [...] di un segmento con la velocità del punto medio del suo raggio, descritta nel Libro sul moto di Gherardo da Bruxelles. Il teorema della velocità media afferma che un mobile che si muove di moto uniformemente accelerato copre in un dato tempo lo stesso ...
Leggi Tutto
piegatura
piegatura [Der. di piega] [LSF] L'atto del piegare e talora anche l'effetto del piegare, per il quale ultimo è più proprio piega. ◆ [ALG] P. del foglio: metodo consistente nel tracciare determinate [...] costruzioni geometriche, anche complesse (per es., costruire un triangolo equilatero di dato lato oppure un pentagono regolare di dato lato, oppure una parabola: v. fig.), e per verificare sperimentalmente teoremi relativi a certe configurazioni. ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. La macrofisica
Theodore Feldman
La macrofisica
La meteorologia
Intorno al 1900, nella meteorologia si distinguevano tre diversi filoni. Nel primo [...] strascico con navi a vapore, vedeva accresciuta l'esigenza di condurre in modo razionale le attività. In effetti i teoremi della circolazione mostravano che masse o strati d'acqua con temperatura e grado di salinità diversi conducono all'instaurarsi ...
Leggi Tutto
logaritmo
logaritmo [Der. del lat. logarithmus, dai gr. lógos "proporzione" e arithmós "numero"] [ALG] Dati un numero reale positivo x e un numero a reale, positivo e diverso da 1, l. di x nella base [...] il l. è la funzione inversa della potenza, cosicché le proprietà dei l. riflettono quelle delle potenze; esse sono date dai teoremi espressi dalle seguenti formule, ove x, y sono numeri reali positivi e n è un intero relativo diverso da zero: loga ...
Leggi Tutto
Meccanica e termomeccanica razionali
CClifford A. Truesdell
di Clifford A. Truesdell
SOMMARIO: 1. Concetti e metodi: a) la natura delle scienze razionali; b) la nascita, l'apogeo e il lento declino [...] , È d). Per esempio, se λ indica la coppia (θ, Y), se τ indica la coppia (−η, p) e se π sta per Ψ, allora il teorema or ora enunciato del potenziale si riduce a quello enunciato nel cap. 1, È d.
Una teoria di attrito lineare permette a τ di dipendere ...
Leggi Tutto
punto fisso
Luca Tomassini
Un punto x di un insieme X tale che F(x)=x per una determinata mappa F:X→X, ovvero di X in sé. Un tale punto si dirà anche punto fisso per F. La dimostrazione dell’esistenza [...] X è uno spazio topologico e F è continua in un senso specifico. Il più semplice, ma non per questo meno importante, tra i teoremi di punto fisso è il cosiddetto principio delle contrazioni. Siano X uno spazio metrico completo con metrica ϱ e F:X→X un ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
principio
princìpio s. m. [dal lat. principium, der. di princeps -cĭpis nel sign. di «primo»: v. principe]. – 1. a. L’atto e il fatto di cominciare, inizio: il p. di una azione, di un’impresa; il p. di una nuova vita; dare p., avviare, intraprendere...