La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia

Storia della Scienza (2004)

La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia Ettore Casari La scuola di Leopoli-Varsavia Gli inizi La singolare vicenda intellettuale divenuta nota come 'Scuola [...] dalle sue conseguenze, doveva soddisfare le condizioni: esiste α∈S per cui ℂ({α})=S. Egli fissò poi il concetto di 'sistema deduttivo' chiamando così ogni M⊆S tale che ℂ(M)=M e stabilì che M,N⊆S sono logicamente equivalenti quando determinano lo ... Leggi Tutto

CATEGORIA: STORIA DELLA MATEMATICA

inferenza

Dizionario delle Scienze Fisiche (1996)

inferenza inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] campioni e limitato, mediante la stima dei parametri e il controllo delle ipotesi. ◆ [FAF] Regole di i.: in un sistema deduttivo, l'insieme delle regole secondo le quali le proposizioni possono essere dedotte dagli assiomi o da altre proposizioni. ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

Euclide

Enciclopedia on line

Matematico greco, autore di numerosi trattati, operò attorno al 300 a. C. nella colonia di Alessandria, allora di recente fondazione. E. è particolarmente noto per un'opera, gli Elementi (v.), contenente [...] a studenti alle prime armi, a causa del suo impianto logico. I compendî di matematica basati in qualche misura sul metodo deduttivo risalgono all'epoca di Ippocrate di Chio (circa 430 a. C.), ma tutto lascia supporre che gli Elementi fossero i primi ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FONDAMENTI DELLA MATEMATICA – IPPOCRATE DI CHIO – EUROPA MEDIEVALE – METODO DEDUTTIVO – SEZIONI CONICHE

Metodo

Enciclopedia del Novecento (1979)

Metodo GGerard Radnitzky di Gerard Radnitzky Metodo sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] ha provocato anzi una revisione critica di questa, e che la maggior parte delle teorie matematiche sono di natura ipotetico-deduttiva, e quindi la matematica pura è più vicina alle scienze naturali di quanto generalmente non si ritenesse fino a poco ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – STRUMENTI E TECNOLOGIA APPLICATA

TAGS: PROBLEMA DELLA DEMARCAZIONE – PRINCIPIO DI VERIFICAZIONE – TEORIA DELLA DIMOSTRAZIONE – METODO DEI MINIMI QUADRATI – OSSERVAZIONE SPERIMENTALE

scienze

Enciclopedia dei ragazzi (2006)

scienze Paolo Casini Le mappe del sapere La conoscenza umana è un intreccio di teorie e di pratiche in continua crescita e anche il termine scienza ha avuto via via significati mutevoli. Per orientarsi [...] , i suoi seguaci ammettevano soltanto il principio d’autorità. D’altra parte anche Galilei usò costantemente il metodo ipotetico-deduttivo, alla ricerca di leggi e di principi ai quali ricondurre la molteplicità dei fenomeni, e recuperò così certi ... Leggi Tutto

CATEGORIA: TEMI GENERALI

TAGS: DIALOGO SOPRA I DUE MASSIMI SISTEMI DEL MONDO – SECONDA GUERRA MONDIALE – TEORIA DELLA RELATIVITÀ – RIVOLUZIONE SCIENTIFICA – TEORIA DELLA CONOSCENZA

definizione

Enciclopedia on line

Filosofia L’analisi e la determinazione del contenuto di un concetto, espresse in un giudizio in cui il soggetto è il concetto da definire e il predicato è costituito dal complesso dei termini che nel [...] atto a determinare l’ente stesso. La d. implicita, quando si costruisce una teoria matematica come sistema ipotetico-deduttivo, rappresenta lo studio di un insieme di termini non definiti esplicitamente, ma legati da un certo numero di postulati ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – TEMI GENERALI – LOGICA MATEMATICA – DOTTRINE TEORIE E CONCETTI – METAFISICA – DOTTRINE TEORIE CONCETTI

TAGS: PRINCIPIO DI INDUZIONE – FILOSOFIA SCOLASTICA – CONCILI ECUMENICI – LOGICA MATEMATICA – CHIESA CATTOLICA

Simulazione

Enciclopedia Italiana - VI Appendice (2000)

Simulazione Luigi Accardi Mario Lucertini Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] il modello matematico non è noto sin dall'inizio e quindi occorre procedere in modo induttivo invece che puramente deduttivo, tentando di impostarne uno attraverso una serie di approssimazioni successive. Si ipotizzano uno o più modelli iniziali ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA – TEMI GENERALI – INFORMATICA APPLICATA

TAGS: DISTRIBUZIONE DI PROBABILITÀ – SPAZIO DELLE CONFIGURAZIONI – POTENZIALE INTERMOLECOLARE – EQUAZIONI DI NAVIER-STOKES – RETE DI TELECOMUNICAZIONI

Modelli matematici in immunologia

Frontiere della Vita (1998)

Modelli matematici in immunologia Ulrich Behn (Institut für Theoretische Physik, Universitat Leipzig Lipsia, Germania) Franco Celada (Cattedra di Immunologia, Università di Genova Genova, Italia) Philip [...] la scienza moderna è stata avviata da Francis Bacon e dagli empiristi inglesi ed è consistita nella sostituzione del pensiero deduttivo con quello induttivo. Ci si è in seguito resi conto che il ragionamento scientifico supera l'antinomia accademica ... Leggi Tutto

CATEGORIA: IMMUNOLOGIA – MATEMATICA APPLICATA

L'Ottocento: matematica. Meccanica analitica

Storia della Scienza (2003)

L'Ottocento: matematica. Meccanica analitica Helmut Pulte Meccanica analitica La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] sembrare strana l'intenzione di voler dimostrare un principio o assioma meccanico che si trova come premessa di un sistema deduttivo. Essa rivela invece una "crisi dei principî" (Bailhache 1975, p. 7), dovuta al fatto che la meccanica analitica nella ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – MATEMATICA APPLICATA – STATISTICA E CALCOLO DELLE PROBABILITA – METAFISICA – STORIA DEL PENSIERO FILOSOFICO

calcolo

Enciclopedia on line

Insieme di procedimenti matematici atti a dare la soluzione di un dato problema. Informatica Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...] quali la derivazione, l’integrazione indefinita, l’integrazione. In logica matematica, è detto c. un sistema deduttivo nel quale la definizione delle espressioni ‘giuste’ avviene mediante una relazione di derivabilità. Si distinguono due tipi ... Leggi Tutto

CATEGORIA: MATEMATICA APPLICATA – ELABORATORI

TAGS: ANALISI MATEMATICA – LOGICA MATEMATICA – INFORMATICA – MATEMATICA – INFERENZA