2008-10-04から1日間の記事一覧
『ゲーデル、エッシャー、バッハ』(ダグラス・R・ホフスタッター著、白揚社)という本の第2章「数学における意味と形」に「pqシステム」と呼ばれる形式システムが紹介されている。この本は、ゲーデルの不完全性定理の「うまい説明」を語るものだが、そ…
『ゲーデル、エッシャー、バッハ』(ダグラス・R・ホフスタッター著、白揚社)という本の第2章「数学における意味と形」に「pqシステム」と呼ばれる形式システムが紹介されている。この本は、ゲーデルの不完全性定理の「うまい説明」を語るものだが、そ…