奇妙な数学基礎論が音楽にされる クルト・ゲーデルの「不完全性定理」にインスパイアされた作曲が彼の名前を掲げる授賞式で初演される Philip Ball, 03 July 2014 オーストリア生まれのクルト・ゲーデルは1931年に算術大系が自己無矛盾性を証明できないことを発見して研究者たちに衝撃を与えた。 今年のゲーデル賞(計算機科学者にとって最大の栄誉)はその名前にふさわしい伴奏が演じられる。7月9日にコペンハーゲンで開かれる授賞式で、クルト・ゲーデルが作った論理的公理をエンコードするよう依頼された楽曲が流れる。クルト・ゲーデルは賞の名前の由来となったオーストリア生まれの数学者だ。 「ヒルベルト・ハートブレイク・ホテル」と題された曲はデンマークの作曲家、ニールス・マルティンセン(Niels Marthinsen)によるもので、ルンド大学(スウェーデン)のコンピュータ科学者、トー