Kleene was initially a student unde

Kleene was initially a student under Alonzo Church where did important work on the Lambda calculus. Most notably at the University of Wisconsin he invented the regular expression, and laid the foundation of the recursion theory.

Kleene’s work on Gödel’s incompleteness theorem ensured that it was better understood by the science community and easier to teach.

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

Kleene เริ่มมีนักเรียนภายใต้อลอนโซเชิร์ชที่ได้ทำงานสำคัญในแคลคูลัสแลมบ์ดา ส่วนใหญ่ที่มหาวิทยาลัยวิสคอนซิน เขาคิดค้นนิพจน์ทั่วไป และวางรากฐานของทฤษฎีที่สอบงานของ Kleene ทฤษฎีบทของเกอเดลมั่นใจว่า มันถูกดีเข้าใจ โดยชุมชนวิทยาศาสตร์ และง่ายสอน

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

Kleene เป็นคนแรกที่นักศึกษาภายใต้โบสถ์อลองโซที่ได้ทำงานที่สำคัญในแคลคูลัสแลมบ์ดา ที่สะดุดตาที่สุดที่มหาวิทยาลัยวิสคอนซินเขาคิดค้นการแสดงออกปกติและวางรากฐานของทฤษฎีการเรียกซ้ำที่. ทำงาน Kleene ในทฤษฎีบทไม่สมบูรณ์ของGödelทำให้มั่นใจได้ว่ามันเป็นที่เข้าใจกันดีขึ้นโดยชุมชนวิทยาศาสตร์และง่ายต่อการสอน