Kleene ‹klìin›, Stephen Cole. - 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, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessarî per la loro definizione, gerarchia che estese poi al transfinito (gerarchia aritmetica) e infine alle funzioni quantificate (gerarchia analitica). Si interessò anche delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intuizioniste. Tra le sue opere: General recursive functions of natural numbers (1936), Lambda-definability and recursiveness (1936), On the interpretations of intuitionistic number theory (1945), Introduction to metamathematics (1952), Mathematical logic (1967).
Stephen Cole (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994) matematico e logico statunitense. Membro della National Academy of Sciences statunitense e professore dal 1935 al 1979 all’università del Wisconsin, ha studiato in particolare la teoria delle funzioni ricorsive e le loro possibili ...
Kleene ‹klìin› Stephen Cole (n. Hartford, Connecticut, 1909) Prof. di matematica (1964) e poi anche di scienza dei calcolatori (1974) nell'univ. del Wisconsin, a Madison. ◆ Teorema di Kleene Stephen Cole : v. cibernetica: I 583 b.
Matematico e logico matematico americano, nato a Hartford, Connecticut, il 5 gennaio 1909. Dal 1935 professore all'università del Wisconsin, a Madison, dove è stato anche preside del dipartimento di matematica e analisi numerica. È stato presidente dell'Association for symbolic logic e della International ...
còle- (davanti a vocale còl-) [dal gr. χολή «bile»]. – Primo elemento di nomi composti della terminologia scientifica, derivati dal greco o, più spesso, formati modernamente (come coledoco, colecisti, colagogo), che significa «bile, biliare». In rari...