Computability theorists
นักทฤษฎีความสามารถในการคำนวณ
อ่าน 1 นาทีโบสถ์อลอนโซ่
1903 birthsอลอนโซ เชิร์ช (14 มิถุนายน 1903 – 11 สิงหาคม 1995) เป็นนักวิทยาศาสตร์คอมพิวเตอร์นักคณิตศาสตร์ นักตรรกศาสตร์และนักปรัชญา ชาวอเมริกัน...
อ่าน 1 นาทีวิลเฮล์ม แอคเคอร์มันน์
1896 birthsWilhelm Friedrich Ackermann ( / ˈ æ k ər m ə n / ; ภาษาเยอรมัน: ; 29 มีนาคม 1896 – 24 ธันวาคม 1962) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ ชาวเยอรมัน...
อ่าน 1 นาทีวิลเลียม เครก (นักปรัชญา)
1918 birthsวิลเลียม เครก (13 พฤศจิกายน พ.ศ. 2461 – 13 มกราคม พ.ศ. 2559) เป็นนักวิชาการนักตรรกศาสตร์ และนักปรัชญาชาวอเมริกัน ผู้สอนอยู่ที่มหาวิทยาลัยแคลิฟอร์เนีย
อ่าน 1 นาทีลูอิส เฮย์ (นักคณิตศาสตร์)
1935 birthsลูอิส เฮย์ (14 มิถุนายน 1935 – 28 ตุลาคม 1989) เป็นนักคณิตศาสตร์ ชาวอเมริกันที่เกิดในฝรั่งเศส
อ่าน 1 นาทีเจฟฟรีย์ บี. เรมเมล
1948 birthsเจฟฟรีย์ ไบรอัน เรมเมล (12 ตุลาคม พ.ศ. 2491 – 29 กันยายน พ.ศ.
อ่าน 1 นาทีอัลเฟรด ทาร์สกี
1901 birthsAlfred Tarski ( / ˈ t ɑːr s k i / ; ภาษาโปแลนด์: ; เกิดชื่อAlfred Teitelbaum ; 14 มกราคม 1901 – 26 ตุลาคม 1983) เป็นนักตรรกศาสตร์และนักคณิตศาสตร์ ชาวโปแลนด์-อเมริกัน...
อ่าน 1 นาทีสตีเฟน โคล คลีน
1909 birthsStephen Cole Kleene ( / ˈ k l eɪ n i / KLAY -nee ; 5 มกราคม 1909 – 25 มกราคม 1994) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ ชาวอเมริกัน Kleene เป็นหนึ่งในลูกศิษย์ของAlonzo...
อ่าน 1 นาทีเมลวิน ฟิตติ้ง
1942 birthsเมลวิน ฟิตติ้ง (เกิด 24 มกราคม พ.ศ. 2485) เป็นนักตรรกศาสตร์ที่มีความสนใจเป็นพิเศษในตรรกศาสตร์เชิงปรัชญาและระบบการพิสูจน์แบบตารางเขาเป็นศาสตราจารย์ที่วิทยาลัยเลห์แมนและศูนย์บัณฑิตศึ...
อ่าน 1 นาทีวิลเลียม กาซาร์ช
1959 birthsWilliam Ian Gasarch ( / ɡ ə ˈ s ɑː r ʃ / gə- SARSH ; เกิดปี 1959 ) เป็นนักวิทยาศาสตร์คอมพิวเตอร์ชาวอเมริกันที่มีชื่อเสียงจากผลงานด้านทฤษฎีความซับซ้อนของการคำนวณทฤษฎี ความสามารถ...
อ่าน 1 นาทีอลัน ทัวริง
1912 birthsอลัน แมธิสัน ทิวริง ( / ˈ tj ʊər ɪ ŋ / ; 23 มิถุนายน1912 – 7 มิถุนายน 1954) เป็นนักคณิตศาสตร์นักวิทยาศาสตร์คอมพิวเตอร์นักตรรกศาสตร์นักวิเคราะห์รหัสนักปรัชญาและนักชีววิทยาเชิงทฤษฎี.
อ่าน 1 นาทีเอมิล ลีออน โพสต์
1897 birthsเอมิล ลีออน โพสต์ ( / p oʊ s t / ; 11 กุมภาพันธ์ 1897 – 21 เมษายน 1954) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ ชาวอเมริกัน...
อ่าน 1 นาทีโรซา ปีเตอร์
1905 birthsRózsa Péterจนถึงเดือนมกราคม พ.ศ. 2477 Rózsa Politzer (17 กุมภาพันธ์ พ.ศ. 2448 – 16 กุมภาพันธ์ พ.ศ.
อ่าน 1 นาทีอันเดรย์ กรีเซกอร์ชิก
1922 birthsAndrzej Grzegorczyk ( ; 22 สิงหาคม 1922 – 20 มีนาคม 2014) เป็นนักตรรกศาสตร์นักคณิตศาสตร์นักปรัชญาและนักจริยธรรม ชาวโปแลนด์...