Geometry.Net - Scientists: Kleene Stephen

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

Extractions: Bibliography of works by and about Kleene can be found here. 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.
Stephen Kleene
Presebla versio. stephen kleene. El Vikipedio, la libera enciklopedio.
http://burks.bton.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.
Philosophenlexikon.de
kleene, stephen Cole;Kleiner, Julisz; Kleinpeter, Hans; Kleitomachos; Kleobuline von Rhodos;
http://www.philosophenlexikon.de/index-kk.htm

Extractions: 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 [a] [b] [c] [d] ... [z] K powered by Uwe Wiedemann
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
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
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
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.
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
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
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

Extractions: Bibliography of works by and about Kleene can be found here. 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.
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/

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

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

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

Extractions: 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
Stephen Cole Kleene, January 5, 1909January 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

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

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