Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] P e F, ossia 'qualche volta in passato' e 'qualche volta in futuro'. Nel sistema minimale Kt avremo due assiomi in H e G paralleli all'assioma monomodale K, ma sono richiesti anche assiomi misti come FHA⊃A e PG A⊃A, oltre a due regole ⊦A→⊦GA e ⊦A ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] al momento della quantità di moto è risultata maggiore per una parte su 5000 di quella degli elettroni con spin parallelo alla quantità di moto, confermando il suddetto modello.
Quasi raggiunta la temperatura del Sole in un reattore nucleare. Nel ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] nella Cleveland Clinic di Cleveland; si tratta di una tecnica consistente nell'impiantare un tratto di vena in parallelo a un vaso sanguigno cardiaco danneggiato od ostruito, ripristinandone la funzionalità.
Il primo trapianto di cuore tra uomini ...
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; [...] ) aveva già goduto del favore di Ṯābit ibn Qurra, che l'aveva proposto in un tentativo di dimostrazione del postulato delle parallele (v. cap. XXVIII); e che esso si ricollega a una serie di questioni sui fondamenti della geometria e l'impiego del ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] , come quella del retto transito, secondo la quale le figure che si confrontano debbono trovarsi tra le stesse parallele in questo modo, tuttavia, egli non riuscì a trovare una giustificazione al fatto che figure diverse in grandezza possano ...
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 [...] che sono consapevoli della struttura della memoria e la sfruttano in modo ottimale. In un modello di questo tipo (il parallel disk model), definito da Jeff S. Vitter e Elizabeth A. M. Shriver nel 1994, le prestazioni degli algoritmi sono valutate ...
Leggi Tutto
PROBABILITÀ
Italo Scardovi
Giorgio Dall'Aglio
Misura della probabilità
di Italo Scardovi
La probabilità come numero reale
Nel parlar comune, 'probabilità' è parola che esprime incertezza, ora per [...] naturalista George Louis Buffon, il quale calcolò che, lanciando a caso un ago su un foglio su cui sono tracciate delle rette parallele a distanza uguale alla lunghezza dell'ago, la probabilità che l'ago intersechi una retta è uguale a 2/π. Allora se ...
Leggi Tutto
L'Ottocento: matematica. Le origini della teoria dei gruppi
Jeremy Gray
Le origini della teoria dei gruppi
La teoria di Galois e la soluzione algebrica delle equazioni algebriche
La teoria di Galois [...] punto di vista per poter essere accettato (prima ancora che dimostrato). Richiede anzitutto che sia accettato che due rette parallele 'si incontrino all'infinito', che due curve con un numero insufficiente di punti reali in comune si intersechino in ...
Leggi Tutto
L'Eta dei Lumi: matematica. Lo sviluppo della teoria della probabilita e della statistica
Oscar Sheynin
Lo sviluppo della teoria della probabilità e della statistica
I primi sviluppi del calcolo delle [...] annunciato in un riassunto anonimo del 1735, poi pubblicato nel 1777. Un ago di lunghezza 2r cade su un fascio di rette parallele; Buffon stimò che la probabilità che esso intersechi una retta è p=4r/πa, dove a è la distanza tra due rette adiacenti ...
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 [...] dall'Oriente; sempre a Cordova operò al-Maǧrīṭī (m. 1007), che adattò le tavole di al-Ḫwārazmī al meridiano e al parallelo di Cordova e al calendario musulmano (le cui date partivano dall'Egira).
Gli allievi di al-Maǧrīṭī diffusero la scienza dell ...
Leggi Tutto
parallela
parallèla s. f. [femm. sostantivato dell’agg. parallelo]. – 1. Retta che, rispetto a un’altra complanare, non ha con essa nessun punto comune: condurre per un punto la p. a una retta data; tirare, tracciare due p.; postulato delle...
parallelismo
s. m. [der. dell’agg. parallelo]. – 1. a. In genere, la condizione di rette o piani che siano tra loro paralleli, o la disposizione parallela di due o più oggetti: relazione, condizione di p.; il perfetto p. dei binarî, delle...