Geometry.Net - Scientists: Kleene Stephen

Kleene, Stephen Cole
Stephen Cole Kleene was born on January 5, 1909 in Hartford, Connecticut. He received his Ph.D. from Princeton University in 1934. He taught at the University of Wisconsin, Madison from 1935 until 1979.
http://www.cs.auc.dk/~luca/FS2/kleene-britannica.html

Extractions: New Search : Articles Index Dictionary (b. Jan. 5, 1909, Hartford, Conn., U.S.d. Jan. 25, 1994, Madison, Wis.), American mathematician and logician whose work on recursion theory helped lay the foundations of theoretical computer science. Kleene was educated at Amherst College (A.B., 1930) and earned a Ph.D. in mathematics at Princeton University in 1934. After teaching briefly at Princeton, he joined the University of Wisconsin at Madison as an instructor in 1935 and became a full professor there in 1948. He retired in 1979. Kleene 's research was devoted to the theory of algorithms and recursive functions ( i.e., functions defined in a finite sequence of combinatorial steps). Kleene recursion theory, which made it possible to prove whether certain classes of mathematical problems are solvable or unsolvable. Recursion theory in turn led to the theory of computable functions, which governs those functions that can be calculated by a digital computer. Kleene was the author of Introduction to Metamathematics (1952) and Mathematical Logic Computer science
Kleene
Stephen Cole Kleene. Born 5 Jan 1909 in Stephen C Kleene studiedfor his first degree at Amherst College. He went on to receive
http://www-gap.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
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://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?Stephen Kleene
Stephen Kleene From FOLDOC
Stephen Cole Kleene . 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?Stephen Cole Kleene
Stephen Kleene From FOLDOC
Stephen Cole Kleene . Stephen Kleene. person Professor StephenCole Kleene (190901-05 - 1994-01-26) /steev'n (kohl) klay'nee
http://www.instantweb.com/foldoc/foldoc.cgi?Stephen Cole Kleene
Stephen Cole Kleene From FOLDOC
Stephen Cole Kleene. person /klee'nee/ An American mathematician wholived 1909-1994 and is well-known for inventing regular expressions.
http://saturn.cs.unp.ac.za/foldoc/foldoc.cgi?Stephen Cole Kleene
Stephen Cole Kleene - Wikipedia
Stephen Cole Kleene. (Redirected from Stephen Kleene). Stephen Cole Kleene(January 5, 1909 January 25, 1994) was an American mathematician
http://www.wikipedia.org/wiki/Stephen_Kleene

Extractions: Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help (Redirected from Stephen Kleene 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 soluble, 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
Stephen Cole Kleene - Wikipedia
Stephen Cole Kleene. (Redirected from SC Kleene). Stephen Cole Kleene(January 5, 1909 January 25, 1994) was an American mathematician
http://www.wikipedia.org/wiki/S._C._Kleene

Extractions: Main Page Recent changes Edit this page Older versions Special pages Set my user preferences My watchlist Recently updated pages Upload image files Image list Registered users Site statistics Random article Orphaned articles Orphaned images Popular articles Most wanted articles Short articles Long articles Newly created articles Interlanguage links All pages by title Blocked IP addresses Maintenance page External book sources Printable version Talk Log in Help (Redirected from S. C. Kleene 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 soluble, 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
Stephen KLEENE - Vikipedio
Stephen KLEENE. El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj Stephen kleene stephen Cole KLEENE (19091994
http://eo.wikipedia.org/wiki/Stephen_KLEENE

Extractions: Presebla versio El Vikipedio, la libera enciklopedio. Matematiko Matematikistoj > Stephen KLEENE Stephen Cole KLEENE ) estis usona matematikisto kies laboro pri komputebleco provizas la fundamenton de teoria komputiko Kleen naskiÄis en Hartford Konetikuto . Li dokotoriÄis Äe la Universitato Princeton en . Lia tez-direktoro estis Alonzo CHURCH kaj la titolo de lia tezo estis Teorio de Pozitivaj Intjeroj en Formala Logiko . Poste, Kleene instruis Äe la universitato Äis li membriÄis la fakultaton de la Universitato de Viskonsino en . Li fariÄis plena profesoro en kaj restis tie Äi emeritiÄo en La esplorado de Kleene temis pri la teorio de algoritmoj kaj rekursiaj funkcioj . Li disvolvis la fakon de la teorio de rekursio kun Alonzo CHURCH Kurt GOEDEL Alan TURING , kaj aliaj. Li kontribuis al matematika Intuiciismo kiun fondis Luitzen BROUWER Lia laboro pri la teorio de rekursio helpis provizi la bazojn de teoria komputiko. Per provizi metodojn por determini kiuj problemoj estas solveblaj, lia laboro kondukis al la studado de kiuj funkcioj povas esti komputitaj. La plej konataj libroj de Kleene estas (en la angla) Enkonduko al Matematiko ) kaj Matematika Logiko
Stephen Kleene
Stephen Kleene. Stephen Cole Kleene was born on January 5, 1909 in Hartford,Connecticut. He received his Ph.D. from Princeton University in 1934.
http://www.student.math.uwaterloo.ca/~cs462/Hall/kleene.html

Extractions: Stephen Cole Kleene was born on January 5, 1909 in Hartford, Connecticut. He received his Ph.D. from Princeton University in 1934. He taught at the University of Wisconsin, Madison from 1935 until 1979. Kleene worked in mathematical logic, particularly in recursion theory. In a 1956 paper, Kleene introduced the notion of regular expression, and proved that the languages specified by regular expressions and the languages generated by finite automata constituted the same class, a basic result today known as Kleene's Theorem. Kleene wrote two books, one of which was Introduction to Metamathematics (North-Holland, 1952). Kleene died in Madison, Wisconsin on January 25, 1994. S. C. Kleene, "Representation of events in nerve nets and finite automata", in C. E. Shannon and J. McCarthy, eds., Automata Studies , Annals of Mathematics Studies No. 34, Princeton University Press, 1956, pp. 3-42. Back to Theory of Computing Hall of Fame Main Page
Stephen Cole Kleene
stephen cole kleene. From The Free Online Dictionary of Computing (09FEB 02). Stephen Cole kleene stephen Kleene. 1 definition found.
http://stephen.cole.kleene.word.sytes.net/
Editions Jacques Gabay - Stephen C. KLEENE
Translate this page Recherche Aide. Divers Actualités Contacts, Stephen C. KLEENE. StephenC. KLEENE. 1909 - 1994. Au catalogue des Editions Jacques Gabay
http://www.gabay.com/sources/Liste_Bio.asp?NP=KLEENE Stephen C.
Editions Jacques Gabay - Index Des Auteurs
Translate this page Auteurs - Lettre K. A B C D E F G H J K L M N O P Q R S T U V W Z. KAMKE Erich.kleene stephen C. KLEIN Félix. KLEIN N. Th. KNESER Adolf. KOENIGS Gabriel.
http://www.gabay.com/sources/Liste_Auteurs.asp?Lettre=K
Stephen Kleene
stephen kleene. From The Free Online Dictionary of Computing (09 FEB02). Stephen Kleene person Professor Stephen Cole Kleene (1909
http://stephen.kleene.word.sytes.net/

Extractions: stephen kleene From The Free On-line Dictionary of Computing (09 FEB 02) Stephen Kleene University of Wisconsin-Madison helped lay the foundations for modern computer science. Kleene was best known for founding the branch of mathematical logic known as 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. An avid mountain climber, Kleene had a strong interest in nature and the environment and was active in many conservation causes. He led several professional organisations, serving as president of the
Stephen Kleene - Acapedia - Free Knowledge, For All
Friends of Acapedia Stephen Cole Kleene. (Redirected from StephenKleene). Stephen Cole Kleene (January 5, 1909 January 25, 1994
http://acapedia.org/aca/Stephen_Kleene
Dictionary Definition Of "Stephen Cole Kleene"
Home Customer Support Center Dictionary Definition of Stephen Cole Kleene .Stephen Cole kleene stephen Kleene This document appears courtesy of FOLDOC.
http://hostingworks.com/support/dict.phtml?foldoc=Stephen Cole Kleene
BIBLIO
Klahr David, PRODUCTION SYSTEM MODELS OF LEARNING AND DEVELOPMENT, MIT Press,1987, kleene stephen, INTRODUCTION TO METAMATHEMATICS, NorthHolland, 1964,
http://lorien.die.upm.es/~macias/doc/pubs/aircenter99/www.aircenter.net/tk.html

Extractions: CONSCIOUS UNIVERSE Springer Verlag Kaku Michio HYPERSPACE Oxford University Press Kandell Abraham FUZZY MATHEMATICAL TECHNIQUES Addison Wesley Kanerva Pentti SPARSE DISTRIBUTED MEMORY MIT Press Kaplan David THEMES FROM KAPLAN Oxford Univ Press Karmiloff-Smith Annette BEYOND MODULARITY MIT Press Katz Jerrold THE METAPHYSICS OF MEANING MIT Press Katz Jerrold AN INTEGRATED THEORY OF LINGUISTIC DESCRIPTIONS MIT Press Katz Jerrold THE PHILOSOPHY OF LANGUAGE Katz Jerrold SEMANTIC THEORY INTRODUCTION TO FUZZY ARITHMETICS Van Nostrand Reinhold Kauffman Stuart THE ORIGINS OF ORDER Oxford University Press Kauffman Stuart AT HOME IN THE UNIVERSE Oxford Univ Press Kaye Jonathan PHONOLOGY Lawrence Erlbaum INTRODUCTION TO COMPUTATIONAL LEARNING THEORY MIT Press Keil Frank SEMANTIC AND CONCEPTUAL DEVELOPMENT Harvard Univ Press Keil Frank CONCEPTS, KINDS AND COGNITIVE DEVELOPMENT Cambridge University Press DYNAMIC PATTERNS IN COMPLEX SYSTEMS World Scientific Kelso Scott DYNAMIC PATTERNS MIT Press Kessel Frank SELF AND CONSCIOUSNESS Lawrence Erlbaum Kim Jaegwon SUPERVENIENCE AND MIND Cambridge University Press Kirkham Richard THEORIES OF TRUTH MIT Press Kitchener Robert PIAGET'S THEORY OF KNOWLEDGE Yale University Press Kittay Eva METAPHOR Clarendon Press Klahr David PRODUCTION SYSTEM MODELS OF LEARNING AND DEVELOPMENT MIT Press Kleene Stephen INTRODUCTION TO METAMATHEMATICS North-Holland Kodratoff Yves INTRODUCTION TO MACHINE LEARNING Morgan Kaufman Klopf Harry THE HEDONISTIC NEURON Hemisphere
Stephen Cole Kleene
This is the home page for the kleene Mathematics Library at the University of WisconsinMadison. The stephen Cole kleene Mathematics Library
http://www.philosophenlexikon.de/kleene.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 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
Encyclopædia Britannica
Encyclopædia Britannica. kleene, stephen Cole. Encyclopædia Britannica Article
http://www.britannica.com/eb/article?eu=1458
Kleene
Biography of stephen C kleene (19091994) stephen Cole kleene. Born 5 Jan 1909 in Hartford, Connecticut, USA
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

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

1-20 of 95 1 | 2 | 3 | 4 | 5 | Next 20