dimostrazionedimostrazióne [Der. del lat. demonstratio -onis, dal part. pass. demonstratus di demonstrare "rendere manifesto", comp. di de- e monstrare "mostrare"] [FAF] (a) Argomentazione attraverso [...] la quale si stabilisce che una certa nozione o tesi è vera. (b) In una teoria matematica o fisica, procedimento consistente nel ricavare, come teoremi, proposizioni da altre proposizioni primitive. ◆ [FAF] ...
Leggi Tutto
dimostrabiledimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistema formale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Ibn al-Haytam e la nuova fisica
Hossein Masoumi Hamedani
Ibn al-Hayṯam e la nuova fisica
Apartire dalla fine del XIX [...] al-qamar. Nell'Ottica (I, 3, 15) l'autore inserisce la Luna tra i corpi luminosi in sé, come il Sole e il fuoco. Per dimostrare che la luce della Luna emana da tutte le parti del suo corpo e non solo dal suo centro o da una sola parte, egli evoca la ...
Leggi Tutto
computazione
computazióne [Adatt. dell'ingl. computation, der. di to compute "calcolare" (→ computazionale)] [LSF] Sinon. di calcolo. ◆ [INF] Dimostrazione di c. e modello di c.: dimostrazione della [...] derivabilità di asserzioni da altre secondo un modello universale di calcolo ...
Leggi Tutto
cruciale
cruciale [agg. Dall'ingl. crucial, der. del lat. crux crucis "croce"] [FAF] Che importa una decisione, critico: dimostrazione c., esperimento c., fase c. di un fenomeno, ecc. ...
Leggi Tutto
Materia, stabilità della
Walter Thirring
sommario: 1. Introduzione storica. 2. Argomenti euristici. 3. La dimostrazione. 4. Conseguenze. a) Stabilità relativistica. b) L'esistenza di dinamiche locali. [...] ottennero Dyson e Lenard era di circa 240 volte il valore E0 della (5), che dovrebbe essere il valore corretto. Riporteremo invece la dimostrazione di Lieb e Thirring (v., 1975), per la quale ci vollero solo tre pagine e che dà il valore di c a meno ...
Leggi Tutto
apodittico
apodìttico [agg. (pl.m. -ci) Der. del lat. apodicticus, dal gr. apodeiktikós "dimostrativo"] [FAF] Nella logica, che deriva da un rigoroso processo (apodissi) di dimostrazione della validità [...] (a) quello in cui l'affermazione o la negazione si considerano come necessarie (A è necessariamente B; A non può essere B); (b) meno rigorosamente, quello enunciato o pronunciato senza dimostrazione e senza sostegno di prove teoriche o sperimentali. ...
Leggi Tutto
reductio ad absurdum
reductio ad absurdum 〈redùkzio ad absùrdum〉 [Locuz. lat. "riduzione all'assurdo"] [FAF] Nella logica, locuz. (anche reductio ad impossibile) equivalente all'it. dimostrazione per [...] assurdo ...
Leggi Tutto
Guericke Otto von
Guericke 〈g✄érikë〉 Otto von [STF] (Magdeburgo 1602 - Amburgo 1686) Scienziato. ◆ [STF] [FML] Esperimento di G., o esperimento degli emisferi di Magdeburgo: famosa dimostrazione dell'esistenza [...] della pressione atmosferica, data da G. nel 1654. Da due grandi emisferi metallici cavi, premuti uno contro l'altro a formare una sfera e attaccati ognuno a un tiro di cavalli, veniva estratta l'aria mediante ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...]
P. del liberale paretiano Teorema presentato dall’economista indiano A.K. Sen (1970) con il quale si vuole dimostrare come, nell’ambito della teoria delle scelte collettive, sia impossibile trovare regole capaci di soddisfare simultaneamente sia il ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...