Tytuł mówi wszystko, ale jestem ciekawy, ponieważ nie jest oczywiste, jak to się stało, że nazwano go „Isabelle”. Czy to imię pochodzi od osoby? Niektórych wyszukiwań w Google nie mogłem się dowiedzieć.
11
Tytuł mówi wszystko, ale jestem ciekawy, ponieważ nie jest oczywiste, jak to się stało, że nazwano go „Isabelle”. Czy to imię pochodzi od osoby? Niektórych wyszukiwań w Google nie mogłem się dowiedzieć.
Odpowiedzi:
Trochę google-fu (i moja pamięć) mówi mi, że najwyraźniej został nazwany przez Larry'ego Paulsona po córce Gerarda Hueta .
Gerard Huet jest jednym z ludzi stojących za mniej poetycko uznanym twierdzeniem Coqa .
Mały świat!
źródło