ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版(略してGEBげぶ)本、読書会中*1 一体何に関する本なのだという疑問を持ちつつゆるゆる読書会中だ。ゆるゆるゲーデル、エッシャー、バッハ(GEBげぶ本)読むので、「ゆるげぶ読書会」と呼ぶ。主催者の白石さん命名。 第1章はMUパズルというのが紹介されている。それは形式システムである。 Wikipediaに解説が載っている。https://en.wikipedia.org/wiki/MU_puzzle Nr. Formal rule Informal explanation Example 1. xI → xIU Add a U to the end of any string ending in I MI to MIU 2. Mx → Mxx Double the string after the M MIU to MIUIU