Stephen Kleene

Stephen Cole Kleene

Stephen Cole Kleene ( Hartford , 5 ianuarie 1909 - Madison , 25 ianuarie 1994 ) a fost un matematician american care a lucrat la Universitatea din Wisconsin - Madison unde a pus bazele informaticii teoretice . (În engleză se pronunță ['klej.ni] (IPA). [' Kli.ni] și [klin] sunt greșeli de ortografie extrem de frecvente).

Biografie

El a fost chiar mai bine cunoscut pentru fondarea ramurii logicii matematice cunoscută sub numele de teoria recursivă împreună cu Alonzo Church , Kurt Gödel , Alan Turing și alții și pentru inventarea expresiilor regulate. Prin furnizarea de metode pentru determinarea problemelor care pot fi rezolvate, lucrarea lui Kleene a condus la studiul carei funcții erau calculabile. Printre altele, algebra lui Kleene, steaua lui Kleene , teorema recursivă a lui Kleene și teorema punctului fix al lui Kleene au fost numite în cinstea sa. De asemenea, a contribuit la intuiționismul matematic fondat de Luitzen Egbertus Jan Brouwer . Poziția lui Kleene în logica matematică se reflectă în proverbul Kleeneliness is next to Gödeliness tra logici (un joc de cuvinte despre Curățenie este lângă evlavie ).

S-a născut în Hartford , Connecticut , SUA . A obținut licența în Arte de la Amherst College în 1930 . Din 1930 până în 1935 , a fost asistent de cercetare la Universitatea Princeton , unde și-a luat doctoratul în matematică în 1934 cu o disertație intitulată A Theory of Positive Integers in Formal Logic pregătită sub supravegherea Bisericii Alonzo . În 1935 , s-a alăturat departamentului de matematică al Universității din Wisconsin din Madison ca instructor. A devenit profesor asistent în 1937 .

Din 1939 până în 1940 , a fost un savant vizitat la Institutul de Studii Avansate de la Princeton și aici a pus bazele „ teoriei funcțiilor recursive , un domeniu care a fost interesul său de cercetare pe tot parcursul vieții. În 1941 s- a întors la Amherst ca profesor asociat de matematică. În timpul celui de-al doilea război mondial , Kleene a fost locotenent în marina americană . A fost instructor de navigație la Midshipmen's School din Rezervația Navală SUA din New York și director de proiect la Laboratorul de Cercetări Navale din Washington, DC În 1946 , s-a întors în Wisconsin , devenind profesor titular în 1948 . A ocupat catedra de matematică și informatică în 1962 și 1963 și a fost decan al Colegiului de Arte și Științe din 1969 până în 1974 . În 1964, Cyrus C. MacDuffee a fost numit profesor de matematică. S-a retras în 1979 . Alpinist, Kleene era interesat de natură și mediu și era activ în multe cauze de conservare. A condus mai multe organizații profesionale, ocupând funcția de președinte al Asociației de Logică Simbolică din 1956 până în 1958 . În 1961 a fost președinte al Uniunii Internaționale de Istorie și Filosofie a Științei. A murit în Madison , Wisconsin .

Elemente conexe

• Steaua lui Kleene (închidere)
• Teorema lui Kleene
• Teorema S mn

linkuri externe

• Stephen Kleene , pe Sapienza.it , De Agostini .
• (EN) Stephen Kleene , de la Encyclopedia Britannica , Encyclopædia Britannica, Inc.
• (EN) Stephen Kleene , de la MacTutor , Universitatea din St Andrews, Scoția.
• (EN)Stephen Kleene , de la Mathematics Genealogia Project , North Dakota State University.
• ( RO ) Lucrări de Stephen Kleene , în Biblioteca deschisă , Internet Archive .

Portal Biografii

Portalul de matematică