ตรรกศาสตร์คลุมเครือ
ตรรกศาสตร์คลุมเครือนั้น สามารถระบุค่าความเป็นสมาชิกของเซต () ด้วยค่าระหว่าง 0 และ 1 ทำให้เกิดระดับกึ่งในลักษณะของ สีเทา นอกจาก ขาว และ ดำ ซึ่งมีประโยชน์ในการจำลองระดับซึ่งสามารถระบุด้วยคำพูด "เล็กน้อย" "ค่อนข้าง" "มาก" โดยใช้ค่าความเป็นสมาชิกของเซตบางส่วน ตรรกศาสตร์คลุมเครือนี้มีความสัมพันธ์กับ เซตวิภัชนัย () และ ทฤษฎีความเป็นไปได้ () ซึ่งคิดค้นขึ้นในปี ค.ศ. 1965 โดยศาสตราจารย์ ลอตฟี ซาเดห์ แห่งมหาวิทยาลัยแห่งรัฐแคลิฟอร์เนีย เบิร์กลีย์
พอล ซีมัวร์
ซีมัวร์ได้รับการยอมรับว่า เป็นผู้ค้นพบทฤษฏีทางด้านเมตริกซ์จำเพาะเต็มตัว (totally unimodular matrices), ทฤษฎีบทสี่สี, ทฤษฏีโรเบิร์ตสัน-ซีมัวร์ บนกราฟไมเนอร์, ทฤษฏีกราฟสมบูรณ์จัด (strong perfect graph theorem), ข้อความคาดการณ์แฮดวิเจอร์ (Hadwiger conjecture), และ claw-free graphs เขาเคยได้รับรางวัลฟัลเคอร์สัน, ในปี 2522, 2537, และปี 2549, รางวัลโปลยา ในปี 2526 และ ปี 2547 และรางวัลออสโทรว์สกี ในปี 2547 และอื่นๆ