ปีเตอร์ บรูซ แอนดรูว์ส
ปีเตอร์ แอนดรูว์ส บรรยายในงานประชุมIJCAR 2012
เกิด	( 1 พฤศจิกายน 1937 )วันที่ 1 พฤศจิกายน พ.ศ. 2480 นครนิวยอร์ก
เสียชีวิต	21 เมษายน 2568 (21 เมษายน 2568)(อายุ 87 ปี) เบอร์ลิงตัน, นอร์ทแคโรไลนา
เป็นที่รู้จักในด้าน	Q0 (ตรรกศาสตร์ทางคณิตศาสตร์) , TPS
คู่สมรส	แคทเธอรีน แคลร์ “เคท” แอนดรูว์ส
เด็ก	ไลล์ บรูซ (โทบี)
ผู้ปกครอง)	แฟรงค์ เอเมอร์สัน, เอดิธ ลิเลียน เซเวอแรนซ์[ 4 ]
รางวัล	รางวัลเฮอร์แบรนด์พ.ศ. 2546 [ 5 ]
ประวัติการศึกษา
การศึกษา	ปริญญาเอกสาขาคณิตศาสตร์[ 1 ]
อัลมา มัธยฐาน	มหาวิทยาลัยพรินซ์ตัน
วิทยานิพนธ์	ทฤษฎีประเภทอนันต์ที่มีตัวแปรประเภท  (1964)
อาจารย์ที่ปรึกษาปริญญาเอก	โบสถ์อลอนโซ่
งานวิชาการ
การลงโทษ	ตรรกศาสตร์ทางคณิตศาสตร์
สาขาย่อย	ทฤษฎีประเภท
สถาบันต่างๆ	มหาวิทยาลัยคาร์เนกีเมลลอน[ 2 ]
นักศึกษาปริญญาเอก	แฟรงค์ เฟนนิง เดล มิลเลอร์ ไมเคิล โคลเฮส
ได้รับอิทธิพล	Wolfgang Bibel [ 3 ]
เว็บไซต์	ปีเตอร์ บี. แอนดรูว์สเก็บถาวรจากต้นฉบับเมื่อวันที่ 19 มกราคม 2022เรียกดูเมื่อวันที่ 6 มิถุนายน 2025

ปีเตอร์ บรูซ แอนดรูว์ส (1 พฤศจิกายน พ.ศ. 2480 – 21 เมษายน พ.ศ. 2568) ^{[ 6 ]}เป็นนักตรรกศาสตร์ทางคณิตศาสตร์ชาวอเมริกัน เขาเป็นผู้สร้างตรรกศาสตร์ทางคณิตศาสตร์ Q ₀นอกจากนี้เขายังได้รับสิทธิบัตรสำหรับระบบผ้าพันแผลที่ช่วยให้เข้าถึงบาดแผลได้โดยไม่ต้องถอดผ้าพันแผลออกทั้งหมด^{[ 7 ]}

กลุ่มวิจัยของเขาออกแบบ TPS ^{[ 8 ]}ซึ่งเป็น ระบบ พิสูจน์ทฤษฎีบทอัตโนมัติสำหรับ ตรรกะ ลำดับที่หนึ่งและลำดับที่สูงกว่าระบบย่อย ETPS ของ TPS ใช้เพื่อช่วยให้นักเรียนเรียนรู้ตรรกะโดยการสร้าง การพิสูจน์ การอนุมานตามธรรมชาติ^แบบโต้ตอบ รหัสต้นฉบับของ TPS มีอยู่ในInternet Archive [ ^{9 ]}

รายชื่อดังกล่าวมีอยู่ในหน้าเว็บส่วนตัวของเขา^{[ 10 ]}

• Andrews, Peter B. (1965). ทฤษฎีประเภทอนันต์ที่มีตัวแปรประเภท . สำนักพิมพ์ North Holland, อัมสเตอร์ดัม.
• Andrews, Peter B. (1971). "การแก้ปัญหาในทฤษฎีประเภท". Journal of Symbolic Logic 36 , 414–432.
• Andrews, Peter B. (1981). "การพิสูจน์ทฤษฎีบทผ่านการจับคู่ทั่วไป". J. Assoc. Comput. 28มีนาคม, ฉบับที่ 2, 193–214.
• แอนดรูว์ส, ปีเตอร์ บี. (1986). บทนำสู่ตรรกศาสตร์ทางคณิตศาสตร์และทฤษฎีประเภท: สู่ความจริงผ่านการพิสูจน์ . วิทยาการคอมพิวเตอร์และคณิตศาสตร์ประยุกต์. ISBN 978-0-1205-8535-9สำนักพิมพ์ Academic Press, Inc., ออร์แลนโด, ฟลอริดา
• Andrews, Peter B. (1989). "เกี่ยวกับการเชื่อมต่อและตรรกะลำดับสูง". J. Automat. Reason. 5 , no. 3, 257–291.
• Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank ; Xi, Hongwei (1996). "TPS: ระบบพิสูจน์ทฤษฎีบทสำหรับทฤษฎีประเภทคลาสสิก". J. Automat. Reason. 16 , no. 3, 321–353.
• แอนดรูว์ส, ปีเตอร์ บี. (2002). บทนำสู่ตรรกศาสตร์ทางคณิตศาสตร์และทฤษฎีประเภท: สู่ความจริงผ่านการพิสูจน์ ฉบับพิมพ์ครั้งที่สอง ชุดตรรกศาสตร์ประยุกต์ เล่มที่ 27 ISBN 978-1-4020-0763-7สำนักพิมพ์ Kluwer Academic Publishers, ดอร์เดรชท์