2008-10-27から1日間の記事一覧
『ゲーデル、エッシャー、バッハ』で解説されているMIUシステムについて、これを文字列ではなく数字で表現することの意味を考えてみたいと思う。これは、ゲーデルの証明におけるゲーデル数の表現の解説として受け取ることが出来る。形式システムとして文…
『ゲーデル、エッシャー、バッハ』で解説されているMIUシステムについて、これを文字列ではなく数字で表現することの意味を考えてみたいと思う。これは、ゲーデルの証明におけるゲーデル数の表現の解説として受け取ることが出来る。形式システムとして文…