'Isabelle' (teorem kanıtlayıcı) adını nasıl aldı?

Başlık her şeyi söylüyor, ama merak ediyorum çünkü bir teorem uzmanının nasıl 'Isabelle' olarak adlandırıldığı belli değil. Bir kişi için mi adlandırıldı? Bazı Google aramalarında bulamadım.

history automated-theorem-proving isabelle

— IIM
kaynak

Isabelle kullanıcılarının posta listesine sormayı denediniz mi?

— DW

Ben - Isabelle'i hiç kullanmadım - sadece onu kullanan bir kağıt okudum.

— IIM

Bu soru beni bir CS yapay nesnesi değil, bir yazılım yapay nesnesinin tarihiyle ilgili olduğu için offtopik olmaya itiyor. Bununla birlikte, Isabelle hakkında makaleler yayınlandı, bu yüzden topluluğun karar vermesine izin vereceğim.

— Raphael

Wikipedia güncellendi :-)

— Mark Hurd

Küçük bir google-fu (ve kendi hafızam) , görünüşe göre Gerard Huet'in kızından sonra Larry Paulson tarafından adlandırıldığını söylüyor .

Gerard Huet, daha az şiirsel olarak adlandırılan Coq teoremi uzmanının arkasındaki insanlardan biri oluyor .

Küçük dünya!

— cody
kaynak

Coq ismi nasıl daha az şiirsel? Üç kelimeden az olmamak üzere bir kelime oyunu (Yapılar hesabı CoC, Thierry Coquand teorisinin kurucularından biri ve Fransızca horoz kelimesi (Fransa'nın bir amblemi ve Coq kurucularının çoğu Fransızca idi)) .

— Gilles 'SO- kötü olmayı bırak

Coq adı kesinlikle zeki (akademik programlama dilleri bir hayvan adı verilmiş olduğunu ilave bir kısıtlama yoktu, mesela ocaml bakınız) ama yok ben gitmeyeceklerini özellikle (İngilizce en azından) Ek cinas verilen biraz daha az şiirsel olduğunu düşünüyorum kasıtlı olmak Gerhard Huet'in ötesine geçmedi.

— cody