ริชาร์ด แซค นักตรรกศาสตร์และนักปรัชญาคณิตศาสตร์ชาวแคนาดา

ริชาร์ด แซค เป็นนักตรรกศาสตร์ นักปรัชญาคณิตศาสตร์ และนักประวัติศาสตร์ด้านตรรกศาสตร์และปรัชญาเชิงวิเคราะห์ชาวแคนาดา ปัจจุบันเขาดำรงตำแหน่งศาสตราจารย์ด้านปรัชญาที่มหาวิทยาลัยแคลกะรี (University of Calgary)

งานวิจัยและความเชี่ยวชาญ

งานวิจัยของแซคเน้นไปที่การพัฒนาตรรกศาสตร์เชิงรูปนัยและบุคคลสำคัญทางประวัติศาสตร์ที่มีส่วนเกี่ยวข้องกับการพัฒนานี้ เช่น ดาวิด ฮิลเบิร์ต (David Hilbert), คุร์ท เกอเดล (Kurt Gödel) และ รูดอล์ฟ คาร์แนป (Rudolf Carnap)

ด้านปรัชญาคณิตศาสตร์และตรรกศาสตร์

• ปรัชญาคณิตศาสตร์: แซคได้ศึกษาเกี่ยวกับโครงการของฮิลเบิร์ต (Hilbert's program) และความเกี่ยวข้องทางปรัชญาของทฤษฎีการพิสูจน์ (Proof theory)
• ตรรกศาสตร์คณิตศาสตร์: เขามีผลงานโดดเด่นในด้านทฤษฎีการพิสูจน์ โดยเฉพาะเรื่อง epsilon calculus และความซับซ้อนของการพิสูจน์ (proof complexity)
• ตรรกศาสตร์แบบโมดัลและตรรกศาสตร์หลายค่า: เขามีส่วนร่วมในการพัฒนาตรรกศาสตร์ของเกอเดล (Gödel logic)

ประวัติการศึกษาและเส้นทางอาชีพ

ริชาร์ด แซค สำเร็จการศึกษาระดับปริญญาตรีจากมหาวิทยาลัยเทคโนโลยีเวียนนา (Vienna University of Technology) และสำเร็จการศึกษาระดับปริญญาเอกจากกลุ่มตรรกศาสตร์และระเบียบวิธีทางวิทยาศาสตร์ (Group in Logic and the Methodology of Science) ที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ โดยวิทยานิพนธ์ของเขาในหัวข้อ "Hilbert's Program: Historical, Philosophical, and Metamathematical Perspectives" ได้รับการดูแลโดย Paolo Mancosu และ Jack Silver

เขาเริ่มสอนที่มหาวิทยาลัยแคลกะรีตั้งแต่ปี พ.ศ. 2544 และก้าวขึ้นสู่ตำแหน่งศาสตราจารย์ นอกจากนี้ เขายังเคยดำรงตำแหน่งอาจารย์พิเศษที่มหาวิทยาลัยแคลิฟอร์เนีย เออร์ไวน์ และมหาวิทยาลัยแมคกิลล์

บทบาททางวิชาการและบรรณาธิการ

แซคมีบทบาทสำคัญในแวดวงวิชาการระดับโลก ดังนี้:

• เป็นบรรณาธิการผู้ก่อตั้งของ Review of Symbolic Logic และ Journal for the Study of the History of Analytic Philosophy
• เป็นบรรณาธิการร่วมของ Studia Logica
• เป็นบรรณาธิการด้านเนื้อหาสำหรับ Stanford Encyclopedia of Philosophy ในหัวข้อประวัติศาสตร์ของตรรกศาสตร์สมัยใหม่
• ดำรงตำแหน่งในสภาของสมาคมตรรกศาสตร์เชิงสัญลักษณ์ (Association for Symbolic Logic - ASL) ตั้งแต่ปี พ.ศ. 2551
• เป็นคณะกรรมการบริหารของสมาคมคุร์ท เกอเดล (Kurt Gödel Society)