La Rivoluzione scientifica: i domini della conoscenza. La nascita del calcolo delle probabilita
Patrizia Accordi
La nascita del calcolo delle probabilità
Introduzione
Il carteggio del 1654 tra Blaise [...] Méré diede un impulso importante all'applicazione dellateoriadella probabilità al gioco. Erudito, appassionato di fra i due limiti (r+1)/t e (r−1)/t. Si deve dimostrare che, dopo un certo numero di prove (poniamo c), accade più frequentemente che ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] 'insiemi di Borel', introdotti da Borel per descrivere l'insieme delle discontinuità di una funzione continua in teoriadella misura. In particolare, le dimostrazioni iterative di teoremi di esistenza per equazioni differenziali vennero considerate ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoriadella ricorsivita
Piergiorgio Odifreddi
Teoriadella ricorsività
La teoriadella ricorsività affronta lo studio delle funzioni con lo [...] per es., rendendoli più veloci) ma non la loro potenza assoluta. La teoriadella ricorsività fornisce così uno strumento per dimostrare matematicamente limitazioni delle possibilità dei computer.
Non è una contraddizione aver detto che i computer non ...
Leggi Tutto
L'Eta dei Lumi: matematica. Il calcolo delle variazioni
Ivor Grattan-Guinness
Il calcolo delle variazioni
Il calcolo in una e più variabili
Una volta sviluppata la teoriadella differenziazione e integrazione [...] condizioni erano simili a quelle dellateoriadelle equazioni differenziali. Il differenziale degli integrali della forma [2] era la includeva una dimostrazionedell'integrabilità di ƒ(x) nei termini della versione corrispondente della [9]. Egli ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] -Hayṯam e altri, e a conservare materiale relativo alle teoriedella precessione attribuite a Ṯābit ibn Qurra. Esso rivela chiaramente la loro attualità anche nel Basso Medioevo, come dimostra l'elevato numero di copie in circolazione. Aumentarono i ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] , si preoccupò di favorire l'insegnamento e lo studio delleteorie matematiche, l'elaborazione di manuali divulgativi di quelle scienze, la discussione dei loro metodi e fondamenti. Lo dimostra in modo evidente la sua familiarità, anche come maestro ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] commentatore antico di gran lunga più sensibile alla sfida delladimostrazione di Aristotele è Alessandro di Afrodisia. Fin dalla interessante, a questo proposito, ricordare come la teoriadell'attrazione sia stata discussa da Averroè e da Avicenna ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] riesce a costruire CW-complessi con preassegnati gruppi di omotopia.
Decidibilità dellateoriadelle algebre di Boole. Il logico polacco Alfred Tarski dimostra che la teoriadelle algebre di Boole è decidibile; cioè, esiste un algoritmo che, data ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] filosofiche (logica, fisica ed etica) e ha la pretesa di fondare una scienza autonoma, una teoria universale delladimostrazione e un'etica assoluta.
Anche la matematica 'professionale', in particolare l'astronomia, reclamava una competenza ...
Leggi Tutto
La scienza bizantina e latina. Introduzione
John D. North
Introduzione
Gli storici della scienza medievale che tentino d'individuare il nome del primo esponente moderno della loro disciplina rischiano [...] della loro carriera l'aritmetica, la geometria, l'astronomia, la teoriadella musica e la filosofia della spuria dello schema planetario di Aristotele.
Affrontando la questione delle opposte pretese della rivelazione e delladimostrazione, Tommaso ...
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...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...