Mathematical logicians
นักตรรกวิทยาทางคณิตศาสตร์
อ่าน 1 นาทีโบสถ์อลอนโซ่
1903 birthsอลอนโซ เชิร์ช (14 มิถุนายน 1903 – 11 สิงหาคม 1995) เป็นนักวิทยาศาสตร์คอมพิวเตอร์นักคณิตศาสตร์ นักตรรกศาสตร์และนักปรัชญา ชาวอเมริกัน...
อ่าน 1 นาทีแมรี่ ไทล์ส
1946 birthsแมรี ไทล์ส (เกิด 6 มีนาคม พ.ศ. 2489 ) เป็นนักปรัชญาและนักประวัติศาสตร์คณิตศาสตร์และวิทยาศาสตร์ชาวอเมริกัน ตั้งแต่ปี พ.ศ. 2549 ถึง พ.ศ.
อ่าน 1 นาทีเฮงค์ บาเรนเดรกต์
1947 birthsHendrik Pieter (Henk) Barendregt (เกิด 18 ธันวาคม พ.ศ. 2490 ที่อัมสเตอร์ดัม ) เป็นนักตรรกศาสตร์ ชาวดัตช์ เป็นที่รู้จักจากผลงานของเขาในด้านแคลคูลัสแลมบ์ดาและทฤษฎีประเภท
อ่าน 1 นาทีเพอร์ มาร์ติน-โลฟ
1942 birthsPer Erik Rutger Martin-Löf ( / l ɒ f / ; สวีเดน: ; เกิด 8 พฤษภาคม 1942) เป็นนักตรรกศาสตร์นักปรัชญาและนักสถิติคณิตศาสตร์ชาวสวีเดน...
อ่าน 1 นาทีอัลเฟรด ทาร์สกี
1901 birthsAlfred Tarski ( / ˈ t ɑːr s k i / ; ภาษาโปแลนด์: ; เกิดชื่อAlfred Teitelbaum ; 14 มกราคม 1901 – 26 ตุลาคม 1983) เป็นนักตรรกศาสตร์และนักคณิตศาสตร์ ชาวโปแลนด์-อเมริกัน...
อ่าน 1 นาทีเอิร์นส์ เซอร์เมโล
1871 birthsเอิร์นสต์ ฟรีดริช เฟอร์ดินานด์ เซอร์เมโล ( / z ɜːr ˈ m ɛ l oʊ / ; ภาษาเยอรมัน: ; 27 กรกฎาคม 1871 – 21 พฤษภาคม 1953) เป็นนักตรรกศาสตร์และนักคณิตศาสตร์ ชาวเยอรมัน
อ่าน 1 นาทีอับราฮัม โรบินสัน
1918 birthsอับราฮัม โรบินสัน (เกิดโรบินสัน ; 6 ตุลาคม 1918 – 11 เมษายน 1974) เป็นนักคณิตศาสตร์ที่เป็นที่รู้จักอย่างกว้างขวางที่สุดจากการพัฒนาการวิเคราะห์แบบไม่มาตรฐานซึ่งเป็นระบบที่เข้มงวดทาง...
อ่าน 1 นาทีพอล เบอร์เนย์ส
1888 birthsพอล ไอแซค เบอร์เนย์ส ( / b ɜːr ˈ n eɪ z / bur- NAYZ ; ภาษาเยอรมันมาตรฐานสวิส: ; 17 ตุลาคม 1888 – 18 กันยายน 1977) เป็น นักคณิตศาสตร์ ชาวส วิส...
จอห์น ดับเบิลยู. ดอว์สัน จูเนียร์
1944 birthsJohn William Dawson, Jr. (เกิด 4 กุมภาพันธ์ พ.ศ. 2487) เป็นนักวิชาการชาวอเมริกันที่เป็นศาสตราจารย์กิตติคุณด้านคณิตศาสตร์ที่Penn State York
อ่าน 1 นาทีซิกฟรีด ก็อตต์วาลด์
1943 birthsSiegfried Johannes Gottwald (30 มีนาคม พ.ศ. 2486 – 20 กันยายน พ.ศ. 2558) เป็นนักคณิตศาสตร์นักตรรกศาสตร์และ นัก ประวัติศาสตร์วิทยาศาสตร์ ชาวเยอรมัน
อ่าน 1 นาทีโรบิน แกนดี้
1919 birthsRobin Oliver Gandy (22 กันยายน 1919 – 20 พฤศจิกายน 1995) เป็นนักคณิตศาสตร์และนักตรรกศาสตร์ชาว อังกฤษ เขาเป็นเพื่อน นักศึกษา และผู้ร่วมงานของAlan Turingโดยได้รับการดูแลจาก Turing...
อ่าน 1 นาทีแดน วิลลาร์ด
1948 birthsแดน เอ็ดเวิร์ด วิลลาร์ด (19 กันยายน พ.ศ. 2491 – 21 มกราคม พ.ศ.
อ่าน 1 นาทีลาซโล คาลมาร์
1905 birthsLászló Kalmár ( ฮังการี : Kalmár László ; 27 มีนาคม พ.ศ. 2448 Edde – 2 สิงหาคม พ.ศ.
อ่าน 1 นาทีเบอร์แทรนด์ รัสเซลล์
1872 birthsเบอร์แทรนด์ อาร์เธอร์ วิลเลียม รัสเซลล์ เอิร์ลรัสเซลล์ที่ 3 (18 พฤษภาคม 1872 – 2 กุมภาพันธ์ 1970) เป็น นักปรัชญา นักตรรกศาสตร์ นักคณิตศาสตร์ และปัญญาชนสาธารณะ ชาวอังกฤษ...
อ่าน 1 นาทีเยโฮชัว บาร์-ฮิลเลล
1915 birthsYehoshua Bar-Hillel ( ฮีบรู : יהושע בר-הלל ; 8 กันยายน พ.ศ. 2458 - 25 กันยายน พ.ศ.
อ่าน 1 นาทีเลเจ บราวเวอร์
1881 birthsLuitzen Egbertus Jan " Bertus " Brouwer (27 กุมภาพันธ์ 1881 – 2 ธันวาคม 1966) เป็นนักคณิตศาสตร์และนักปรัชญา ชาวดัตช์ ที่ทำงานด้านโทโพโลยีทฤษฎีเซตทฤษฎีการวัดและ การ...
อ่าน 1 นาทีฌอง เอ. ลาร์สัน
20th-century American mathematiciansJean Ann Larsonเป็นนักคณิตศาสตร์ชาวอเมริกัน เธอเป็นนักทฤษฎีเซตนักประวัติศาสตร์ตรรกศาสตร์คณิตศาสตร์และอดีตศาสตราจารย์ที่มหาวิทยาลัยฟลอริดา
อ่าน 1 นาทีปีเตอร์ แอคเซล
1941 birthsPeter Henry George Aczel ( / ˈ æ k s əl / ; 31 ตุลาคม 1941 – 1 สิงหาคม 2023) เป็นนักคณิตศาสตร์ นักตรรกศาสตร์ และศาสตราจารย์กิตติคุณร่วม ชาวอังกฤษ...
อ่าน 1 นาทีเฮลมุต ชวิชเทนเบิร์ก
1942 birthsHelmut Schwichtenberg (เกิด 5 เมษายน พ.ศ. 2485 ) เป็นนักตรรกศาสตร์คณิตศาสตร์ ชาว เยอรมัน
อ่าน 1 นาทีอัลเบิร์ต โวลสเตตเตอร์
1913 birthsอัลเบิร์ต เจมส์ โวลสเตตเตอร์ (19 ธันวาคม 1913 – 10 มกราคม 1997) เป็นนักวิทยาศาสตร์การเมืองชาวอเมริกันที่มีชื่อเสียงจากการมีอิทธิพลต่อยุทธศาสตร์นิวเคลียร์ของสหรัฐฯ
อ่าน 1 นาทีฮาร์วีย์ ฟรีดแมน (นักคณิตศาสตร์)
1948 birthsHarvey Friedman (เกิด 23 กันยายน พ.ศ. 2491) เป็นนักตรรกศาสตร์คณิตศาสตร์ ชาวอเมริกัน ที่มหาวิทยาลัยโอไฮโอสเตทในโคลัมบัส
อ่าน 1 นาทีไฮน์ริช โชลซ์
1884 birthsไฮน์ริช โชลซ์ ( ภาษาเยอรมัน: ; 17 ธันวาคม 1884 – 30 ธันวาคม 1956) เป็นนักตรรกศาสตร์นักปรัชญาและนักเทววิทยาโปรเตสแตนต์ ชาวเยอรมัน เขาเป็นเพื่อนร่วมงานของอลัน...
อ่าน 1 นาทีเอเดรียน มาเธียส
1944 birthsเอเดรียน ริชาร์ด เดวิด มาเธียส (เกิด 12 กุมภาพันธ์ 1944) เป็นนักคณิตศาสตร์ชาวอังกฤษที่ทำงานด้านทฤษฎีเซตแนวคิดการบังคับ(Mathias forcing ) ได้รับการตั้งชื่อตามเขา
อ่าน 1 นาทีจอน บาร์ไวส์
1942 birthsKenneth Jon Barwise ( / ˈ b ɑːr w aɪ z / ; 29 มิถุนายน 1942 – 5 มีนาคม 2000) เป็นนักคณิตศาสตร์นักปรัชญาและนักตรรกศาสตร์ ชาวอเมริกัน...