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
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] interesse applicativo.
Al centro dell'interesse dellateoriadella complessità si trova il concetto Esse sono basate su una singolare proprietà della classe NP (teorema delledimostrazioni verificabili in modo probabilistico): per ogni insieme ...
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
La Rivoluzione scientifica: i domini della conoscenza. L'aristotelismo e le sue alternative
John A. Schuster
L'aristotelismo e le sue alternative
L'organizzazione della conoscenza all'inizio della [...] intorno allo statuto delledimostrazioni matematiche in rapporto alle dimostrazioni sillogistiche su cui, della luce, ottenne brillanti risultati nella teoriadella camera obscura, in quella della visione e, in certa misura, anche nella teoriadella ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di geometria algebrica italiana
Alberto Conte
Ciro Ciliberto
La scuola di geometria algebrica italiana
Gli inizi: Luigi Cremona e [...] memoria del 1901 in collaborazione tra i due, Sopra alcune questioni fondamentali nella teoriadelle superficie algebriche. A Castelnuovo si deve la prima dimostrazione del teorema di Riemann-Roch per le superfici (1896). L'importanza di queste ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] pp. 196-207) egli costruisce un modello dell’aritmetica nella teoria degli insiemi e sottolinea che una dimostrazione di non contraddittorietà dell’aritmetica non potrà mai basarsi sui principi stessi dell’aritmetica.
A partire dalla seconda edizione ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] la teoriadella complessità. Lo stesso può dirsi, in generale, dellateoria elementare dei grafi visti come strutture 〈D,R〉, dove R è una relazione binaria. I grafi sono divenuti particolarmente importanti dopo che nel 1981 Alan Mekler ha dimostrato ...
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,...