プログラミングの為の ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
217:デフォルトの名無しさん 05/06/06 16:02:55 普通に高校数学やった人ならわかるっしょ。 218:デフォルトの名無しさん 05/06/06 20:05:18 背理法を使わずに証明できない つまり廃中立を認めない立場では 素数は有限しかないことないのか 219:デフォルトの名無しさん 05/06/06 20:48:03 >218 背理法使わずに証明できるよ 220:デフォルトの名無しさん 05/06/06 21:19:05 うちの大学の計算機科学の演習が ひたすら直観主義論理で算術を構成してくっていうやつで その最後の問題が素数の非有限性だったな 俺は証明できなかったけど 221:デフォルトの名無しさん 05/06/06 23:22:03 数学的帰納法も騙されている漢字瓦斯 てゆーかあれで証明なのかどうか理解できにくい 222:デフォルトの名無しさん 05/06/06 23:56:45 >>221 あれは自然数の公理のうちに入ってる 223:デフォルトの名無しさん 05/06/07 22:46:31 >>222 それを公理に加えちまうってのが、 いかにも後付け的でインチキくせーってことでしょ。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5374日前に更新/259 KB
担当:undef