dimostrazione
dimostrazióne [Der. del lat. demonstratio -onis, dal part. pass. demonstratus di demonstrare "rendere manifesto", comp. di de- e monstrare "mostrare"] [FAF] (a) Argomentazione attraverso [...] nozione o tesi è vera. (b) In una teoria matematica o fisica, procedimento consistente nel ricavare, come teoremi, proposizioni da altre proposizioni primitive. ◆ [FAF] D. a posteriori: in una teoria fisica, procedimento consistente nell'articolare ...
Leggi Tutto
Lowenheim Leopold
Löwenheim 〈lö´vënhàim〉 Leopold [STF] (Krefeld 1878 - Berlino 1940) Prof. di matematica nel liceo di Berlino-Lichtenberg. ◆ [ALG] [FAF] Teorema di L.: un'espressione in cui non occorrono [...] variabili predicative poliadiche, ma solo k monadiche, ammette un modello se e solo se ne ammette uno di cardinalità 2k. ◆ [ALG] [FAF] Teoremi di L.-Skolem: v. logica: III 485 e. ...
Leggi Tutto
Fermat Pierre de
Fermat 〈fermà〉 Pierre de [STF] ( Beaumont de Lomagne 1601 - Castres 1665) Matematico. ◆ [OTT] Principio di F.: fondamentale nell'ottica geometrica, è un principio variazionale secondo [...] p è un numero primo e a non è multiplo di p, allora ap-1 è congruo 1 modulo p, in formule ap-1≡1 (mod p) (piccolo teorema di F. o teorema di Eulero-F.: → congruenza); (d) se n≥3, l'equazione xn+yn=zn non ha soluzioni intere maggiori di zero (grande ...
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 [...] il quadrato costruito su a è equivalente al rettangolo che ha per lati l'ipotenusa e b; un suo corollario è il teorema di Pitagora; (b) l'altezza relativa all'ipotenusa, c (fig. 2), è media proporzionale tra le proiezioni dei cateti sull'ipotenusa, d ...
Leggi Tutto
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 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
deduttivo
deduttivo [Der. del lat. deductivus, da deducere "dedurre"] [FAF] Metodo d.: quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all'esperienza nel corso [...] basano sul metodo analitico e sulla deduzione; sistema d., ogni sistema formale che, date un certo numero di premesse (postulati) e determinate regole (regole di inferenza), include in sé soltanto le proposizioni (teoremi) dedotte da quelle premesse. ...
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...