Geometry.Net - the online learning center
Home  - Scientists - Kleene Stephen

e99.com Bookstore
  
Images 
Newsgroups
Page 2     21-40 of 95    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. 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 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

    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

    free hit counter