プログラミングの為の数学と算数 vol.2at TECHプログラミングの為の数学と算数 vol.2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞの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 それを公理に加えちまうってのが、 いかにも後付け的でインチキくせーってことでしょ。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch