Kurt Gödel

Gödel dan istrinya, Adele, melewatkan musim panas tahun 1942 di , yaitu di Blue Hill Inn pada puncak di teluk itu. Gödel tidak hanya berlibur, tetapi juga sangat produktif dalam bekerja. Menggunakan "Heft" 15 [volume 15] dari karya Gödel "Arbeitshefte" [buku catatan kerja] yang belum diterbitkan, menyimpulkan bahwa Gödel menemukan suatu bukti ketidak-tergantungan aksioma pilihan dari teori jenis finit, suatu bentuk teori himpunan yang diperlemah, ketika tinggal di Blue Hill pada tahun 1942. Teman dekat Gödel, Hao Wang, mendukung konjektur ini, mengamati bahwa buku catatan Gödel ketika di Blue Hill memuat penjabaran yang paling luas mengenai soal ini.