1 'อิสซาเบล' (นักทฤษฎีบท) ได้ชื่อมาอย่างไร? ชื่อกล่าวมันทั้งหมด แต่ฉันอยากรู้อยากเห็นเพราะไม่ชัดเจนว่านักทฤษฎีบทมาเป็นชื่อ 'Isabelle' มันเป็นชื่อสำหรับคนหรือไม่? ฉันไม่สามารถค้นหาด้วยการค้นหาของ Google ได้ 11 history automated-theorem-proving isabelle