Cerca in:
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] of sciences degli USA. Sviluppò la teoria delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Campbell Burton Howard
Dizionario delle Scienze Fisiche (1996)
Campbell Burton Howard
Campbell 〈kèmbl〉 Burton Howard [STF] (n. Hartford, Connecticut, 1880) Prof. di matematica nella Wesleyan Univ., a Middletown (1914). ◆ [PRB] Formule di C.: v. processi di punto: [...] IV 602 e ...
Leggi Tutto
Lorenz Edward Norton
Dizionario delle Scienze Fisiche (1996)
Lorenz Edward Norton
Lorenz 〈lóorenz〉 Edward Norton [STF] (n. West Hartford, Connecticut, 1917) Prof. di meteorologia nel MIT (1962). ◆ [FAF] Attrattore di L.: v. ordine: IV 309 e. ◆ [PRB] Modello, o [...] sistema, di L.: modello, originato dalla teoria delle previsioni meteorologiche, che illustra la possibilità di moti caotici: v. caos: I 495 b ...
Leggi Tutto