21. References For Kleene References for stephen C kleene. Biography in Encyclopaedia Britannica. ArticlesA biographical sketch of stephen C kleene, The kleene Symposium, Stud. http://www-gap.dcs.st-and.ac.uk/~history/References/Kleene.html

References for Stephen C Kleene Biography in Encyclopaedia Britannica. Articles: A biographical sketch of Stephen C Kleene, The Kleene Symposium, Stud. Logic Foundations Math (Amsterdam-New York, 1980), vii-ix. J E Keisler, Stephen Cole Kleene 1909-1994, Notices Amer. Math. Soc. S Mac Lane, Stephen Cole Kleene-a reminiscence, Dedicated to the late Stephen Cole Kleene, Ann. Pure Appl. Logic Ph.D students of Stephen C Kleene, The Kleene Symposium, Stud. Logic Foundations Math (Amsterdam-New York, 1980), xvii. J R Shoenfield, The mathematical work of S C Kleene. Bull, Symbolic Logic The bibliography of Stephen C Kleene, The Kleene Symposium, Stud. Logic Foundations Math (Amsterdam-New York, 1980), xii-xvi. Main index Birthplace Maps Biographies Index History Topics ... Anniversaries for the year JOC/EFR December 1996 School of Mathematics and Statistics University of St Andrews, Scotland The URL of this page is: http://www-history.mcs.st-andrews.ac.uk/history/References/Kleene.html

22. Stephen Kleene From FOLDOC kleene, stephen Cole . stephen kleene. person Professor stephenCole kleene (190901-05 - 1994-01-26) /steev'n (kohl) klay'nee http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Kleene, Stephen Cole

23. Stephen Cole Kleene stephen Cole kleene (pronounced "KLAYnee") was born on January 5, 1909 in Hartford, Connecticut. http://www.library.wisc.edu/libraries/Math/kleene.htm

Bibliography of works by and about Kleene can be found here. The Stephen Cole Kleene Mathematics Library Stephen Cole Kleene On Friday, May 14, 1999, our library was renamed the Stephen Cole Kleene Mathematics Library. Stephen Cole Kleene (pronounced "KLAY-nee") was born on January 5, 1909 in Hartford, Connecticut. He received a Bachelor of Arts degree from Amherst College in 1930, and a Ph.D. from Princeton University in 1934 under the tutelage of Alonzo Church. He joined the Wisconsin faculty in 1935 as an Instructor and in 1937 was promoted to assistant professor. During the next several years he spent time at the Institute for Advanced Study in Princeton, taught at Amherst College, and served in the U.S. Navy, earning the rank of lieutenant commander during World War II. He returned to Madison in 1946, was promoted to full professor in 1948, and remained on the faculty for the remainder of his career. He became the Cyrus Colton MacDuffee Professor of Mathematics in 1964 and retired from that position and the University of Wisconsin - Madison in 1979. He was professor emeritus until his death on January 25, 1994. Steve Kleene built a widely acclaimed logic group in the Mathematics Department at the University of Wisconsin - Madison. He served as Chair of the Mathematics Department from 1957 to 1958 and again from 1960 to 1962; and he served as Chair of the Department of Numerical Analysis (now Computer Sciences) from 1962 to 1963. Steve was the driving force behind the building of Van Vleck Hall, dedicated in 1963. From 1966 to 1967, he was Acting Director of the Mathematics Research Center. He was Dean of the College of Letters and Science from 1969 to 1974.

24. Stephen Kleene Presebla versio. stephen kleene. El Vikipedio, la libera enciklopedio. http://burks.bton.ac.uk/burks/foldoc/86/111.htm

The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: Stephen Jobs Next: Stepstone Corp Stephen Kleene person 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.

25. Philosophenlexikon.de kleene, stephen Cole;Kleiner, Julisz; Kleinpeter, Hans; Kleitomachos; Kleobuline von Rhodos; http://www.philosophenlexikon.de/index-kk.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 Philosophen und Logiker [a] [b] [c] [d] ... [z] K Kaila, Eino Kalicki, Jan Kammermeister, Joachim Kant, Immanuel ... Kurylowicz, Jerzy powered by Uwe Wiedemann

26. Stephen Kleene From FOLDOC kleene, stephen Cole . 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?Kleene, Stephen Cole

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

28. Kleene, Stephen Cole doc.ic.ac.uk/) is edited by Denis Howe dbh@doc.ic.ac.uk . PreviousKLB Next kleene closure. kleene, stephen Cole. stephen kleene. http://burks.brighton.ac.uk/burks/foldoc/90/63.htm

The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: KLB Next: Kleene closure Kleene, Stephen Cole Stephen Kleene

29. Stephen Kleene Previous stephen Jobs Next Stepstone Corp. stephen kleene. person Professor stephen Cole kleene (190901-05 - 1994-01-26) /steev http://burks.brighton.ac.uk/burks/foldoc/86/111.htm

The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: Stephen Jobs Next: Stepstone Corp Stephen Kleene person 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.

30. Atlantis Institute Of Science - Search Results Atlantis Institute of Science, 1 records found Search took 0.00 sec. Introductionto metamathematics / kleene, stephen Cole Detailed record Mark record. http://cdsware.cern.ch/cgi-bin/DEMO/search?f=author&p=Kleene, Stephen Cole

31. Stephen Cole Kleene From FOLDOC kleene, stephen Cole . stephen Cole kleene. person /klee'nee/An American mathematician who lived 1909-1994 and is well-known http://saturn.cs.unp.ac.za/foldoc/foldoc.cgi?Kleene, Stephen Cole

32. Stephen Cole Kleene The stephen Cole kleene Mathematics Library. stephen Cole kleene. On Friday, May14, 1999, our library was renamed the stephen Cole kleene Mathematics Library. http://math.library.wisc.edu/kleene.htm

Bibliography of works by and about Kleene can be found here. The Stephen Cole Kleene Mathematics Library Stephen Cole Kleene On Friday, May 14, 1999, our library was renamed the Stephen Cole Kleene Mathematics Library. Stephen Cole Kleene (pronounced "KLAY-nee") was born on January 5, 1909 in Hartford, Connecticut. He received a Bachelor of Arts degree from Amherst College in 1930, and a Ph.D. from Princeton University in 1934 under the tutelage of Alonzo Church. He joined the Wisconsin faculty in 1935 as an Instructor and in 1937 was promoted to assistant professor. During the next several years he spent time at the Institute for Advanced Study in Princeton, taught at Amherst College, and served in the U.S. Navy, earning the rank of lieutenant commander during World War II. He returned to Madison in 1946, was promoted to full professor in 1948, and remained on the faculty for the remainder of his career. He became the Cyrus Colton MacDuffee Professor of Mathematics in 1964 and retired from that position and the University of Wisconsin - Madison in 1979. He was professor emeritus until his death on January 25, 1994. Steve Kleene built a widely acclaimed logic group in the Mathematics Department at the University of Wisconsin - Madison. He served as Chair of the Mathematics Department from 1957 to 1958 and again from 1960 to 1962; and he served as Chair of the Department of Numerical Analysis (now Computer Sciences) from 1962 to 1963. Steve was the driving force behind the building of Van Vleck Hall, dedicated in 1963. From 1966 to 1967, he was Acting Director of the Mathematics Research Center. He was Dean of the College of Letters and Science from 1969 to 1974.

33. Kleene Mathematics Library At The University Of Wisconsin-Madison The stephen Cole kleene Mathematics Library. (For information on kleene,click here.). The library offers a large collection of journals http://math.library.wisc.edu/

The Stephen Cole Kleene Mathematics Library For information on Kleene, click here The library offers a large collection of journals and texts, some of which are on reserve . Not all loan policies are the same for each item, so check your due dates! We are part of the greater University of Wisconsin Libraries . You can request an Interlibrary Loan or Library Express If you have any problems doing this, our staff can assist you. MathSciNet Jahrbuch Project EULER Web of Science ... Worldcat Kleene Math Library B224 Van Vleck Hall - 480 Lincoln Dr. - Madison, WI mathlib@library.wisc.edu Last site update December 27, 2000.

34. Nat'l Academies Press, Biographical Memoirs V.75 (1998), Stephen Cole Kleene los alamos laboratory, total cross section, sitz preuss akad, fast neutrons phys,theory blocks characters, math soc, COLE kleene, stephen COLE, finite types http://www.nap.edu/books/0309062950/html/154.html

Biographical Memoirs V.75 National Academy of Sciences ( NAS Related Books Openbook Linked Table of Contents Front Matter, pp. i-iv Contents, pp. v-vii Henry Herman Barschall, pp. 2-23 Paul Doughty Bartlett, pp. 24-37 Richard Barry Bernstein, pp. 38-57 Norris E. Bradbury, pp. 58-69 Richard Dagobert Brauer, pp. 70-95 Melvin Calvin, pp. 96-115 Hallowell Davis, pp. 116-137 Carl Barton Huffaker, pp. 138-153 Stephen Cole Kleene, pp. 154-163 Robert B. Leighton, pp. 164-189 Joseph Carl Robnett Licklider, pp. 190-213 Otto E. Neugebauer, pp. 214-239 Everett C. Olson, pp. 240-263 Isadore Perlman, pp. 264-287 Roger Randall Dougan Revelle, pp. 288-309 Bruno Benedetto Rossi, pp. 310-341 Francis Otto Schmitt, pp. 342-355 James Augustine Shannon, pp. 356-379 Carl Richard Soderberg, pp. 380-403 William S. Vickrey, pp. 404-424 THIS PAGE You may want to explore these Related Books Openbook Linked Table of Contents Front Matter, pp. i-iv Contents, pp. v-vii Henry Herman Barschall, pp. 2-23 Paul Doughty Bartlett, pp. 24-37 Richard Barry Bernstein, pp. 38-57 Norris E. Bradbury, pp. 58-69

35. LinuxGuruz Foldoc Page Affordable Web Hosting. Cheap Web Hosting. Was our site helpfull? Wantto make a donation? $. LinuxGuruz Foldoc. stephen kleene. person http://foldoc.linuxguruz.org/foldoc.php?Stephen Kleene

36. LinuxGuruz Foldoc Page Affordable Web Hosting. Cheap Web Hosting. Was our site helpfull? Want to makea donation? $. LinuxGuruz Foldoc. stephen Cole kleene . stephen kleene. http://foldoc.linuxguruz.org/foldoc.php?Stephen Cole Kleene

37. DBLP: Stephen Cole Kleene dblp.unitrier.de stephen Cole kleene. List of publications from the DBLP BibliographyServer - FAQ 1979. 2, stephen Cole kleene Algorithms in various contexts. http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/Kleene:Stephen_Cole.

Stephen Cole Kleene List of publications from the DBLP Bibliography Server FAQ Ask others: ACM CiteSeer CSB Google ... "Home Page Search" Engine Stephen Cole Kleene: Algorithms in various contexts. Algorithms in Modern Mathematics and Computer Science 1979 Stephen Cole Kleene: Origins of Recursive Function Theory. FOCS 1979 DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Fri Mar 28 15:24:21 2003

38. Author-Index Kleeman, Lindsay; kleene, stephen Cole; Kleer, Johan de; Kleese, K http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/A854.html

Author-Index previous page index root Kato, Atsuo Kato, D. ... index root DBLP: [ Home Author Title Conferences ... Michael Ley (ley@uni-trier.de) Fri Mar 28 15:24:21 2003

39. Obituario Matemático 1992 - 1994, Parte I: Stephen Kleene Translate this page Lecturas Matemáticas. Obituario matemático 1992 - 1994, Parte I. StephenKleene, 1909 - 1994. Figura prominente de la lógica matemática http://www.icfes.gov.co/socolmat/revistas/lecturas/kleene.html

Lecturas Matemáticas Obituario matemático 1992 - 1994, Parte I Stephen Kleene, 1909 - 1994 Figura prominente de la lógica matemática, introdujo los conceptos básicos de la teoría de las funciones recursivas y demostró sus teoremas fundamentales S C K LEENE fue uno de los más brillantes lógicos matemáticos de este siglo. Alumno de A C HURCH en Princeton entre 1930 y 1934, K LEENE fue posteriormente profesor en la Universidad de Wisconsin, en Madison (1935-79), donde impulsó un interés pionero por la lógica matemática como disciplina reconocida de investigación, interés que ha caracterizado al Departamento de Matemáticas de Wisconsin hasta hoy. K LEENE dirigió trece tesis de doctorado, fue presidente de la Association for Symbolic Logic y editor de su revista, el Journal of Symbolic Logic , durante doce años. En 1990 se le otorgó la National Medal of Science , la condecoración científica más alta de los Estados Unidos. K LEENE fue el principal creador de la teoría de funciones recursivas. En lo que ha sido denominado el milagroso año de 1936, confluyeron varias aproximaciones equivalentes (debidas a K LEENE

40. Stephen Cole Kleene, January 5, 1909—January 25, 1994 | By Saunders Mac Lane | Photo by Harold N. Hone, Madison, Wisconsin, stephen Cole KleeneJanuary 5, 1909 — January 25, 1994 By Saunders Mac Lane. STEVE http://stills.nap.edu/html/biomems/skleene.html

BIOGRAPHICAL MEMOIRS National Academy of Sciences Photo by Harold N. Hone, Madison, Wisconsin Stephen Cole Kleene By Saunders Mac Lane STEVE KLEENE, A YANKEE from Maine, became a pioneer mathematical logician. His clear, precise ideas developed the modern study of computable functions and of automata. He was also a devoted mountaineer. Kleene was born in 1909 in Hartford, Connecticut, but his real home was his paternal grandfather's farm in Union, Maine. In 1930 Kleene graduated summa cum laude from Amherst College. He had become fascinated with mathematics, and he went to Princeton University for graduate study in that subject. At Princeton, the mathematician Oswald Veblen had understood that the development of logic required careful analysis by mathematicians. His student Alonzo Church joined the Princeton faculty and initiated the mathematical and logical study of those functions that are "computable." For this purpose Church devised his so-called lambda calculus, which provided the names for all functions. For example, the notation x x + 1) with the Greek letter lambda names the function that sends each number x to its square plus 1, and likewise with other functions. Church developed this calculus as a new formal foundation for all of mathematics. Kleene and his fellow student Barkley Rosser studied it with care, and presently found that it led to a contradiction.

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 2     21-40 of 95    Back | 1  | 2  | 3  | 4  | 5  | Next 20