Geometry.Net - the online learning center
Home  - Scientists - Kleene Stephen
e99.com Bookstore
  
Images 
Newsgroups
Page 2     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)
  1. Intuitionism (Deductive): Intuitionism, Stephen Cole Kleene, Intuitionistic Logic, Luitzen Egbertus Jan Brouwer, Brouwer-hilbert Controversy
  2. Personnalité En Méthodes Formelles: Donald Knuth, Jonathan Bowen, Stephen Cole Kleene, Joseph Sifakis, Robert Floyd, Patrick Cousot (French Edition)
  3. People From Hartford, Connecticut: Katharine Hepburn, Stephen Cole Kleene, Barbara Mcclintock, Frederick Law Olmsted, Jeannine Taylor
  4. 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
  5. Introduction to Mathematics (The University Series In Higer Mathematics) by Stephen Cole Kleene, 1962
  6. 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
  7. Permutability of inferences in Gentzen's calculi LK and LJ (Memoirs of the American Mathematical Society) by Stephen Cole Kleene, 1967
  8. 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
  9. Mathematical logic: Course I, N.S.F. Summer Institute, Bowdoin College, 1961. Notes on lectures by Stephen Cole Kleene, 1961
  10. Recursive predicates and quantifiers by Stephen Cole Kleene, 1943

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

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
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/References/Kleene.html
  • 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
    Dictionaries: General Computing Medical Legal Encyclopedia
    Kleene, Stephen Cole
    Word: Word Starts with Ends with Definition Kleene, Stephen Cole Stephen Kleene
    Some words with "Kleene, Stephen Cole" in the definition: AKC
    asterisk

    Extended Backus-Naur Form

    Jobs
    ...
    Wolfram Research, Inc.

    Previous Computing Dictionary Browser Next KISS
    KISS Principle

    kit
    ...
    kn

    Full Dictionary Browser Klaxon Klaxon (enc.) KLB (comp.) KLB (enc.) kleagle Kléber (Paris Metro) (enc.) Kleberg County (enc.) Kleberg County, Texas (enc.) Klebs-Loeffler bacillus klebsiella Klebsiella pneumoniae (enc.) Klee Klee (enc.) Kleene algebra (enc.) Kleene closure (comp.) Kleene closure (enc.) Kleene star (comp.) Kleene star (enc.) Kleene's recursion theorem (enc.) Kleene, S.C. (enc.) Kleeneboc Kleenex Kleenex (enc.) Klein Klein (enc.) Klein Bonaire (enc.) Klein bottle Klein bottle (enc.) Klein four-group (enc.) Klein group (enc.) Klein quartic (enc.) Klein's absolute invariant (enc.) Klein's modular function (enc.) Klein's quartic curve (enc.) Klein, Montana (enc.) Klein, Texas (enc.) Klein-Gordon equation (enc.)

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

    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
    English Dictionary Computer Dictionary Thesaurus Dream Dictionary ... Medical Dictionary
    Search Dictionary:
    KLEENE, STEPHEN COLE: Dictionary Entry and Meaning
    Computing Dictionary Definition: Stephen Kleene HOME ABOUT HYPERDICTIONARY

    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
    English Dictionary Computer Dictionary Thesaurus Dream Dictionary ... Medical Dictionary
    Search Dictionary:
    Computer Dictionary - Browsing Page K-3
    khornerstone
    ki

    kibo

    kiboze
    ... ABOUT HYPERDICTIONARY

    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

    Bibliography of works by and about Kleene can be found here.
    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 "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
    Read more than 3,000 books online FREE! More than 900 PDFs now available for sale HOME ABOUT NAP CONTACT NAP HELP ... ORDERING INFO Items in cart [0] TRY OUR SPECIAL DISCOVERY ENGINE Questions? Call 800-624-6242
    Biographical Memoirs V.75
    National Academy of Sciences ( NAS
    CHAPTER SELECTOR:
    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:
    TABLE OF

    CONTENTS

    PAGE
    PRINTABLE

    PDF PAGE

    CHAPTER PAGE SEARCH THIS BOOK: PURCHASE OPTIONS HARDBACK list: web: Find More Like This Chapter Related Books: Biographical Memoirs V.74 (1998)

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

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

    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
    Stephen Cole Kleene
    From Wikipedia, the free encyclopedia.
    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
    Begriffe Abaelard - Ayer
    Baader - Byron

    Cabanis - Czezowski

    Ebbinghaus - Ewald
    ...
    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
    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

    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 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter