Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A very basic question


view this post on Zulip Email Gateway (Aug 22 2022 at 20:20):

From: "John F. Hughes" <jfh@cs.brown.edu>
How is "Isar" pronounced? In my head, the first syllable sounds like "eye",
but maybe the name actually begins by sounding like "is", or even like the
"is" in "this". The "obvious" choices to me are (1) eye-saahr, (2)
eye-zaahr, (3) issaahr, and (4) izzaarh, but perhaps those are all
incorrect.

view this post on Zulip Email Gateway (Aug 22 2022 at 20:21):

From: "lammich@in.tum.de" <lammich@in.tum.de>
I would use the German pronunciation, something like eeza

view this post on Zulip Email Gateway (Aug 22 2022 at 20:23):

From: Manuel Eberl <eberlm@in.tum.de>
"Isar" was inspired by the structured proof language in Mizar, which is
pronounced [ˈmiːza(r)] (MEE-zaa(r), at least that's how everybody seems
to pronounce it, modulo minor variations in the vowels and consonants),
so that would suggest a pronunciation like [ˈiːza(r)] (EE-zaa(r)) for Isar.

Also, I strongly suspect that the name "Isar" is a reference to the Isar
river running through Munich, which is pronounced [ˈiːza(ʁ)] (this
tradition was continued with the tactic language "Eisbach", which is a
small brook that splits off from the Isar and then merges back into it).

I'm sure Makarius will correct me if any of this was incorrect.

Manuel

view this post on Zulip Email Gateway (Aug 22 2022 at 20:25):

From: Makarius <makarius@sketis.net>
Yes that is fairly precise.

For the full fun of Eisbach see e.g.
https://www.youtube.com/watch?v=Pz2bdm2imcY -- it makes clear why the
Isabelle group in Sydney has come up with that name.

Makarius


Last updated: Mar 28 2024 at 08:18 UTC