Bagaimana 'Isabelle' (pepatah teorema) mendapatkan namanya?

11

Judulnya mengatakan itu semua, tetapi saya ingin tahu karena tidak jelas bagaimana teorema teorema menjadi bernama 'Isabelle'. Apakah nama itu untuk seseorang? Saya tidak dapat mengetahuinya dengan beberapa pencarian Google.

SAYA
sumber
2
Sudahkah Anda mencoba bertanya pada milis pengguna Isabelle?
DW
Saya belum - Saya tidak pernah menggunakan Isabelle sendiri - Saya hanya membaca kertas yang menggunakannya.
IIM
1
Pertanyaan ini membuat saya menjadi offtopic karena tentang sejarah artefak perangkat lunak, bukan artefak CS. Yang mengatakan, artikel telah diterbitkan tentang Isabelle jadi saya akan membiarkan masyarakat memutuskan.
Raphael
Wikipedia diperbarui :-)
Mark Hurd

Jawaban:

9

Sebuah google-fu kecil (dan ingatanku sendiri) memberitahuku nama itu rupanya dinamai oleh Larry Paulson setelah putri Gerard Huet .

Gerard Huet kebetulan adalah salah satu dari orang-orang di belakang pepatah teorema Coq yang kurang puitis .

Dunia kecil!

cody
sumber
1
Bagaimana nama Coq kurang puitis? Ini adalah permainan kata tidak kurang dari tiga kata (Kalkulus Konstruksi CoC, salah satu pendiri teori Thierry Coquand, dan kata Perancis untuk ayam jago (yang merupakan lambang Perancis, dan sebagian besar pendiri Coq adalah Prancis)) .
Gilles 'SANGAT berhenti menjadi jahat'
Nama Coq tentu pintar (ada kendala tambahan yang bahasa pemrograman akademis diberi nama setelah binatang, lihat misalnya Ocaml) tapi saya tidak berpikir itu sedikit kurang puitis, terutama mengingat tambahan pun (dalam bahasa Inggris setidaknya) bahwa aku takkan tidak melampaui Gerhard Huet untuk disengaja.
cody