tephen Cole Kleene (January 5, 1909

tephen Cole Kleene (January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene's work grounds the study of which functions are computable. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixpoint theorem. He also invented regular expressions, and made significant contributions to the foundations of mathematical intuitionism.

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

tephen Kleene โคล (5 มกราคม 1909 – 25 มกราคม 1994) เป็นนักคณิตศาสตร์ชาวอเมริกันได้ อลอนโซเชิร์ช Kleene ทัวริ ง Alan, emil โอลง และคน อื่น ๆ นักศึกษาอย่างใดอย่างหนึ่งเป็นรู้จักกันดีเป็นสาขาของคณิตศาสตร์ตรรกะเรียกว่าสอบทฤษฎี ซึ่งช่วยให้รากฐานของวิทยาการคอมพิวเตอร์ทฤษฎีต่อมา ผู้ก่อตั้ง งานของ Kleene grounds ศึกษาซึ่งฟังก์ชันเป็น computable ตั้งชื่อหลังจากเขาจำนวนแนวคิดคณิตศาสตร์: Kleene ลำดับชั้น พีชคณิต Kleene ดาว Kleene (Kleene ปิด), ทฤษฎีบทของ Kleene และทฤษฎีบท fixpoint Kleene เขายังคิดค้นนิพจน์ทั่วไป และทำสำคัญจัดสรรให้มูลนิธิของ intuitionism คณิตศาสตร์

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

tephen โคล Kleene (5 มกราคม 1909 - 25 มกราคม 1994) เป็นนักคณิตศาสตร์ชาวอเมริกัน นักเรียนคนหนึ่งของคริสตจักรอลองโซ, Kleene พร้อมกับอลันทัวริง, เอมิลโพสต์และอื่น ๆ ที่เป็นที่รู้จักกันดีในฐานะผู้ก่อตั้งสาขาของตรรกะทางคณิตศาสตร์ที่เรียกว่าทฤษฎี recursion ซึ่งช่วยในภายหลังเพื่อให้ฐานรากของวิชาวิทยาการคอมพิวเตอร์ Kleene ของบริเวณการทำงานการศึกษาซึ่งฟังก์ชั่นที่มีการคำนวณ จำนวนของแนวคิดทางคณิตศาสตร์ได้รับการตั้งชื่อตามเขา: ลำดับชั้น Kleene พีชคณิต Kleene ดาว Kleene (ปิด Kleene) ทฤษฎีบทเวียนบังเกิดของคลีนและ Kleene ทฤษฎีบท Fixpoint นอกจากนี้เขายังเป็นผู้คิดค้นการแสดงออกปกติและได้มีส่วนร่วมสำคัญในการวางรากฐานของ intuitionism คณิตศาสตร์

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

tephen โคล kleene ( 5 มกราคม 1909 – 25 มกราคม 1994 ) เป็นนักคณิตศาสตร์ชาวอเมริกัน นักเรียนคนหนึ่งของอลองโซโบสถ์ kleene พร้อมกับอลัน ทัวริง อีมิล โพสต์ และ อื่น ๆ เป็นที่รู้จักกันดีในฐานะผู้ก่อตั้งของสาขาของตรรกะทางคณิตศาสตร์ที่เรียกว่าทฤษฎีการเรียกซ้ำซึ่งต่อมาช่วยให้รากฐานของวิทยาศาสตร์คอมพิวเตอร์ตามทฤษฎีkleene งานพื้นที่การศึกษาซึ่งมีฟังก์ชันที่คิดคำนวณได้ จำนวนของแนวความคิดทางคณิตศาสตร์เป็นชื่อหลังจากเขา kleene ลำดับชั้น พีชคณิต kleene , kleene ดาว ( ปิด kleene ) , ทฤษฎีบทเวียนบังเกิดของคลีน และ kleene fixpoint ทฤษฎีบท เขายังคิดค้นการแสดงออกปกติและให้ความสำคัญต่อรากฐานของ intuitionism ทางคณิตศาสตร์