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, 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).

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 ... Hilbert, David Hilbert ‹hìlbërt›, David. - Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H. Minkowski, suo condiscepolo. Dal 1895 al ... ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della ricorsivita, o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo. 1. Teoria della ricorsività La motivazione originaria per lo studio della ricorsivita ... matematica Insieme delle scienze che studiano in modo ipotetico-deduttivo entità astratte come i numeri e le misure: la matematica pura studia i problemi matematici indipendentemente dalla loro utilizzazione pratica; alla matematica applicata compete l’elaborazione di strumenti e modelli adatti agli scopi di altre ...
Categorie
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
    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.
  • KLEENE, Stephen Cole
    Enciclopedia Italiana - IV Appendice (1979)
    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 ...
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».