Kac Mark
Kac 〈kaz〉 Mark [STF] (Krzemieniec, Polonia, 1914, nat. SUA - Los Angeles 1984) Prof. di matematica nella Cornell Univ. (1954), nella Rockefeller Univ. di New York (1961) e infine nell'univ. [...] rigorosa delle condizioni di validità dell'equazione di van der Waals. ◆ [ANM] [PRB] Formula e perturbazione di Feynman-K.: → Feynman, Richard Phillips: II 533 f. ◆ [MCS] Limite di K.: v. fase, meccanica statistica delle transizioni di: II 533 f. ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] se e solo se il suo monoide sintattico è localmente idempotente e commutativo (Eilenberg 1976).
Automi e logica
Si deve a Richard Büchi l'idea di utilizzare gli automi finiti in un contesto nel quale a prima vista essi non compaiono, e cioè nella ...
Leggi Tutto
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 [...] analitica di William T. Parry, l'implicitazione di Georg H. von Wright, Kanger e Keith Lehrer, l'implicazione connessiva di Thomas Nelson, Richard B. Angell e McCall. Quest'ultima è basata su due principi che non sono classici: ∉(A→∉A) e (A→B)⊃∉(A→∉B ...
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 [...] astratta di gruppo commutativo finito (un gruppo per cui AB=BA per ogni coppia di suoi elementi A e B). Anche Richard Dedekind sviluppò l'idea di gruppo astratto nel contesto della teoria di Galois. Come ha provato Purkert (1976), egli tenne alcuni ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] parte ‒ l'antinomia di Cantor del massimo cardinale, quella di Cesare Burali-Forti del massimo ordinale, l'antinomia di Jules Richard e la variante del paradosso del mentitore scoperta da Andrew C. Berry. Il fiorire di paradossi fa discutere filosofi ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] : Grothendieck, Alexander, Eléments de géométrie algébrique, Paris, Institut des Hautes Etudes Scientifiques, 1960-1970.
Guy 1994: Guy, Richard K., Gaps between primes. Twin primes, in: Unsolved problems in number theory, 2. ed., New York, Springer ...
Leggi Tutto
L'Ottocento: matematica. Babbage e le origini del calcolo automatico
John Fauvel
Babbage e le origini del calcolo automatico
Il calcolatore elettronico programmabile, nella sua forma attuale, è figlio [...] Une influence possible de John Locke, "Revue d'histoire des sciences", 43, 1990, pp. 129-180.
‒ 1996: Durand-Richard, Marie-José, L'école algébrique anglaise. Les conditions conceptuelles et institutionnelles d'un calcul symbolique comme fondement de ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] médicaux, édité par René Labat, Paris, Académie internationale d’histoire des sciences, 1951, 2 v.
Lloyd 1970: Lloyd, Geoffrey Ernest Richard, Early Greek science: Thales to Aristotle, London, Chatto & Windus, 1970.
– 1973: Lloyd, Geoffrey Ernest ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] .
– 1986: Knorr, Wilbur R., The ancient tradition of geometric problems, Boston, Birkhäuser, 1986. Lloyd 1987a: Lloyd, Geoffrey Ernest Richard, The alleged fallacy of Hippocrates of Chios, “Apeiron”, 1987, pp. 103-128.
– 1987b: Lloyd, Geoffrey Ernest ...
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 [...] and Frederic L. Holmes, New York, Scribner, 1970-1990, 18 v.
Dictionnaire des philosophes antiques, sous la direction de Richard Goulet, Paris, CNRS, 1989-.
Die Philosophie der Antike, hrsg. von Hellmut Flashar, v. 3: Ältere Akademie. Aristoteles ...
Leggi Tutto
rockumentario
s. m. Documentario cinematografico relativo a biografie e spettacoli di personaggi noti del genere musicale rock. ◆ «Ematomi», con la sigla iniziale di David Bowie, parla degli errori nel cinema, del «rockumentario» Mauri e di...
turista spaziale
loc. s.le m. e f. Chi viaggia per diporto con voli interplanetari. ◆ Una buona notizia per chi sogna di fare un giorno il turista spaziale: le autorità Usa hanno autorizzato per la prima volta una compagnia privata a effettuare...