<rt id="bn8ez"></rt>
<label id="bn8ez"></label>

  • <span id="bn8ez"></span>

    <label id="bn8ez"><meter id="bn8ez"></meter></label>

    懵懵燈燈的BLOG

    寒夜孤燈點(diǎn)點(diǎn)星

      BlogJava :: 首頁 :: 新隨筆 :: 聯(lián)系 :: 聚合  :: 管理 ::
      56 隨筆 :: 10 文章 :: 22 評論 :: 0 Trackbacks
    http://turnbull.mcs.st-and.ac.uk/~history/Biographies/Church.html

    Born: 14 June 1903 in Washington, D.C., USA
    Died: 11 Aug 1995 in Hudson, Ohio, USA

    Alonzo Church's parents were Mildred Hannah Letterman Parker and Samuel Robbins Church. His father was a judge. He was a student at Princeton receiving his first degree, an A.B., in 1924, then his doctorate three years later. His doctoral work was supervised by Veblen , and he was awarded his doctorate in 1927 for his dissertation entitled Alternatives to Zermelo's Assumption. While he was still working for his doctorate he married Mary Julia Kuczinski at Princeton in 1926. They had three children, Alonzo Jr, Mary Ann and Mildred.

    Church spent two years as a National Research Fellow, one year at Harvard University then a year at G?ttingen and Amsterdam. He returned to the United States becoming Assistant Professor of Mathematics at Princeton in 1929. Enderton writes in [ 4 ]:-

    Princeton in the 1930's was an exciting place for logic. There was Church together with his students Rosser and Kleene. There was John von Neumann. Alan Turing, who had been thinking about the notion of effective calculability, came as a visiting graduate student in 1936 and stayed to complete his Ph.D. under Church. And Kurt G?del visited the Institute for Advanced Study in 1933 and 1935, before moving there permanently.

    He was promoted to Associate Professor in 1939 and to Professor in 1947, a post he held until 1961 when he became Professor of Mathematics and Philosophy. In 1967 he retired from Princeton and went to the University of California at Los Angeles as Kent Professor of Philosophy and Professor of Mathematics. He continued teaching and undertaking research at Los Angeles until 1990 when he retired again, twenty-three years after he first retired! In 1992 he moved from Los Angeles to Hudson, Ohio, where he lived out his final three years.

    His work is of major importance in mathematical logic, recursion theory, and in theoretical computer science. Early contributions included the papers On irredundant sets of postulates (1925), On the form of differential equations of a system of paths (1926), and Alternatives to Zermelo's assumption (1927). He created the lambda-calculus in the 1930's which today is an invaluable tool for computer scientists. The article [ 10 ] is in three parts and in the last of these Manzano:-

    ... attempt[s] to show that Church's great discovery was lambda calculus and that his remaining contributions were mainly inspired afterthoughts in the sense that most of his contributions, as well as some of his pupils', derive from that initial achievement.

    In 1941 he published the 77 page book The Calculi of Lambda-Conversion as a volume of the Princeton University Press Annals of Mathematics Studies. It is effectively a rewritten and polished version of lectures Church gave in Princeton in 1936 on the lambda-calculus.

    Church is probably best remembered for 'Church's Theorem' and 'Church's Thesis' both of which first appeared in print in 1936. Church's Theorem, showing the undecidability of first order logic, appeared in A note on the Entscheidungsproblem published in the first issue of the Journal of Symbolic Logic. This, of course, is in contrast with the propositional calculus which has a decision procedure based on truth tables. Church's Theorem extends the incompleteness proof given of G?del in 1931.

    Church's Thesis appears in An unsolvable problem in elementarynumber theory published in the American Journal of Mathematics58 (1936), 345-363. In the paper he defines the notion of effective calculability and identifies it with the notion of a recursive function. He used these notions in On the concept of a random sequence (1940) where he attempted to give a logically satisfactory definition of "random sequence". Folina [ 6 ] argues for the usually accepted view that Church's Thesis is probably true but not capable of rigorous proof. The background to Church's work on computability and undecidability, based on his correspondence with Bernays during the years 1934-1937, is examined by Sieg in [ 11 ].

    Church was a founder of the Journal of Symbolic Logic in 1936 and was an editor of the reviews section from its beginning until 1979. In fact he published a paper A bibliography of symbolic logic in volume 4 of the Journal and he saw the reviews section as a continuation and expansion of this work. Its aim, he wrote, was to provide:-

    ...to provide a complete, suitably indexed, listing of all publications ... in symbolic logic, wherever and in whatever language published ... [giving] critical, analytical commentary.

    The article [ 5 ] highlights Church's guiding role in defining the boundaries of the discipline of symbolic logic through this editorial work and testifies to his unflaggingindustry and conscientiousness and his high editorial standards. The aim of comprehensive coverage, which in 1936 had seemed quite practical, became less so as the years went by and by 1975 the rapid expansion in symbolic logic publications forced Church to give up this aspect and begin to provide only selective coverage. We mentioned above that Church retired from Princeton in 1967 and went to the University of California at Los Angeles. Perhaps this is the place where we should mention why he left Princeton after 38 years of service there. Enderton writes:-

    Upon his retirement, Princeton was unwilling to continue accommodating the small staff working on the reviews for the Journal of Symbolic Logic.

    Church wrote the classic book Introduction to Mathematical Logic in 1956. This was a revised and very much enlarged edition of Introduction to mathematical logic which Church published twelve years earlier in 1944. This first edition was, as he states in the Introduction:-

    ... the first half of an introductory course in mathematical logic given to graduate students in mathematics [at Princeton in 1943].

    Haskell Curry in a review of the 1944 work writes:-

    It is written with the meticulous precision which characterizes the author's work generally. ... The subject matter is more or less classical, namely, the propositional algebra and the functional calculus of first order, to which is added a chapter summarizing without proofs certain features of functional calculi of higher order. For the expert the chief interest in the tract is that it makes readily accessible careful detailed formulation and proofs of certain standard theorems, for example, the deduction theorem, the reduction to truth tables, the substitution rule for the functional calculus, G?del 's completeness theorem, etc.

    Manzano writes in [ 10 ] that the 1956 edition of the book:-

    ... defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed.

    The book begins with an Introduction which discusses names, variables, constants and functions, and leads on to the logistic method, syntax and semantics. Chapters I and II are concerned with the propositional calculus, discussing tautologies and the decision problem, duality, consistency and completeness, and independence of the axioms and rules of inference. The first order functional calculus is studied in Chapters III and IV, while Chapter V deals mainly with second order functional calculi.

    Another area of interest to Church was axiomatic set theory. He published A formulation of the simple theory of types in 1940 in which he attempted to give a system related to that of Whitehead and Russell 's Principia Mathematica which was designed to avoid the paradoxes of naive set theory. Church bases his form of the theory of types on his lambda-calculus. Other work by Church in this area includes Set theory with a universal set published in 1971 which examines a variant of ZF-type axiomatic set theory and Comparison of Russell's resolution of the semantical antinomies with that of Tarski published in 1976. Another of Church's research interests was intensional semantics which is considered in detail in [ 3 ]. The idea developed here was similar to that of Frege , distinguishing between the extension of a term and the intension, or sense, of a term. Church considered this topic for about 40 years during the latter part of his career, beginning with his paper A formulation of the logic of sense and denotation in 1951.

    Although most of Church's contributions are directed towards mathematical logic, he did write a few mathematical papers of other topics. For example he published Remarks on the elementary theory of differential equations as area of research in 1965 and A generalization of Laplace's transformation in 1966. The first examines ideas and results in the elementary theory of ordinary and partial differential equations which Church feels may encourage further investigation of the topic. The paper includes a discussion of a generalization the Laplace transform which he extends to non-linear partial differential equations. This generalization of the Laplace transform is the topic of study of the second paper, again using the method to obtain solutions of second-order partial differential equations.

    Church had 31 doctoral students including Foster , Turing , Kleene , Kemeny , Boone , and Smullyan . He received many honours for his contributions including election to the National Academy of Sciences (United States) in 1978. He was also elected to the British Academy, and the American Academy of Arts and Sciences . Case Western Reserve (1969), Princeton (1985) and the State University of New York at Buffalo (1990) awarded him honorary degrees.

    Article by: J J O'Connor and E F Robertson

    posted on 2007-12-27 11:27 懵懵燈燈 閱讀(452) 評論(1)  編輯  收藏 所屬分類: English

    評論

    # re: [E文摘] 阿隆佐·邱奇 2007-12-27 12:45 懵懵燈燈
    assistant professor - 助理教授
    calculability - 可計(jì)算性 n.
    associate professor - 副教授 n.
    mathematical logic - 數(shù)理邏輯 n.
    resursion theory - 遞歸理論 n.
    irredundant - 無冗余 adj.
    postulate -假設(shè),命題 n.
    differential equation - 差分方程
    conversion - 變換,轉(zhuǎn)換 n.
    polished - 精簡的,優(yōu)美的 adj.
    first order logic - 一階邏輯
    symbol logic - 符號邏輯
    Church's Theorem / Thesis - 邱奇命題/假設(shè)
    number theory - 數(shù)論
    recursive function - 遞歸函數(shù)
    random sequence - 隨機(jī)序列
    editorial - 編輯上的 adj.
    testify - 證明 vi.
    unflagging - 不屈不撓的 adj.
    meticulous - 小心翼翼的 adj.
    readily - 方便的,容易的 adj.
    duality - 對偶 n.
    tautology - 重言式,同義反復(fù) n.
    antinomy - 自相矛盾,悖論 n.
    partial differential equation - 偏微分方程 n.
    formulation - 形式化 n.
    intensional semantics - 內(nèi)涵語義學(xué)
    naive set theory - 樸素集合論 n.
    honorary - 榮譽(yù)的 adj.


      回復(fù)  更多評論
      

    主站蜘蛛池模板: 亚洲啪啪AV无码片| 亚洲精品中文字幕麻豆| 免费无码黄网站在线看| 亚洲综合网美国十次| 国产国产人免费人成免费视频| 久久精品免费网站网| 亚洲成人黄色在线| 免费大片黄手机在线观看| 9277手机在线视频观看免费| 亚洲第一综合天堂另类专| 国产亚洲精品va在线| 黄a大片av永久免费| 四虎国产成人永久精品免费| www亚洲精品久久久乳| 亚洲av无码一区二区三区乱子伦 | 亚洲精品国产第一综合99久久 | 18禁亚洲深夜福利人口| 国产亚洲A∨片在线观看| 毛色毛片免费观看| 在线看片免费人成视频福利| 亚洲av中文无码字幕色不卡| 亚洲综合婷婷久久| 国产亚洲日韩在线三区| 免费网站看v片在线香蕉| 99爱免费观看视频在线| 国产精品美女久久久免费 | 亚洲熟女一区二区三区| 免费视频淫片aa毛片| 7m凹凸精品分类大全免费| 一级做a爰全过程免费视频毛片| 亚洲国产区男人本色在线观看| 亚洲人成在线播放网站岛国| 亚洲电影日韩精品| 在线观看免费成人| 91手机看片国产永久免费| 叮咚影视在线观看免费完整版| 黄页网址大全免费观看12网站| 国产午夜亚洲精品| 亚洲国产精品专区| 亚洲邪恶天堂影院在线观看| 亚洲精品你懂的在线观看|