Stephen C Kleene's father was Gusta

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 Gödel - 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, Gödel, 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

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

Stephen C Kleene พ่อกุสตาฟ Adolph Kleene ศาสตราจารย์ทางเศรษฐศาสตร์ที่วิทยาลัยทรินิตี้ ฮาร์ทฟอร์ด คอนเนตทิคัตในเวลาเกิดของบุตร เขายังคงมีเหลือของอาชีพของเขา เขาถอน กลายเป็น ศาสตราจารย์ emeritus และเสียชีวิตที่ร้อนของบ้านในสหภาพ เมน 1946 สิงหาคม บ้านนี้อยู่ที่ฟาร์มในเมนซึ่งพ่อของกุสตาฟ และกุสตาฟและบุตร Stephen ถือว่าฟาร์มนี้ของพวกเขา 'จริงบ้าน' กุสตาฟเขียนหนังสือเช่นปัญหาค่าจ้างแพทย์กุศล (1904) และกำไร: การศึกษาในการกระจายรายได้ (1916) แม่ของ Stephen อลิน้ำลีนาโคลซึ่งเป็นกวีและนักเขียนบทละครได้ ก่อนแต่ง เธอเผยแพร่บทกวีเช่นคดีเผยแพร่ในเยาวชนสหาย (ค.ศ. 1892), ผึ้งตายตีพิมพ์ในศตวรรษ (ย่าน), สะกดหายไปเผยแพร่ในแอตแลนติกรายเดือน (1900) และหนีออกมาเผยแพร่ในแอตแลนติกรายเดือน (1900) หลังจากเธอแต่งงาน เธอเผยแพร่ KIRSTIN KIRSTIN เล่นในสี่กระทำ (1914) ภายใต้ชื่อของเธอแต่งงานอลิโคล Kleene จะถูกอธิบาย โดยนักวิจารณ์ในเดอะนิวยอร์กไทมส์เป็นแบบ "สวยเล่นกับเพลงที่สง่างาม"Stephen Kleene ศึกษาปริญญาเขาแรกที่วิทยา ลัยแอมเฮิสท์ แอมเฮิสท์ รัฐ แมสซาชูเซตส์ ได้รับปริญญาตรี summa ที่ cum laude ใน 1930 เขาแล้วไปที่เขาศึกษาเอกได้พาสปอร์ต Alonso โบสถ์มหาวิทยาลัยปรินซ์ตัน มันได้ออสวาลด์เฉิงอินเตอร์ Veblen ซึ่งได้เสนอว่า การพัฒนาตรรกะต้องวิเคราะห์อย่างระมัดระวัง โดย mathematicians คริสตจักร หนึ่งในนักเรียนของ Veblen ได้แต่งตั้งให้ปรินซ์ตันในปีพ.ศ. 2472 และได้ทำให้ความก้าวหน้าโดดเด่นในบริเวณนี้ J Barkley Rosser ยังเป็นนักศึกษาเอกของคริสตจักรที่ปรินซ์ตัน มาถึงในปี 1933 ขณะ Kleene มี ก็แน่นอนสถานที่น่าตื่นเต้นให้ กิจการวิจัยใช้เทคนิคทางคณิตศาสตร์ตรรกะกับนักท่องเที่ยวเช่น Kurt Gödel - Kleene เข้าร่วมหลักสูตรเขาให้สถาบันศึกษาขั้นสูง Kleene รับเป็นเอกจากพรินซ์ตันในวิทยานิพนธ์ของเขาที่ได้รับ A ทฤษฎีของจำนวนเต็มบวกในแบบทางตรรกะใน 1934 เขาเขียนในวิทยานิพนธ์ของเขาที่นำ:...เราจะเกี่ยวข้องกับการพัฒนาของระบบตรรกะตามชุดของ postulates ที่เสนอ โดยคริสตจักร A หลักการ วัตถุของเราคือการ สาธิต empirically ระบบเพียงพอสำหรับทฤษฎีของจำนวนเต็มบวก โดยก่อสร้างเป็นส่วนสำคัญของทฤษฎีภายในระบบอย่างมีระดับ โดยดำเนินการก่อสร้างโดยเฉพาะชุดย่อยของสัจพจน์ทางคริสตจักร เราแสดงว่า ส่วนนี้น้อยของทฤษฎีของจำนวนเต็มบวกสามารถมี deduced จากตรรกะโดยไม่ใช้ความเข้าใจของนิเสธ คลาส และคำอธิบายหลังจากรางวัลพระเอก Kleene สอนที่ปรินซ์ตันจนกว่าร่วมงานกับมหาวิทยาลัยวิสคอนซินเมดิสันเป็นอาจารย์ในปี 1935 ที่ เขาได้เลื่อนขั้นเป็นผู้ช่วยศาสตราจารย์ที่วิสคอนซินในปี 1937 ก่อนทิ้งใน 1941 (ความสุขที่ล้มเหลวที่จะส่งเสริมให้เกิด) เป็น ศาสตราจารย์ที่วิทยาลัยมเฮิร์ทซึ่งเขาได้ศึกษาในระดับแรกของเขา ในปี 1942 เขาแต่งงานซีเอลเลียต พวกเขาสี่เด็ก Paul, Kenneth บรูซ และแนนซี่ Nancy Elliot เป็นลูกสาวของจอร์จรอยต อาจารย์ภาษาอังกฤษที่วิทยาลัยมเฮิร์ทและนักวิจารณ์วรรณกรรมที่ความในเชกสเปียร์ นอกจากนี้ ในปี 1942 Kleene ซ้ายแอมเฮิสท์วิทยาลัยรับบริการสงครามกองทัพเรือสหรัฐเป็นผู้นำทางโรงเรียนการเรือสำรองบัญชาการของนิวยอร์ก ภายหลังเขาได้เป็นกรรมการโครงการที่ห้องปฏิบัติการวิจัยกองทัพเรือในวอชิงตันดีซี ตามเวลาเขาออกจากกองทัพเรือหลังจากสิ้นสุดสงครามโลกครั้งที่สอง Kleene ได้เกิดขึ้นกับตำแหน่งของผู้บัญชาการโทเขากลับไปมหาวิทยาลัยวิสคอนซินที่เมดิสันในปี 1946 เป็นศาสตราจารย์กำลังเลื่อนขั้นเป็นศาสตราจารย์เต็มสองปีต่อมา ในปี 1964 เขาชื่อว่าศาสตราจารย์ Duffee C นอน และยังคงกดค้างไว้ที่เก้าอี้จนเขาปลดเกษียณในปีค.ศ. 1979 เขาเสิร์ฟสองเงื่อนไขเป็นเก้าอี้ของภาควิชาคณิตศาสตร์และเก้าอี้ของแผนกเลขวิเคราะห์คำหนึ่ง (ภายหลังเปลี่ยนชื่อแผนกวิทย์) เขายังทำหน้าที่เป็นคณบดีวิทยาลัยอักษรและวิทยาศาสตร์ใน 1969-74 ในระหว่างปีของเขาที่มหาวิทยาลัยวิสคอนซิน กำลังปรึกษาวิทยานิพนธ์นักศึกษาปริญญาเอก 13ในปี 1970 Kleene ของ Nancy ภรรยาเสียชีวิต แปดปีต่อมาเขาแต่งงานใหม่ฌอง Steinmetz เขาตายของโรคอายุ 85วิจัยของ Kleene ถูกบนทฤษฎีของอัลกอริทึมแบบเรียกซ้ำฟังก์ชันทฤษฎี พื้นที่ที่เขาสร้าง และรักษาความสนใจในตลอดชีวิตของเขา เขาพัฒนาด้านการสอบทฤษฎี ด้วยโบสถ์ Gödel ทัวริง และอื่น ๆ เขาส่วน Intuitionism ทางคณิตศาสตร์ซึ่งได้ก่อตั้งขึ้น โดย Brouwer โดยเฉพาะ เขา lectured ฟังก์ชันแบบเรียกซ้ำและคณิตศาสตร์ intuitionistic ที่คองเกรส Mathematicians ของนานาชาติในเคมบริดจ์ แมสซาชูเซตส์ ในปี 1950 ในการบรรยายนี้ เขาพูดเกี่ยวกับว่าเขาตีความทฤษฎีจำนวน intuitionistic โดย "รับรู้" อาจขยายไปยังทฤษฎีเซต intuitionistic เขาสำรวจความคิดเหล่านี้เพิ่มเติม

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

สตีเฟ่นซีพ่อ Kleene เป็นกุสตาฟ Adolph Kleene, ศาสตราจารย์ทางเศรษฐศาสตร์ที่ Trinity College, ฮาร์ตฟอร์ดในเวลาที่เกิดลูกชายของเขา เขามีอยู่สำหรับส่วนที่เหลือของอาชีพของเขา เขาเกษียณกลายเป็นศาสตราจารย์กิตติคุณและเสียชีวิตที่บ้านในช่วงฤดูร้อนของเขาในยูเนี่ยนเมนในเดือนสิงหาคม 1946 นี้บ้านที่อยู่ในฟาร์มในรัฐเมนที่ได้รับกุสตาฟของพ่อและทั้งสองกุสตาฟและลูกชายของเขาสตีเฟ่นถือเป็นฟาร์มแห่งนี้ของพวกเขา 'บ้านที่แท้จริง. กุสตาฟเขียนหนังสือเช่นปัญหาขององค์กรการกุศลทางการแพทย์ (1904) และกำไรและค่าจ้าง: การศึกษาในการกระจายของรายได้ (1916) แม่ของสตีเฟ่นเป็นอลิซลีโคลที่เป็นกวีและนักเขียนบทละคร ก่อนที่จะแต่งงานกับเธอตีพิมพ์บทกวีเช่นคดีที่ตีพิมพ์ในคู่หูของเยาวชน (1892), ผึ้งตายที่ตีพิมพ์ในศตวรรษ (1899) คาถาหายไปตีพิมพ์ในมหาสมุทรแอตแลนติกเดือน (1900) และหนีการตีพิมพ์ในมหาสมุทรแอตแลนติกเดือน (1900) หลังจากการแต่งงานของเธอเธอตีพิมพ์ Kirstin; Kirstin เล่นในสี่บารมี (1914) ภายใต้ชื่อเธอแต่งงานอลิซโคล Kleene มันถูกอธิบายโดยนักวิจารณ์ในนิวยอร์กไทม์สเป็น "เล่นสวยกับเนื้อเพลงที่สง่างาม." สตีเฟ่น Kleene ศึกษาปริญญาแรกของเขาที่วิทยาลัย Amherst, Amherst, แมสซาชูเซตได้รับรางวัลตรีปริญญาเกียรตินิยมอันดับหนึ่งในปี 1930 จากนั้นเขาก็ไป พรินซ์ตันกับมหาวิทยาลัยที่ศึกษาเอกของเขาถูกดูแลโดยคริสตจักรอลอนโซ่ มันเคย Oswald Veblen ที่ได้เสนอว่าการพัฒนาของตรรกะที่จำเป็นในการวิเคราะห์ระมัดระวังโดยนักคณิตศาสตร์ คริสตจักรหนึ่งในนักเรียนของ Veblen ได้รับการแต่งตั้งให้พรินซ์ตันในปี 1929 และได้รับการทำให้ความก้าวหน้าที่โดดเด่นในพื้นที่นี้ เจร็อสบาร์คลีย์ยังเป็นนักศึกษาปริญญาเอกของคริสตจักรที่พรินซ์ตันที่เดินทางมาถึงในปี 1933 ในขณะที่ Kleene อยู่ที่นั่น มันก็แน่นอนเป็นสถานที่ที่น่าตื่นเต้นที่จะได้รับการวิจัยการประยุกต์ใช้เทคนิคทางคณิตศาสตร์ตรรกะกับผู้เข้าชมเช่น Kurt Gödel - Kleene เข้าร่วมหลักสูตรที่เขาให้ที่สถาบันการศึกษาระดับสูง Kleene ได้รับปริญญาเอกจาก Princeton สำหรับวิทยานิพนธ์ของเขาที่ชื่อทฤษฎีของจำนวนเต็มบวกในลอจิกอย่างเป็นทางการในปี 1934 เขาเขียนในเบื้องต้นเกี่ยวกับการทำวิทยานิพนธ์ของเขา: ... เราจะต้องกังวลเกี่ยวเนื่องกับการพัฒนาระบบการทำงานของตรรกะขึ้นอยู่กับการตั้งค่า ของ postulates ที่เสนอโดยคริสตจักร วัตถุของเราคือการแสดงให้เห็นถึงสังเกตุว่าระบบมีเพียงพอสำหรับทฤษฎีของจำนวนเต็มบวกโดยจัดแสดงการก่อสร้างเป็นส่วนสำคัญของทฤษฎีที่อยู่ในระบบ โดยการดำเนินการก่อสร้างบนพื้นฐานของการย่อยหนึ่งของคริสตจักรหลักการอย่างเป็นทางการที่เราแสดงให้เห็นว่าส่วนที่น้อยที่สุดของทฤษฎีของจำนวนเต็มบวกนี้จะสามารถสรุปได้จากตรรกะโดยไม่ต้องใช้ความคิดของการปฏิเสธในชั้นเรียนและรายละเอียด. หลังจากที่ รางวัลของปริญญาเอกของเขา Kleene สอนที่ Princeton จนกว่าเขาจะเข้าร่วมมหาวิทยาลัยวิสคอนซินเมดิสันเป็นอาจารย์ในปี 1935 เขาได้รับการเลื่อนตำแหน่งให้เป็นผู้ช่วยศาสตราจารย์ที่วิสคอนซินในปี 1937 ก่อนที่จะออกในปี 1941 (ที่ไม่มีความสุขที่ความล้มเหลวของเขาที่จะได้รับการเลื่อน) ที่จะกลายเป็นผู้ช่วย ศาสตราจารย์กลับมาที่วิทยาลัยเมิร์สต์ที่เขาได้ศึกษาในระดับปริญญาครั้งแรกของเขา ในปี 1942 เขาแต่งงานกับแนนซี่เอลเลียต; พวกเขามีลูกสี่คนพอลเคนเน ธ บรูซ, และแนนซี่ แนนเอลเลียตเป็นลูกสาวของจอร์จเอลเลียตรอยศาสตราจารย์วิชาภาษาอังกฤษที่วิทยาลัยเมิร์สต์และนักวิจารณ์วรรณกรรมที่เชี่ยวชาญในการเช็คสเปียร์ นอกจากนี้ในปี 1942 เหลือ Kleene Amherst วิทยาลัยที่จะดำเนินการให้บริการทำสงครามกับกองทัพเรือสหรัฐเป็นผู้สอนนำทางที่โรงเรียนนายเรือสำรอง Midshipmen ในนิวยอร์ก ต่อมาเขาเป็นผู้อำนวยการโครงการที่ศุนย์วิจัยทดลองในวอชิงตัน ดี.ซี. เมื่อถึงเวลาที่เขาจะออกจากกองทัพเรือหลังจากการสิ้นสุดของสงครามโลกครั้งที่สองที่ Kleene ได้เพิ่มขึ้นในการจัดอันดับของผู้บัญชาการโท. เขากลับไปยังมหาวิทยาลัยวิสคอนซินเมดิสันในปี 1946 เป็นรองศาสตราจารย์การส่งเสริมให้อาจารย์เต็มสองปีต่อมา ในปี 1964 เขาถูกเสนอชื่อไซรัสซี Duffee ศาสตราจารย์และยังคงยึดเก้าอี้ที่จนกว่าเขาจะออกในปี 1979 เขาทำหน้าที่ทั้งสองคำเป็นประธานของภาควิชาคณิตศาสตร์และระยะหนึ่งเป็นประธานของกรมการวิเคราะห์เชิงตัวเลข (ภายหลังเปลี่ยนชื่อกรม วิทยาการคอมพิวเตอร์) นอกจากนี้เขายังทำหน้าที่เป็นคณบดีวิทยาลัยของตัวอักษรและวิทยาศาสตร์ 1969-1974 ในช่วงปีที่ผ่านมาที่มหาวิทยาลัยวิสคอนซินเขาเป็นที่ปรึกษาวิทยานิพนธ์ปริญญาเอก 13 นักเรียน. ในปี 1970 ภรรยาของแนนซี่ Kleene เสียชีวิต แปดปีต่อมาเขาแต่งงาน Jeanne Steinmetz เขาเสียชีวิตด้วยโรคปอดบวมอายุ 85 วิจัย Kleene ของอยู่ในทฤษฎีของขั้นตอนวิธีการและทฤษฎีฟังก์ชันเวียนพื้นที่ที่เขาสร้างขึ้นและส่วนได้เสียในตลอดชีวิตของเขาเป็นนักการ เขาได้พัฒนาด้านการทฤษฎีการเรียกซ้ำกับคริสตจักรGödelทัวริงและคนอื่น ๆ เขามีส่วนในการ Intuitionism ทางคณิตศาสตร์ที่ได้รับการก่อตั้งขึ้นโดยเว่อร์ โดยเฉพาะอย่างยิ่งเขา lectured ในการทำงานซ้ำและคณิตศาสตร์ intuitionistic ในระหว่างการประชุม Mathematicians ในเคมบริดจ์, แมสซาชูเซตในปี 1950 ในการบรรยายนี้เขาพูดเกี่ยวกับวิธีการตีความของทฤษฎีจำนวน intuitionistic โดยวิธีการของ "ก่อให้เกิด" อาจจะขยายไปยัง intuitionistic ตั้งทฤษฎี . เขาสำรวจความคิดเหล่านี้ต่อไป