Home  - Scientists - Kleene Stephen

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

21-40 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20

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

Kleene Stephen:     more books (25)

Intuitionism (Deductive): Intuitionism, Stephen Cole Kleene, Intuitionistic Logic, Luitzen Egbertus Jan Brouwer, Brouwer-hilbert Controversy Personnalité En Méthodes Formelles: Donald Knuth, Jonathan Bowen, Stephen Cole Kleene, Joseph Sifakis, Robert Floyd, Patrick Cousot (French Edition) People From Hartford, Connecticut: Katharine Hepburn, Stephen Cole Kleene, Barbara Mcclintock, Frederick Law Olmsted, Jeannine Taylor The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions (Studies in Logic and the Foundations of Mathematics) by Stephen Cole Kleene, R.E. Vesley, 1965 Introduction to Mathematics (The University Series In Higer Mathematics) by Stephen Cole Kleene, 1962 Sets, logic, and mathematical foundations: A summer institute for teachers of secondary and college mathematics sponsored by the National Science Foundation by Stephen Cole Kleene, 1956 Permutability of inferences in Gentzen's calculi LK and LJ (Memoirs of the American Mathematical Society) by Stephen Cole Kleene, 1967 THE FOUNDATIONS OF INTUITIONISTIC MATHEMATICS. Especially in Relation to Recursive Functions. A Volume in Studies in Logic and The Foundations of Mathematics. by Stephen Cole and Richard Eugene Vesley. KLEENE, 1965 Mathematical logic: Course I, N.S.F. Summer Institute, Bowdoin College, 1961. Notes on lectures by Stephen Cole Kleene, 1961 Recursive predicates and quantifiers by Stephen Cole Kleene, 1943

lists with details

21. Wikinfo | Stephen Kleene
    Stephen Kleene. References. Adapted from the Wikipedia article, StephenKleene http//en.wikipedia.org/wiki/Stephen_Kleene January 4, 2004.  
    http://www.internet-encyclopedia.org/wiki.php?title=Stephen_Kleene

22. 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://foldoc.hld.c64.org/foldoc.cgi?Stephen Kleene

23. Kleene
    Biography of stephen C kleene (19091994) stephen Cole kleene. Born 5 Jan 1909 in Hartford, Connecticut, USA stephen C kleene studied for his first degree at Amherst College  
    http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Kleene.html
    
    Extractions: 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

24. 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
    
    Extractions: 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

25. Kleene, Stephen Cole
    LinuxGuruz Foldoc. kleene, stephen Cole stephen kleene person Professor stephen Cole kleene (190901-05 - 1994-01-26) /steev'n (kohl) klay'nee/ An American mathematician  
    http://www.linuxguruz.org/foldoc/foldoc.php?Kleene, Stephen Cole

26. Kleene, Stephen Cole Definition Of Kleene, Stephen Cole In Computing. What Is Kl
    Computer term of kleene, stephen Cole in the Computing Dictionary andThesaurus. Provides search by definition of kleene, stephen Cole.  
    http://computing-dictionary.thefreedictionary.com/Kleene, Stephen Cole

27. Kleene Mathematics Library At The University Of Wisconsin-Madison
    This is the home page for the kleene Mathematics Library at the University of WisconsinMadison. The stephen Cole kleene Mathematics Library About S. C. kleene) The library offers a large collection of journals and texts, some of which are on reserve  
    http://www.library.wisc.edu/libraries/Math
    
    Extractions: About S. C. Kleene 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

28. Stephen Cole Kleene --  Encyclopædia Britannica
    Cite this article. stephen Cole kleene. born Jan. 5, 1909, Hartford, Conn MLA style " stephen Cole kleene." Encyclopædia Britannica. 2004  
    http://www.britannica.com/eb/article?eu=1458

29. KLEENE, STEPHEN COLE - Meaning And Definition Of The Word
    Search Dictionary kleene, stephen COLE Dictionary Entry and Meaning. ComputingDictionary. Definition stephen kleene. COPYRIGHT © 20002003 WEBNOX CORP.  
    http://www.hyperdictionary.com/computing/kleene, stephen cole

30. Computer Dictionary - K-3
    kilobit kilobits per second kilobyte kiloflops kiosk kips kis kiss, kiss principlekit kl0 kl1 klamath klb kleene closure kleene star kleene, stephen cole.  
    http://www.hyperdictionary.com/dict-f/k-3.html

31. Books By Stephen Kleene At Walmart.com - Every Day Low Prices
    Find books written by stephen kleene. Select from 1000's of books at Walmart.com, we have a great selection of highquality merchandise, friendly service and, of course, Every Day Low Prices. Gift  
    http://rdre1.inktomi.com/click?u=http://na.link.decdna.net/n/3532/4200/www.walma

32. Stephen Kleene From FOLDOC
    Free Online Dictionary of Computing. kleene, stephen Cole . stephenkleene. person Professor stephen Cole kleene (1909-01-05  
    http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Kleene, Stephen Cole

33. Stephen Cole Kleene
    The stephen Cole kleene Mathematics Library. On Friday, May 14, 1999, our library was renamed the stephen Cole kleene Mathematics Library. stephen Cole kleene (pronounced "KLAYnee") was born on January 5, 1909 in Hartford, Connecticut.  
    http://www.library.wisc.edu/libraries/Math/kleene.htm
    
    Extractions: Bibliography of works by and about Kleene can be found here. 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.

34. Kleene, Stephen Cole
    New Search Articles. Home Help Index On/Off kleene, StephenCole. (b. Jan. 5, 1909, Hartford, Conn., USd. Jan.  
    http://www.cs.auc.dk/~luca/FS2/kleene-britannica.html

35. Nat'l Academies Press, Biographical Memoirs V.75 (1998), Stephen Cole Kleene
    The ~ 954 joint paper of kleene en c Carl Barton Huffaker, pp. 138153. stephen Cole kleene, pp. 154-163 Carl Barton Huffaker, pp. 138-153. stephen Cole kleene, pp. 154-163  
    http://www.nap.edu/books/0309062950/html/154.html
    
    Extractions: 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 GO TO PAGE:

36. 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

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

38. 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

39. Stephen Cole Kleene - Wikipedia, The Free Encyclopedia
    stephen Cole kleene. Encyclopædia Britannica. 2004.  
    http://en.wikipedia.org/wiki/Stephen_Cole_Kleene
    
    Extractions: 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 solutionable, 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 mathematical intuitionism as founded by Luitzen Egbertus Jan Brouwer Kleene was born in Hartford Connecticut USA . He received his bachelor of arts degree from Amherst College in . From 1930 to , he was a graduate student and research assistant at Princeton University , where he received his doctorate in mathematics in , supervised by Alonzo Church , for a thesis entitled A Theory of Positive Integers in Formal Logic . In 1935, he joined the UW-Madison mathematics department as an instructor. He became an assistant professor in

40. Stephen Cole Kleene
    Translate this page stephen Cole kleene Seite aus einem deutschsprachigen Online-Philosophenlexikon.philosophenlexikon.de, stephen Cole kleene (1909 - 1994).  
    http://www.philosophenlexikon.de/kleene.htm
    
    Extractions: Frauen in 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 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

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

21-40 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20