La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] possibile andare al di là delle osservazioni.
I test di significatività
La struttura dei test di significatività è ipotetico-deduttiva in ragione del fatto che essi rappresentano l'adattamento del metodo galileano all'eventualità in cui le leggi, da ...
Leggi Tutto
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] D. Hilbert nelle Grundlagen der Geometrie (1899) ha realizzato la sistemazione razionale della geometria in un sistema ipotetico-deduttivo (➔ sistema) ricorrendo a un insieme di postulati che legano i concetti di punto, retta e piano assunti come ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] asse dell'ellisse per studiare infine le proprietà delle corde, delle frecce e così via. Lo schema del suo ragionamento deduttivo mostra che le prime sei proposizioni riguardano la figura circolare allungata, i suoi vertici, il centro, i diametri, le ...
Leggi Tutto
Vicino Oriente antico. La matematica
Jöran Friberg
La matematica
Gli esercizi metro-matematici nel III millennio
La ricerca sulla matematica mesopotamica conobbe il suo periodo pionieristico a partire [...] tematici contenenti problemi di complessità gradualmente crescente: in un certo senso ciò costituisce un metodo deduttivo, benché diverso dall'impostazione assiomatica, basata su definizioni, assiomi, teoremi e dimostrazioni, tipica della geometria ...
Leggi Tutto
L'Ottocento: matematica. Equazioni differenziali alle derivate parziali
Thomas Archibald
Equazioni differenziali alle derivate parziali
Nel corso del XIX sec. la teoria delle funzioni di più variabili [...] di testo e, in effetti, il livello di rigore è stupefacente. Anche le identità di Green assunte implicitamente nel procedimento deduttivo cominciarono a essere usate una volta noti i risultati e le tecniche di Gauss. In effetti la memoria di Gauss fu ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La rivoluzione cartesiana e gli sviluppi della geometria
Emily Grosholz
La rivoluzione cartesiana e gli sviluppi della geometria
La rivoluzione [...] sosteneva ‒ ma non sempre ‒ che la geometria è qualunque cosa possa costituire un modello di un dato sistema formale, deduttivo e assiomatizzato. Il Descartes matematico è una figura di transizione. Il suo metodo è riduzionista: per lui, la geometria ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La rinascita delle matematiche
Pier Daniele Napolitani
Il problema
Quando, sul finire del 17° sec., nasce il nuovo universo newtoniano, al tempo stesso vedono la luce nuovi oggetti matematici (polinomi, [...] Conoidi e sferoidi di Archimede, raggiungendo il risultato corretto per intuizione piuttosto che svolgendo un ragionamento rigorosamente deduttivo.
È tuttavia significativo che, di fronte alla traduzione di Iacopo, la tradizione umanistica e quella ...
Leggi Tutto
STATISTICA (XXXII, p. 506; App. I, p. 1018)
Franco Giusti
Bruno Grazia Resi
Ludovico Piccinato
Alfredo Rizzi
Metodo scientifico che ha per oggetto lo studio quantitativo di fenomeni di massa, cioè [...] a base statistica, in cui teoria economica e realtà fattuale si compenetrano in un'armonica sintesi del metodo deduttivo e di quello induttivo, la s. economica viene da taluni designata "economia induttiva" o anche "economica sperimentale".
La ...
Leggi Tutto
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] ma non ha valore di prova assoluta.
Il teorema di incompletezza di K. Gödel mostra, d'altronde, che un sistema deduttivo formalizzato non può trovare in se stesso la dimostrazione assoluta della propria validità. È quanto è stato mostrato anche da A ...
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 [...] contenga tutte le informazioni necessarie per determinare il suo comportamento e, pertanto, sia possibile definire un sistema deduttivo che consenta di derivare in modo formale, partendo dalla struttura del programma, asserzioni riguardanti le sue ...
Leggi Tutto
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...
sistema
sistèma s. m. [dal lat. tardo systema, gr. σύστημα, propr. «riunione, complesso» (da cui varî sign. estens.), der. di συνίστημι «porre insieme, riunire»] (pl. -i). – 1. Nell’ambito scientifico, qualsiasi oggetto di studio che, pur...