2008-10-13から1日間の記事一覧
野矢茂樹さんは、『論理学』(東京大学出版会)という本の中で、ゲーデルの証明の核心となるアイデアを次のように書いている。 「私は証明不可能だ」を表現する式を自然数論の中で表現する。 「私は証明不可能だ」、すなわち「私は証明可能ではない」という…
野矢茂樹さんは、『論理学』(東京大学出版会)という本の中で、ゲーデルの証明の核心となるアイデアを次のように書いている。 「私は証明不可能だ」を表現する式を自然数論の中で表現する。 「私は証明不可能だ」、すなわち「私は証明可能ではない」という…