KLEENE, Stephen Cole

Enciclopedia Italiana - IV Appendice (1979)

KLEENE, Stephen Cole


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 Union of the history and philosophy of science. Dal 1969 è membro della National Academy of sciences degli SUA.

Ha sviluppato la teoria delle funzioni lambda-definibili e ha introdotto le funzioni parziali ricorsive, che costituiscono l'insieme (comprendente quello delle funzioni ricorsive generali) di tutte le funzioni calcolabili per tutti gli argomenti per cui sono definite. Per queste funzioni K. ha dimostrato il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale e universale) necessari per la loro definizione, gerarchia che poi ha esteso al transfinito (gerarchia aritmetica) e infine alle funzioni quantificate (gerarchia analitica). Si è anche interessato delle relazioni tra la teoria della ricorsività e l'intuizionismo, nonché di analisi intenzionista.

Opere principali: 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).

Vedi anche
Gödel, Kurt Gödel ‹ġö´ödël›, Kurt. - Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938 emigrò negli USA, di cui prese la ... Turing, Alan Mathison Turing ‹ti̯ùriṅ›, Alan Mathison. - Matematico e logico matematico britannico (Londra 1912 - Manchester 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da lui indicato per dare un significato preciso al concetto intuitivo ... relazione Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti. ● Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati di una perizia, ai lavori compiuti da una commissione, da un organo collegiale. botanica Si parla ... Cantor, Georg Cantor ‹kà-›, Georg. - Matematico tedesco (Pietroburgo 1845 - Halle 1918); prof. all'univ. di Halle dal 1872 al 1905. È stato uno dei matematici più acuti del sec. 19º, le cui idee, spesso contrastate all'inizio, hanno rivoluzionato concezioni tradizionali della matematica e della logica. Il Cantor, ...
Tag
Altri risultati per KLEENE, Stephen Cole
  • Kleene
    Enciclopedia della Matematica (2013)
    Kleene 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, 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 ...
  • Kleene Stephen Cole
    Dizionario delle Scienze Fisiche (1996)
    Kleene 〈klìin〉 Stephen Cole [STF] (n. Hartford, Connecticut, 1909) Prof. di matematica (1964) e poi anche di scienza dei calcolatori (1974) nell'univ. del Wisconsin, a Madison. ◆ [INF] Teorema di K.: v. cibernetica: I 583 b.
Vocabolario
còle-
cole- 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,...
còleo-
coleo- còleo- [dal gr. κολεός «guaina»]. – Primo elemento di parole composte della terminologia scientifica italiana e latina, che significa «guaina».