[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 1001- 2chのread.cgiへ]
Update time : 08/22 05:26 / Filesize : 295 KB / Number-of Response : 1002
[このスレッドの書き込みを削除する]
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧] [類似スレッド一覧]

↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

数学基礎論の質問スレッド

133 名前：１３２人目の素数さん [05/01/10 20:11:30]
ググった、先のサイトで、こんなのを見つけました。

＞ある数学的構造に対して完全な公理系が見つかれば，その構造における命題の真偽は決定可能である．
＞ゲーデルが１９３０年に発見した第一不完全定理は，自然数論を含むどんな公理系も完全でなく，また決定可能でないというものである．

＞命題の真偽は決定可能である．
というのは、、命題の、真である・真でない（意味論的な真理値）を決定できる、ということですか？




[ 続きを読む ] / [ 携帯版 ]
全部読む 前100 次100 最新50 ▲ [ このスレをブックマーク！ 携帯に送る ] 2chのread.cgiへ
[＋板 最近立ったスレ＆熱いスレ一覧 : ＋板 最近立ったスレ／記者別一覧]（ ´∀｀）＜295KB

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef