ゲーデル命題はＧ「Ｇは証明デキない」やから自明じゃｗ
その否定形の￢Ｇと合わせたＧかつ￢Ｇを形式主義を根拠に矛盾として排除してみても、その意味は何にも矛盾しておりませんから、ね。そもそも最初に定義してしまっているんですよねえー、ゲーデル命題そのものを、証明デキないモノこそがゲーデル命題であり証明デキてしまうようなモノはゲーデル命題とは言わないと。
意味論では無矛盾な定義という内容を含む証明だった由ｗ
あー、それでヒルベルト学派が形式主義を打ち出して無定義用語数学を提唱したのか、さもアリなんじゃぞ、その説は、はあ。数学基礎論ではゲンツェンから先を考える学派なんぞが「矛盾的」と言う曖昧言語を駆使してたりするが、その矛盾的な香りがする、そう、その危険な香りについて詳細に考えるだけの気力はワシにはもう無い。
だから標題が疑問文なワケですがな、ワカッタってーなｗ
アクセス
トータル
ランキング
