La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] Nella versione di Kolmogorov l'operatore ¬¬ è inserito simultaneamente davanti a ciascuna sottoformula. Le varie immersioni sono logicamenteequivalenti.
Se * è una di queste immersioni, A*→A classicamente; A* è dimostrabile intuizionisticamente se e ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. Completare un vecchio lavoro
Helge Kragh
Completare un vecchio lavoro
La teoria della relatività di Einstein e la teoria dei quanti di Planck, Sommerfeld [...] complessa, ma era anche minata da problemi di natura logica e concettuale. Il primo e più importante consisteva nel 1932, la forza di scambio tra protone e neutrone come l'equivalente della forza di scambio elettrone-elettrone.
La teoria di Heitler ...
Leggi Tutto
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 [...] , si ottiene dalla condizione [11] la seguente forma del principio di Gauss:
La [12] è una rappresentazione logicamenteequivalente delle equazioni del moto [1] e [2]. Gauss vedeva una particolare evidenza e 'convenienza' del proprio principio ...
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 [...] secolo. Qualsiasi genere di razionalità scientifica presuppone una struttura logica di cui i suoi praticanti sono consapevoli e che sono occidentali ad Aristotele ebbero indubbiamen-te degli equivalenti nella Chiesa orientale, che tuttavia, a quanto ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...] o del predicato e per questo sono stati studiati dai logici medievali. Verso la fine del XIII sec., le animale è un uomo' (omnis animal est homo) non sono affatto equivalenti; allo stesso modo, la posizione dei termini 'infinito' o 'infiniti di ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Galilei e la geometria del moto accelerato
Enrico Giusti
Galilei e la geometria del moto accelerato
Tra l'impressionante numero di testi scientifici, [...] passaggio della Fisica di Aristotele, sembra considerare equivalenti: confrontare gli spazi percorsi in tempi uguali fatto Galilei quasi trent'anni prima, Cavalieri compie una piroetta logica e conclude:
Ma con qual proporzione cresce la velocità ...
Leggi Tutto
modo
mòdo s. m. [lat. mŏdus «misura», e quindi anche «norma, regola, modo»]. – 1. La forma particolare di essere, di presentarsi di una cosa, o di operare, procedere e sim. In questo sign. generico (e in qualche altro), è sinon. di maniera,...