METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] risalto antitetico, la formulazione da parte di L. E. J. Brouwer dell'intuizionismo (o neo-intuizionismo, tenendo conto di specifici scuola (Bernays, Ackermann, vonNeumann, Herbrand, ecc.); L. E. J. Brouwer, Intuitionistische Betrachtungen über ...
Leggi Tutto
MORISHIMA, Michio
Pierluigi Sabbatini
Economista giapponese, nato a Osaka il 18 luglio 1923. Laureato nell'università di Kyoto (1946), ove ha cominciato la sua attività d'insegnamento che ha continuato [...] categorie come appunto quella di equilibrio dinamico; a questo riguardo esplicito e ricorrente è il riconoscimento per J.L. vonNeumann la cui "rivoluzione" considera importante quanto quella keynesiana.
La curiosità e l'interesse nei confronti dello ...
Leggi Tutto
WALD, Abraham
Anna Maria Ratti
Economista matematico, nato a Klausenburg (Ungheria, poi Cluj, Romania) il 31 ottobre 1902, naturalizzato americano e morto in un incidente aereo nell'India meridionale [...] dipartimento a New York.
Ha contribuito, con I. vonNeumann, a dimostrare come l'uguaglianza tra il numero delle equazioni 1951; O. Morgenstern, A. W., in Econometrica, ottobre 1951; J. Wolfowitz, A. W., in Annals of mathematical statistics, 1952; ...
Leggi Tutto
Sistemi, scienza e ingegneria dei
AArnaldo M. Angelini
di Arnaldo M. Angelini
SOMMARIO: 1. Premessa. □ 2. Considerazioni generali: a) applicazione della scienza dei sistemi agli esseri viventi; b) applicazione [...] del ‛minimax' - stabilito nel 1928 da vonNeumann - che mediante la costruzione di una matrice conduce engineering, in Cost effectiveness. The economic evaluation of engineered systems (a cura di J. M. English), New York 1968.
Klir, G. I., Trends in ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] beta-carbossilico, è scoperto dai biochimici T.H. Koch e J.J. Van Buskirk, della University of Colorado, a Fort Collins, le ricerche sugli operatori, in particolare nelle algebre di vonNeumann.
William Paul Thurston, USA, Princeton University, New ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] successivi ridotto da C.D. Pan, M. Jutila, S. Graham e J.R. Chen.
L'integrale stocastico di Itô. Il giapponese Kiyosi Itô, Wolf nel 1987.
Nasce la teoria dei giochi. Johann vonNeumann e Oskar Morgenstern pubblicano The theory of games and economic ...
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 [...] . Johnson, Richard M. Karp, Leonid A. Levin, Walter J. Savitch e altri, volte a caratterizzare la complessità di problemi di dell'informatica teorica come Alan M. Turing e John vonNeumann; tuttavia, solo alla fine degli anni Sessanta, sono ...
Leggi Tutto
Meteorologiche, previsioni
AAndrea Buzzi
di Andrea Buzzi
Meteorologiche, previsioni
sommario: 1. Cenni storici. 2. I modelli numerici di previsione e l'avvento del calcolatore elettronico. 3. L'assimilazione [...] adaptive observation targeting, in "Il nuovo cimento (Sezione C)", 2001, XXIV, 2, pp. 273-301.
Charney, J. G., Fjørtoft, R., Neumann, J. von, Numerical integration of the barotropic vorticity equation, in "Tellus", 1950, II, pp. 237-254.
De Marchi, L ...
Leggi Tutto
Complessita biologica
RRicard V. Solé
di Ricard V. Solé
Complessità biologica
sommario: 1. Introduzione. 2. Complessità e riduzionismo. 3. La complessità all'opera: le patologie complesse. 4. La complessità [...] of theoretical biology", 2002, CCXIV, pp. 405-412.
Nelson, M. E., Bower, J. M., Brain maps and parallel computers, in "Trends in neurosciences", 1990, XIII, pp. 403-408.
Neumann, J. von, The theory of self-reproducing automata (a cura di A. W. Burks ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] elettrici. Nel 1945 il matematico John vonNeumann formalizza l’architettura dei computer moderni nella - Findlay, William, Programming language design concepts, Hoboken (N.J.), Wiley, 2004.
Wexelblat 1981: History of programming languages, edited ...
Leggi Tutto