His thesis, entitled A Theory of Po

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.

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

วิทยานิพนธ์ของเขา ได้รับ A ทฤษฎีของจำนวนเต็มบวกในแบบทางตรรกะ มีพาสปอร์ตอลอนโซเชิร์ช ในช่วงทศวรรษ 1930 เขาไม่ได้ทำงานสำคัญในแคลคูลัสแลมบ์ดาของคริสตจักร ในปี 1935 เขาร่วมแผนกคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินแมดิสัน ซึ่งเขาใช้เวลาเกือบทั้งหมดของอาชีพของเขา หลังจากสองปีเป็นอาจารย์ เขาถูกแต่งตั้งผู้ช่วยศาสตราจารย์ในปี 1937

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

วิทยานิพนธ์ของเขาที่มีชื่อว่าทฤษฎีของจำนวนเต็มบวกในลอจิกอย่างเป็นทางการและถูกดูแลโดยคริสตจักรอลองโซ ในช่วงทศวรรษที่ 1930 เขาได้ทำงานที่สำคัญในแคลคูลัสแลมบ์ดาคริสตจักร ในปี 1935 เขาเข้าร่วมกับภาควิชาคณิตศาสตร์ที่มหาวิทยาลัยวิสคอนซินแมดิสันซึ่งเขาใช้เวลาเกือบทั้งหมดในอาชีพของเขา หลังจากนั้นสองปีเป็นอาจารย์เขาได้รับการแต่งตั้งผู้ช่วยศาสตราจารย์ในปี 1937