【ミルクカフェ掲示板TOPページ】   ■掲示板に戻る■   最後のレス   1-   最新30  
NO.10389487

ゲーデルの不完全性定理について

11 名前：p：2007/02/10 15:45
次の二つのケースを具体的に考えてみると、いいかな！？

証明できる式ならば必ず正しい式だと思える？
（違う言い方をすれば、証明できる式なのに正しくない式など考えられる？）

正しい式ならば必ず証明できる式だと思える？
（正しい式なのに証明できない式など考えられる？）
新着レスの表示
スレッドを見る(14レス)  ■掲示板に戻る■ 
▲