Stephen Cole Kleene Born: 5 Jan 1909 in Hartford, Connecticut, USA Died: 25 Jan 1994 in Madison, Wisconsin, USA Stephen C Kleene 's father was Gustav Adolph Kleene , a professor of economics at Trinity College, Hartford, Connecticut at the time of his son's birth. He remained there for the rest of his career. He retired, becoming professor emeritus, and died at his summer home in Union, Maine in August 1946. This home was on a farm in Maine which had been Gustav's father's and both Gustav and his son Stephen considered this farm their 'real home.' Gustav wrote books such as The problem of medical charity (1904) and Profit and wages: A study in the distribution of income (1916). Stephen 's mother was Alice Lena Cole who was a poet and writer of plays. Before marrying she published poems such as The lawsuit published in The Youth's Companion (1892), The dead bee published in The Century (1899), The lost spell published in Atlantic Monthly (1900) and Escape published in Atlantic Monthly (1900). After her marriage she published KIRSTIN; KIRSTIN. Play in Four Acts (1914) under her married name Alice Cole Kleene. It was described by a critic in the New York Times as a "pretty play with graceful lyrics." Stephen Kleene studied for his first degree at Amherst College, Amherst, Massachusetts, being awarded his Bachelor's Degree summa cum laude in 1930. He then went to Princeton University where his doctoral studies were supervised by Alonso Church . It had been Oswald Veblen who had proposed that the development of logic required careful analysis by mathematicians . Church , one of Veblen 's students, had been appointed to Princeton in 1929 and was making remarkable advances in this area. J Barkley Rosser was also a doctoral student of Church 's at Princeton, arriving in 1933 while Kleene was there. It was certainly an exciting place to be undertaking research applying mathematical techniques to logic with visitors such as Kurt Gdel - Kleene attended a course he gave at the Institute for Advanced Study. Kleene received a doctorate from Princeton for his thesis entitled A Theory of Positive Integers in Formal Logic in 1934 . He writes in the Introduction to his thesis: ... we shall be concerned primarily with the development of the system of logic based on a set of postulates proposed by A Church . Our object is to demonstrate empirically that the system is adequate for the theory of positive integers, by exhibiting a construction of a significant portion of the theory within the system. By carrying out the construction on the basis of a certain subset of Church 's formal axioms, we show that this portion at least of the theory of positive integers can be deduced from logic without the use of the notions of negation, class, and description . After the award of his doctorate Kleene taught at Princeton until he joined the University of Wisconsin at Madison as an Instructor in 1935. He was promoted to Assistant Professor at Wisconsin in 1937 before leaving in 1941 (unhappy at his failure to be promoted) to become Assistant Professor back at Amherst College where he had studied for his first degree. In 1942 he married Nancy Elliot ; they had four children, Paul, Kenneth, Bruce, and Nancy . Nancy Elliot was the daughter of George Roy Elliott, professor of English at Amherst College and a literary critic who specialized in Shakespeare. Also in 1942 Kleene left Amherst College to undertake war service with the US Navy as a navigation instructor at the Naval Reserve Midshipmen's School in New York. Later he was a project director at the Naval Research Laboratory in Washington DC . By the time he left the navy after the end of World War II, Kleene had risen to the rank of lieutenant commander . He returned to the University of Wisconsin at Madison in 1946 as an associate professor being promoted to full professor two years later. In 1964 he was named Cyrus C Duffee Professor and continued to hold that chair until he retired in 1979. He served two terms as the Chair of the Department of Mathematics and one term as the Chair of the Department of Numerical Analysis (later renamed the Department of Computer Science). He also served as Dean of the College of Letters and Science in 1969-74. During his years at the University of Wisconsin he was thesis advisor to 13 Ph.D. students. In 1970 Kleene's wife Nancy died. Eight years later he remarried Jeanne Steinmetz. He died of pneumonia aged 85. Kleene's research was on the theory of algorithms and recursive function theory , an area which he created and retained an interest in throughout his life. He developed the field of recursion theory with Church , Gdel , Turing and others. He contributed to mathematical Intuitionism which had been founded by Brouwer . In particular he lectured on Recursive functions and intuitionistic mathematics at the International Congress of Mathematicians in Cambridge, Massachusetts, in 1950 . In this lecture he spoke about how his interpretation of intuitionistic number theory by means of a "realization" might extend to intuitionistic set theory . He explored these ideas further in the book The foundations of intuitionistic mathematics, especially in relation to recursive functions (1965) written jointly with Richard Vesley. Chapters I, II, and IV of the book were written by Kleene while Chapter III is by Vesley. G Kreisel writes in a review:- Chapter I is by far the best introduction to intuitionistic logic which is at present available for a mathematical logician. Michael Dummett, a leading authority, was also greatly impressed:- ... chapter one of this book provides the first systematic exposition of the foundations of intuitionist analysis set out as an axiomatic system treating Brouwer 's fan theorem, the bar theorem, and the continuity principle ( called Brouwer 's principle ) . In these respects, this was far superior to the earlier well-known axiomatization by Heyting . Kleene's 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. He spent the summer of 1951 at the RAND Corporation and discovered an important characterisation of finite automata. His RAND report on his work that summer has been very influential for theoretical computer science. At a lecture in the University of Chicago in 1995, Robert Soare described Kleene's work in these terms:- Kleene's formulation of computable function via six schemata is one of the most succinct and useful, and his previous work on lambda functions played a major role in supporting Church 's Thesis that these classes coincide with the intuitively calculable functions . From 1930's on Kleene more than any other mathematician developed the notions of computability and effective process in all their forms both abstract and concrete, both mathematical and philosophical. He tended to lay the foundations for an area and then move on to the next, as each successive one blossomed into a major research area in his wake. Kleene developed a diverse array of topics in computability: the arithmetical hierarchy, degrees of computability, computable ordinals and hyperarithmetic theory, finite automata and regular sets with enormous consequences for computer science, computability on higher types, recursive realizability for intuitionistic arithmetic with consequences for philosphy and for program correctness in computer science. Kleene's best known books are Introduction to Metamathematics (1952) and Mathematical Logic (1967). Kleene writes in the first of these :- The aim of this book is to provide a connected introduction to the subjects of mathematical logic and recursive functions in particular, and to the newer foundational investigations in general. J R Shoenfield, reviewing the second, writes:- The growth of the undergraduate curriculum in mathematics has given rise to a number of texts treating serious mathematical results in a slower and more detailed manner than is customary in graduate texts . Since the number of such texts in the field of logic is quite small, this book by an outstanding authority in the field is especially welcome. ... The author clearly feels that a fairly thorough treatment of a few topics is preferable to a little bit of everything . ... Difficult proofs are broken down into a large number of simple cases ; some of these cases are usually left to the reader. There are many illuminating examples; the author is usually more interested in giving enough examples to illustrate the important points of the proof than in giving complete details of the proof. Clarity and simplicity are never sacrificed for elegance. Historical notes and bibliographical references are frequent, but are not allowed to overshadow the mathematics. Among the awards and honours that Kleene received for his outstanding contributions we mention the Leroy P Steele Prize which he was awarded by the American Mathematical Society in 1983:- .. for three important papers which formed the basis for later developments in generalized recursion theory and descriptive set theory "Arithmetical predicates and function quantifiers", "On the forms of the predicates in the theory of constructive ordinals ( second paper ) ", and "Hierarchies of number-theoretic predicates". Perhaps his most prestigious award was the National Medal of Science presented by President Bush at a White House East Room Ceremony on 13 November 1990:- For his leadership in the theory of recursion and effective computability and for developing it into a deep and broad field of mathematical research . Other honours included election to the National Academy of Sciences (1969), election as President of the Association for Symbolic Logic (1956-58), president of the International Union of the History and the Philosophy of Science (1961) and of the Union's Division of Logic, Methodology and Philosophy of Science (1960-62). He was editor of the Journal of Symbolic Logic for twelve years. In , Keisler describes Kleene's interests outside mathematics:- Kleene had a strong interest in nature and the environment and visited his family farm in Maine almost every summer. He discovered a variety of butterfly Beloria Todde Ammiralis Ba Kleenei. He was an avid climber and, until well into his seventies, led the biannual logic picnic at Madison ( now the Kleene Memorial Logic Picnic ) on hikes up the cliffs at Devil's Lake. Steve Kleene's knowledge of mushrooms was legendary. Mac Lane . in , recounts an experience climbing with Kleene:- In 1949 he and I, about to attend a meeting at Dartmouth of the American Mathematical Society , got together on a project to climb all the peaks in the Presidential range, and we were joined by a third climber, a vacationing bellhop. Then, as we three stood finally on top of the last peak ( Mount Madison ) , a thunderstorm struck. Kleene bounded down from the peak shouting, "Get down; it's lightning." I stepped down a bit, searched for our third companion only to find him flat on the ground, unconscious. Steve ( quicker by way of his height ) went down to the Madison Pass hut for help. When we got the injured man there we found that the lightning had singed his scalp and left a blister on his foot opposite a hobnail. We ferried him to a hospital, and I ( complete with a burned-out seat of the pants ) notified his employer at the elegant Eastern Slopes Inn. He later recovered. Steve and I continued to climb assorted mountains and Steve kept on rock climbing. Keisler also describes his personality:- Although a private man, he was a skilful and enthusiastic teller of anecdotes. He possessed a powerful voice that always made it possible for others to know without seeing him whether he was in the maths building. Article by: J J O'Connor and and E F Robertson Click on this link to see a list of the Glossary entries for this page List of References (8 books/articles) Mathematicians born in the same country Honours awarded to Stephen C Kleene (Click below for those honoured in this way) Speaker at International Congress 1958 AMS Steele Prize 1983 Cross-references in MacTutor History Topics: Word problems for groups Other Web sites Encyclopaedia Britannica Mathematical Genealogy Project from： http://www-history.mcs.st-andrews.ac.uk/Biographies/Kleene.html
想成为传奇么？起名“斯蒂芬”吧。 为什么？看看这些叫斯蒂芬的纯爷们吧 :D 1 、世界上市值最高、产品风靡全球、某某青年卖肾换玩具的是哪个公司？苹果公司。创始人是谁？ ( 当然是之一 ) 把苹果公司推到巅峰的又是谁？乔帮主啊。乔帮主全明是啥？ Steven Paul Jobs 2 、他被誉为爱因斯坦之后世界上最杰出的物理学家，一生与“黑洞”结下不解之缘，同时对大统一理论很有兴趣。然而，他又是一个十足的“赌徒”，对学术豪赌乐此不疲。他是“身残志坚”的代表，传说曾经还能依靠三只手指传递信息，如今只能通过眼皮眨动交流。最有名的科普著作《时间简史》、《果壳中的宇宙》。最拉风的还是能让不屑任何人的 Sheldon Copper 同学乖乖地站在边上听到批评自己的论文中有错误。 没有第二个， Stephen William Hawking 3 、同样是当今最伟大的理论物理学家，他统一了电磁力和弱相互作用力，为大统一理论进一步发展奠定了基础，并因此与另外两位物理学家分享了 1979 年的物理学炸药奖。科普著作《最初三分钟》的热卖也使其在普通读者心中有着相当的地位。他是“还原论”的忠实支持者，对大统一理论的贡献正是佐证。（虽然本人更喜欢 Anderson 的那句 More is different ） 4 、地球上最好的篮球控球后卫是谁？冷静的头脑、敏锐的洞察力、神鬼莫测的传球……那份优雅和飘逸足以令全世界球迷为之着迷。在长人林立、崇尚暴力美学的 NBA 里，他是一个另类，另一种风格。他， Stephen John Nash 。 当然，还有太多的“斯蒂芬”们的，比如斯蒂芬·斯皮尔伯格、斯蒂芬·杰拉德等等 “成功学”泛滥的时代，各种补习班透支着家长们口袋里的银子、挤压着孩子玩耍的时间。家长们唯一的目的就是“不能让孩子输在起跑线上”。其实还有更为“省钱省力又省心”的办法——想成功么？给孩子起名“斯蒂芬”吧 参考： http://en.wikipedia.org/wiki/Steve_Jobs http://en.wikipedia.org/wiki/Stephen_Hawking http://en.wikipedia.org/wiki/Steven_Weinberg http://en.wikipedia.org/wiki/Steve_Nash
标签: 斯蒂芬
