Kleene was awarded the BA degree fr

Kleene was awarded the BA degree from Amherst College in 1930. He was awarded the Ph.D. in mathematics from Princeton University in 1934. His thesis, entitled A Theory of Positive Integers in Formal Logic, was supervised by Alonzo Church. In the 1930s, he did important work on Church's lambda calculus. In 1935, he joined the mathematics department at the University of Wisconsin–Madison, where he spent nearly all of his career. After two years as an instructor, he was appointed assistant professor in 1937.

While a visiting scholar at the Institute for Advanced Study in Princeton, 1939–40, he laid the foundation for recursion theory, an area that would be his lifelong research interest. In 1941, he returned to Amherst College, where he spent one year 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, Kleene returned to Wisconsin, becoming a full professor in 1948 and the Cyrus C. MacDuffee professor of mathematics in 1964. He was chair of the Department of Mathematics and Computer Science, 1962–63, and Dean of the College of Letters and Science from 1969 to 1974. The latter appointment he took on despite the considerable student unrest of the day, stemming from the Vietnam War. He retired from the University of Wisconsin in 1979. The mathematics library at the University of Wisconsin was renamed in his honour.

Kleene's teaching at Wisconsin resulted in three texts in mathematical logic, Kleene (1952, 1967) and Kleene and Vesley (1965), often cited and still in print. Kleene (1952) wrote alternative proofs to the Gödel's incompleteness theorems that enhanced their canonical status and made them easier to teach and understand. Kleene and Vesley (1965) is the classic American introduction to intuitionist logic and mathematics.

Kleene served as president of the Association for Symbolic Logic, 1956–58, and of the International Union of History and Philosophy of Science, 1961. In 1990, he was awarded the National Medal of Science.

Kleene and his wife Nancy Elliott had four children. He had a lifelong devotion to the family farm in Maine. An avid mountain climber, he had a strong interest in nature and the environment, and was active in many conservation causes.

ผลลัพธ์ (ไทย) 1:

Kleene ได้รับรางวัลปริญญาตรีจากวิทยาลัยแอมเฮิสท์ใน 1930 เขาได้รับปริญญาเอกในวิชาคณิตศาสตร์จากมหาวิทยาลัยปรินซ์ตันใน 1934 วิทยานิพนธ์ของเขา ได้รับ A ทฤษฎีของจำนวนเต็มบวกในแบบทางตรรกะ มีพาสปอร์ตอลอนโซเชิร์ช ในช่วงทศวรรษ 1930 เขาไม่ได้ทำงานสำคัญในแคลคูลัสแลมบ์ดาของคริสตจักร ในปี 1935 เขาร่วมแผนกคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินแมดิสัน ซึ่งเขาใช้เวลาเกือบทั้งหมดของอาชีพของเขา หลังจากสองปีเป็นอาจารย์ เขาถูกแต่งตั้งผู้ช่วยศาสตราจารย์ในปี 1937ในขณะที่นักวิชาการที่มาเยี่ยมสถาบันศึกษาขั้นสูงในปรินซ์ตัน 1939-40 เขาวางรากฐานสำหรับสอบถามซ้ำทฤษฎี พื้นที่ที่จะสนใจวิจัยรอง 1941 เขากลับไปแอมเฮิสท์วิทยาลัย ที่เขาใช้เวลาหนึ่งปีเป็นศาสตราจารย์เป็นของวิชาคณิตศาสตร์ในระหว่างสงครามโลก Kleene ถูกโทผู้บัญชาการในกองทัพเรือสหรัฐอเมริกา เขาถูกอาจารย์นำที่สหรัฐฯ กองทัพสำรองของโรงเรียนของบัญชาการในนิวยอร์ก และกรรมการโครงการที่ห้องปฏิบัติการวิจัยกองทัพเรือใน Washington, dcในปี 1946, Kleene กลับไปวิสคอนซิน อาจารย์เต็มในค.ศ. 1948 และศาสตราจารย์ Cyrus C. MacDuffee ของคณิตศาสตร์ในปี 1964 เขามีเก้าอี้ของภาควิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ 1962-63 และคณบดีวิทยาลัยอักษรและวิทยาศาสตร์จาก 1969 ถึง 1974 การนัดหมายหลังที่เขาเอาบนแม้ มีความไม่สงบมากนักวัน อันเนื่องมาจากสงครามเวียดนาม เขาถอนจากมหาวิทยาลัยวิสคอนซินในปีค.ศ. 1979 ห้องสมุดคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินถูกเปลี่ยนชื่อในเกียรติของเขาผลการสอนของ Kleene ที่วิสคอนซินในข้อความที่สามในตรรกศาสตร์เชิงคณิตศาสตร์ Kleene (1952, 1967) Kleene Vesley (1965), มักอ้าง และยังพิมพ์ Kleene (1952) เขียนหลักฐานทางทฤษฎีเกอเดลของ Gödel ที่สถานะมาตรฐานเพิ่มขึ้น และทำให้พวกเขาเพื่อสอน และเข้าใจง่าย Kleene และ Vesley (1965) ได้แนะนำอเมริกันคลาสสิก intuitionist ตรรกะและคณิตศาสตร์Kleene ทำหน้าที่เป็นประธาน ของสมาคมสำหรับตรรกะ Symbolic, 1956 – 58 และนานาชาติร่วมประวัติศาสตร์และปรัชญาวิทยาศาสตร์ 1961 ในปี 1990 เขาได้รับรางวัลเหรียญวิทยาศาสตร์แห่งชาติKleene และต Nancy ภรรยาของเขามีลูกสี่ เขามีความจงรักภักดีรองฟาร์มครอบครัวในเมน เถาวัลย์เปรียงเป็นภูเขามักมาก เขามีดอกเบี้ยแรงในธรรมชาติและสิ่งแวดล้อม และถูกใช้งานในการอนุรักษ์หลายสาเหตุ

ผลลัพธ์ (ไทย) 2:

Kleene ได้รับรางวัลปริญญาตรีจากวิทยาลัยแอมเฮิร์ในปี 1930 เขาได้รับปริญญาเอก คณิตศาสตร์จากมหาวิทยาลัยพรินซ์ตันในปี 1934 วิทยานิพนธ์ของพระองค์ชื่อทฤษฎีของจำนวนเต็มบวกในลอจิกอย่างเป็นทางการได้รับการดูแลโดยคริสตจักรอลองโซ ในช่วงทศวรรษที่ 1930 เขาได้ทำงานที่สำคัญในแคลคูลัสแลมบ์ดาคริสตจักร ในปี 1935 เขาเข้าร่วมกับภาควิชาคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินแมดิสันซึ่งเขาใช้เวลาเกือบทั้งหมดในอาชีพของเขา หลังจากนั้นสองปีเป็นอาจารย์เขาได้รับการแต่งตั้งผู้ช่วยศาสตราจารย์ในปี 1937 ในขณะที่เยี่ยมนักเรียนในสถาบันการศึกษาขั้นสูงในพรินซ์ตัน 1939-1940 เขาวางรากฐานสำหรับทฤษฎีการเรียกซ้ำพื้นที่ที่จะเป็นงานวิจัยที่สนใจตลอดชีวิตของเขา ในปี 1941 เขากลับไป Amherst วิทยาลัยซึ่งเขาใช้เวลาหนึ่งปีเป็นศาสตราจารย์ของคณิตศาสตร์. ในช่วงสงครามโลกครั้งที่สอง Kleene เป็นนาวาตรีในกองทัพเรือสหรัฐฯ เขาเป็นผู้สอนการเดินเรือที่นายเรือสหรัฐโรงเรียนสำรองของ Midshipmen ในนิวยอร์กและจากนั้นผู้อำนวยการโครงการที่ศุนย์วิจัยทดลองในวอชิงตันดีซีในปี1946, Kleene กลับไปวิสคอนซินกลายเป็นศาสตราจารย์เต็มขั้นในปี 1948 และไซรัสซี MacDuffee อาจารย์ของคณิตศาสตร์ในปี 1964 เขาเป็นประธานของภาควิชาคณิตศาสตร์และวิทยาการคอมพิวเตอร์, 1962-63 และคณบดีวิทยาลัยวิทยาศาสตร์และจดหมายจาก 1969 ปี 1974 ได้รับการแต่งตั้งหลังเขาเอาแม้จะมีเหตุการณ์ความไม่สงบของนักเรียนมากของ วันที่เกิดจากสงครามเวียดนาม เขาลาออกจากมหาวิทยาลัยวิสคอนซินในปี 1979 ห้องสมุดคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินถูกเปลี่ยนชื่อเป็นเกียรติแก่เขา. สอน Kleene ที่วิสคอนซินผลในสามตำราในตรรกะทางคณิตศาสตร์ Kleene (1952, 1967) และ Kleene และ Vesley (1965) มักจะอ้างและยังคงอยู่ในการพิมพ์ Kleene (1952) เขียนบทพิสูจน์ทางเลือกที่จะไม่สมบูรณ์Gödelทฤษฎีบทที่เพิ่มขึ้นยอมรับสถานะของพวกเขาและทำให้พวกเขาง่ายต่อการสอนและเข้าใจ Kleene และ Vesley (1965) เป็นการนำอเมริกันคลาสสิกที่จะ intuitionist ตรรกะและคณิตศาสตร์. Kleene ทำหน้าที่เป็นประธานของสมาคมเพื่อสัญลักษณ์ Logic, 1956-58 และของสหภาพระหว่างประเทศของประวัติศาสตร์และปรัชญาวิทยาศาสตร์ปี 1961 ในปี 1990 เขา ได้รับรางวัลเหรียญวิทยาศาสตร์แห่งชาติ. Kleene และภรรยาของเขาแนนซีเอลเลียตได้ลูกสี่คน เขามีความจงรักภักดีตลอดชีวิตให้กับฟาร์มของครอบครัวในรัฐเมน ไต่ภูเขาตัวยงเขามีความสนใจในธรรมชาติและสิ่งแวดล้อมและมีบทบาทในการอนุรักษ์หลายสาเหตุ

ผลลัพธ์ (ไทย) 3:

Kleene是从阿默斯特学院的Ba度获得的。他是在1930获得普林斯顿大学博士。在mathematics从在他的thesis 1934。A，有资格在理论逻辑Integers积极监督，是通过正式的，在1930s Alonzo教堂。他在教堂的工作一样重要。在1935 calculusλ的mathematics joined部，他在威斯康星大学-麦迪逊，他花了他所有的地方。在近二年career instructor，他是作为一个在1937 appointed assistant教授。而在一个学院学者访问我们先进的1939为研究在普林斯顿，他放的基础上，40 recursion for理论上，这一区域的研究。lifelong不仅会对他在阿默斯特学院，returned 1941，在那里他花一。作为一个大学教授mathematics associate全年。世界大战II，During Kleene was a lieutenant在美国海军指挥官。他是一个在instructor的导航美国联储Midshipmen Naval ' s ' s′a，然后在纽约和在项目总监在Naval研究实验室。华盛顿哥伦比亚特区在威斯康星州，Kleene 1946 returned到becoming教授在一个1948和赛勒斯的mathematics MacDuffee教授。在1964的椅子。他是数学和计算机科学部，1962——63，给学院的院长从1969 1974和科学。他对发生在latter∴竸despite）的学生，considerable unrest词干的一天从越南战争的退役。他从最1979）在威斯康星大学。在大学mathematics文库他是在威斯康星州renamed荣耀。在威斯康星州resulted Kleene ' s中，在三mathematical文本逻辑（在Kleene 1952，1967）和Kleene和Vesley（1965），仍然在often引用和1952）写的。Kleene（打印到替代proofs哥德尔的不完全是theorems他们和他们的状态下提高教和easier了解到做。Kleene和Vesley是美国1965（经典）简介：mathematics逻辑和直觉。作为总统的Kleene，配上Symbolic 1956协会——58，逻辑，历史和国际联盟科学院哲学。在1990，1961奖章，他是获得全国科学院。艾略特和他的妻子南希Kleene有四子。他有一个家庭农场lifelong devotion在缅因州的一个avid山。他有一种强烈的登山者，在自然和环境，和原因，在许多conservation是活跃。