1. Kleene, Stephen Cole Stephen Cole Kleene was born on January 5, 1909 in Hartford, Connecticut. He received his Ph.D. from Princeton University in 1934. He taught at the University of Wisconsin, Madison from 1935 until 1979. http://www.cs.auc.dk/~luca/FS2/kleene-britannica.html

New Search : Articles Index Dictionary Kleene , Stephen Cole (b. Jan. 5, 1909, Hartford, Conn., U.S.d. Jan. 25, 1994, Madison, Wis.), American mathematician and logician whose work on recursion theory helped lay the foundations of theoretical computer science. Kleene was educated at Amherst College (A.B., 1930) and earned a Ph.D. in mathematics at Princeton University in 1934. After teaching briefly at Princeton, he joined the University of Wisconsin at Madison as an instructor in 1935 and became a full professor there in 1948. He retired in 1979. Kleene 's research was devoted to the theory of algorithms and recursive functions ( i.e., functions defined in a finite sequence of combinatorial steps). Kleene recursion theory, which made it possible to prove whether certain classes of mathematical problems are solvable or unsolvable. Recursion theory in turn led to the theory of computable functions, which governs those functions that can be calculated by a digital computer. Kleene was the author of Introduction to Metamathematics (1952) and Mathematical Logic Related Propaedia Topics: Computer science

2. Kleene Stephen Cole Kleene. Born 5 Jan 1909 in Stephen C Kleene studiedfor his first degree at Amherst College. He went on to receive http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html

Stephen Cole Kleene Born: 5 Jan 1909 in Hartford, Connecticut, USA Died: 25 Jan 1994 in Madison, Wisconsin, USA Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Stephen C Kleene studied for his first degree at Amherst College. He went on to receive a doctorate from Princeton University in 1934, supervised by Church , for a thesis entitled A Theory of Positive Integers in Formal Logic. Then Kleene taught at Princeton until he joined the University of Wisconsin at Madison in 1935. He became a full professor at the University of Wisconsin at Madison in 1948 and remained on the staff there until he retired in 1979. Kleene's research was on the theory of algorithms and recursive functions. He developed the field of recursion theory with Church Turing and others. He contributed to mathematical Intuitionism which had been founded by Brouwer His work on recursion theory helped to provide the foundations of theoretical computer science. By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions can be computed. At a lecture in the University of Chicago in 1995

3. Stephen Kleene From FOLDOC Stephen Kleene. person Professor Stephen Cole Kleene (190901-05- 1994-01-26) /steev'n (kohl) klay'nee/ An American mathematician http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Stephen Kleene

4. Stephen Kleene From FOLDOC Stephen Cole Kleene . Stephen Kleene. person Professor StephenCole Kleene (190901-05 - 1994-01-26) /steev'n (kohl) klay'nee http://csai03.is.noda.sut.ac.jp/foldoc/foldoc.cgi?Stephen Cole Kleene

5. Stephen Kleene From FOLDOC Stephen Cole Kleene . Stephen Kleene. person Professor StephenCole Kleene (190901-05 - 1994-01-26) /steev'n (kohl) klay'nee http://www.instantweb.com/foldoc/foldoc.cgi?Stephen Cole Kleene

6. Stephen Cole Kleene From FOLDOC Stephen Cole Kleene. person /klee'nee/ An American mathematician wholived 1909-1994 and is well-known for inventing regular expressions. http://saturn.cs.unp.ac.za/foldoc/foldoc.cgi?Stephen Cole Kleene

7. Stephen Cole Kleene - Wikipedia Stephen Cole Kleene. (Redirected from Stephen Kleene). Stephen Cole Kleene(January 5, 1909 January 25, 1994) was an American mathematician http://www.wikipedia.org/wiki/Stephen_Kleene

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Stephen Cole Kleene (Redirected from Stephen Kleene Stephen Cole Kleene January 5 January 25 ) was an American mathematician whose work at the University of Wisconsin - Madison helped lay the foundations for theoretical computer science . Kleene was best known for founding the branch of mathematical logic known as recursion theory together with Alonzo Church Alan Turing and others; and for inventing regular expressions . By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions are computable . The Kleene star Kleene's recursion theorem and the Ascending Kleene Chain are named after him. He also contributed to

8. Stephen Cole Kleene - Wikipedia Stephen Cole Kleene. (Redirected from SC Kleene). Stephen Cole Kleene(January 5, 1909 January 25, 1994) was an American mathematician http://www.wikipedia.org/wiki/S._C._Kleene

Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help Stephen Cole Kleene (Redirected from S. C. Kleene Stephen Cole Kleene January 5 January 25 ) was an American mathematician whose work at the University of Wisconsin - Madison helped lay the foundations for theoretical computer science . Kleene was best known for founding the branch of mathematical logic known as recursion theory together with Alonzo Church Alan Turing and others; and for inventing regular expressions . By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions are computable . The Kleene star Kleene's recursion theorem and the Ascending Kleene Chain are named after him. He also contributed to

9. Stephen KLEENE - Vikipedio Stephen KLEENE. El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj Stephen kleene stephen Cole KLEENE (19091994 http://eo.wikipedia.org/wiki/Stephen_KLEENE

Vikipedio Ĉefpaĝo Enkonduko Helpo ... Ensalutu La Libera Enciklopedio Presebla versio Stephen KLEENE El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj > Stephen KLEENE Stephen Cole KLEENE ) estis usona matematikisto kies laboro pri komputebleco provizas la fundamenton de teoria komputiko Kleen naskiĝis en Hartford Konetikuto . Li dokotoriĝis ĉe la Universitato Princeton en . Lia tez-direktoro estis Alonzo CHURCH kaj la titolo de lia tezo estis Teorio de Pozitivaj Intjeroj en Formala Logiko . Poste, Kleene instruis ĉe la universitato ĝis li membriĝis la fakultaton de la Universitato de Viskonsino en . Li fariĝis plena profesoro en kaj restis tie ĝi emeritiĝo en La esplorado de Kleene temis pri la teorio de algoritmoj kaj rekursiaj funkcioj . Li disvolvis la fakon de la teorio de rekursio kun Alonzo CHURCH Kurt GOEDEL Alan TURING , kaj aliaj. Li kontribuis al matematika Intuiciismo kiun fondis Luitzen BROUWER Lia laboro pri la teorio de rekursio helpis provizi la bazojn de teoria komputiko. Per provizi metodojn por determini kiuj problemoj estas solveblaj, lia laboro kondukis al la studado de kiuj funkcioj povas esti komputitaj. La plej konataj libroj de Kleene estas (en la angla) Enkonduko al Matematiko ) kaj Matematika Logiko Redaktu la paĝon Diskutu la paĝon Malnovaj versioj Ligiloj ĉi tien ... Pri Vikipedio Trovu: Montrita 35-foje. Laste redaktita je 10:12, 15. Nov 2002. La enhavo de Vikipedio disponeblas laŭ permesilo

10. Stephen Kleene Stephen Kleene. Stephen Cole Kleene was born on January 5, 1909 in Hartford,Connecticut. He received his Ph.D. from Princeton University in 1934. http://www.student.math.uwaterloo.ca/~cs462/Hall/kleene.html

Stephen Kleene Stephen Cole Kleene was born on January 5, 1909 in Hartford, Connecticut. He received his Ph.D. from Princeton University in 1934. He taught at the University of Wisconsin, Madison from 1935 until 1979. Kleene worked in mathematical logic, particularly in recursion theory. In a 1956 paper, Kleene introduced the notion of regular expression, and proved that the languages specified by regular expressions and the languages generated by finite automata constituted the same class, a basic result today known as Kleene's Theorem. Kleene wrote two books, one of which was Introduction to Metamathematics (North-Holland, 1952). Kleene died in Madison, Wisconsin on January 25, 1994. Sources S. C. Kleene, "Representation of events in nerve nets and finite automata", in C. E. Shannon and J. McCarthy, eds., Automata Studies , Annals of Mathematics Studies No. 34, Princeton University Press, 1956, pp. 3-42. Back to Theory of Computing Hall of Fame Main Page Back to CS 462 home page cs462@descartes September 10 1997

11. Stephen Cole Kleene stephen cole kleene. From The Free Online Dictionary of Computing (09FEB 02). Stephen Cole kleene stephen Kleene. 1 definition found. http://stephen.cole.kleene.word.sytes.net/

stephen cole kleene From The Free On-line Dictionary of Computing (09 FEB 02) Stephen Cole Kleene Stephen Kleene 1 definition found Dictionary sytes.org word@sytes.org

12. Editions Jacques Gabay - Stephen C. KLEENE Translate this page Recherche Aide. Divers Actualités Contacts, Stephen C. KLEENE. StephenC. KLEENE. 1909 - 1994. Au catalogue des Editions Jacques Gabay http://www.gabay.com/sources/Liste_Bio.asp?NP=KLEENE Stephen C.

13. Editions Jacques Gabay - Index Des Auteurs Translate this page Auteurs - Lettre K. A B C D E F G H J K L M N O P Q R S T U V W Z. KAMKE Erich.kleene stephen C. KLEIN Félix. KLEIN N. Th. KNESER Adolf. KOENIGS Gabriel. http://www.gabay.com/sources/Liste_Auteurs.asp?Lettre=K

14. Stephen Kleene stephen kleene. From The Free Online Dictionary of Computing (09 FEB02). Stephen Kleene person Professor Stephen Cole Kleene (1909 http://stephen.kleene.word.sytes.net/

stephen kleene From The Free On-line Dictionary of Computing (09 FEB 02) Stephen Kleene University of Wisconsin-Madison helped lay the foundations for modern computer science. Kleene was best known for founding the branch of mathematical logic known as recursion theory and for inventing regular expressions . The Kleene star and Ascending Kleene Chain are named after him. Kleene was born in Hartford, Conneticut, USA. He received his bachelor of arts degree from Amherst College in 1930. From 1930 to 1935, he was a graduate student and research assistant at Princeton University where he received his doctorate in mathematics in 1934. In 1935, he joined UW-Madison mathematics department as an instructor. He became an assistant professor in 1937. From 1939 to 1940, he was a visiting scholar at Princeton's Institute for Advanced Study where he laid the foundation for recursive function theory, an area that would be his lifelong research interest. In 1941 he returned to Amherst as an associate professor of mathematics. During World War II Kleene was a lieutenant commander in the United States Navy. He was an instructor of navigation at the U.S. Naval Reserve's Midshipmen's School in New York, and then a project director at the Naval Research Laboratory in Washington, D.C. In 1946, he returned to Wisconsin, eventually becoming a full professor. He was chair of mathematics, and computer sciences in 1962 and 1963 and dean of the College of Letters and Science from 1969 to 1974. In 1964 he was named the Cyrus C. MacDuffee professor of mathematics. An avid mountain climber, Kleene had a strong interest in nature and the environment and was active in many conservation causes. He led several professional organisations, serving as president of the

15. Stephen Kleene - Acapedia - Free Knowledge, For All Friends of Acapedia Stephen Cole Kleene. (Redirected from StephenKleene). Stephen Cole Kleene (January 5, 1909 January 25, 1994 http://acapedia.org/aca/Stephen_Kleene

var srl33t_id = '4200';

16. Dictionary Definition Of "Stephen Cole Kleene" Home Customer Support Center Dictionary Definition of Stephen Cole Kleene .Stephen Cole kleene stephen Kleene This document appears courtesy of FOLDOC. http://hostingworks.com/support/dict.phtml?foldoc=Stephen Cole Kleene

17. BIBLIO Klahr David, PRODUCTION SYSTEM MODELS OF LEARNING AND DEVELOPMENT, MIT Press,1987, kleene stephen, INTRODUCTION TO METAMATHEMATICS, NorthHolland, 1964, http://lorien.die.upm.es/~macias/doc/pubs/aircenter99/www.aircenter.net/tk.html

CONSCIOUS UNIVERSE Springer Verlag Kaku Michio HYPERSPACE Oxford University Press Kandell Abraham FUZZY MATHEMATICAL TECHNIQUES Addison Wesley Kanerva Pentti SPARSE DISTRIBUTED MEMORY MIT Press Kaplan David THEMES FROM KAPLAN Oxford Univ Press Karmiloff-Smith Annette BEYOND MODULARITY MIT Press Katz Jerrold THE METAPHYSICS OF MEANING MIT Press Katz Jerrold AN INTEGRATED THEORY OF LINGUISTIC DESCRIPTIONS MIT Press Katz Jerrold THE PHILOSOPHY OF LANGUAGE Katz Jerrold SEMANTIC THEORY INTRODUCTION TO FUZZY ARITHMETICS Van Nostrand Reinhold Kauffman Stuart THE ORIGINS OF ORDER Oxford University Press Kauffman Stuart AT HOME IN THE UNIVERSE Oxford Univ Press Kaye Jonathan PHONOLOGY Lawrence Erlbaum INTRODUCTION TO COMPUTATIONAL LEARNING THEORY MIT Press Keil Frank SEMANTIC AND CONCEPTUAL DEVELOPMENT Harvard Univ Press Keil Frank CONCEPTS, KINDS AND COGNITIVE DEVELOPMENT Cambridge University Press DYNAMIC PATTERNS IN COMPLEX SYSTEMS World Scientific Kelso Scott DYNAMIC PATTERNS MIT Press Kessel Frank SELF AND CONSCIOUSNESS Lawrence Erlbaum Kim Jaegwon SUPERVENIENCE AND MIND Cambridge University Press Kirkham Richard THEORIES OF TRUTH MIT Press Kitchener Robert PIAGET'S THEORY OF KNOWLEDGE Yale University Press Kittay Eva METAPHOR Clarendon Press Klahr David PRODUCTION SYSTEM MODELS OF LEARNING AND DEVELOPMENT MIT Press Kleene Stephen INTRODUCTION TO METAMATHEMATICS North-Holland Kodratoff Yves INTRODUCTION TO MACHINE LEARNING Morgan Kaufman Klopf Harry THE HEDONISTIC NEURON Hemisphere

18. Stephen Cole Kleene This is the home page for the kleene Mathematics Library at the University of WisconsinMadison. The stephen Cole kleene Mathematics Library http://www.philosophenlexikon.de/kleene.htm

Begriffe Abaelard - Ayer Baader - Byron Cabanis - Czezowski Ebbinghaus - Ewald ... Geschichte der Philosophie Diskussion PhilTalk Philosophieforen Andere Lexika PhilLex -Lexikon der Philosophie Lexikon der griechischen Mythologie PhiloThek Bibliothek der Klassiker Zeitschriftenlesesaal Nachschlagewerke Allgemeine Information ... Dokumentenlieferdienste Spiele Philosophisches Galgenraten PhilSearch.de Shops PhiloShop PhiloShirt Service Kontakt Impressum eMail Stephen Cole Kleene (1909 - 1994) Der amerikanische Mathematiker und Logiker Stephen Cole Kleene studierte auf dem Amherst College und promovierte 1934 an der Princeton University bei Church Mostowski benannte Hierarchie der arithmetischen Mengen und behandelte Probleme der klassischen Interpretation der intuitionistischen Logik und Mathematik. Seine Anwendung der dreiwertigen Logik auf mathematische Probleme partieller Funktionen mehrwertigen Logik . Bei Kleene steht der dritte Wahrheitswert , die und eine Implikation die in folgender Tabelle dargestellt ist: seq Kleene, S. C.: On notation for ordinal numbers. Journal Symbolic Logic powered by Uwe Wiedemann

19. Encyclopædia Britannica Encyclopædia Britannica. kleene, stephen Cole. Encyclopædia Britannica Article http://www.britannica.com/eb/article?eu=1458

20. Kleene Biography of stephen C kleene (19091994) stephen Cole kleene. Born 5 Jan 1909 in Hartford, Connecticut, USA http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html

Stephen Cole Kleene Born: 5 Jan 1909 in Hartford, Connecticut, USA Died: 25 Jan 1994 in Madison, Wisconsin, USA Click the picture above to see a larger version Show birthplace location Previous (Chronologically) Next Biographies Index Previous (Alphabetically) Next Main index Stephen C Kleene studied for his first degree at Amherst College. He went on to receive a doctorate from Princeton University in 1934, supervised by Church , for a thesis entitled A Theory of Positive Integers in Formal Logic. Then Kleene taught at Princeton until he joined the University of Wisconsin at Madison in 1935. He became a full professor at the University of Wisconsin at Madison in 1948 and remained on the staff there until he retired in 1979. Kleene's research was on the theory of algorithms and recursive functions. He developed the field of recursion theory with Church Turing and others. He contributed to mathematical Intuitionism which had been founded by Brouwer His work on recursion theory helped to provide the foundations of theoretical computer science. By providing methods of determining which problems are soluble, Kleene's work led to the study of which functions can be computed. At a lecture in the University of Chicago in 1995

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 1     1-20 of 95    1  | 2  | 3  | 4  | 5  | Next 20