47
1 ななしのよっしん
2009/11/10(火) 12:53:16 ID: EQKjiFZh6P
全ての人間はハゲであることの証明
髪の毛の本数をnとする。
n=0のとき、ハゲであることは自明である。
髪の毛がk本のハゲに、一本植毛してもハゲであることに変わりない。
よって、すべての人間はハゲである。
2 ななしのよっしん
2009/11/10(火) 13:02:56 ID: Qjvt40xj3V
どこまでをハゲと呼べるのか、あと
全ての人はハゲでない
ってのも成立するってことだよね
3 ななしのよっしん
2010/03/30(火) 10:43:17 ID: 8k1cHaPT/u
4 ななしのよっしん
2010/08/05(木) 14:33:17 ID: sGaf4knF1G
5 ななしのよっしん
2010/08/21(土) 10:43:08 ID: /za2TZPIcJ
数学って本当の帰納法は許されていなくて、証明はすべて演繹法でないといけないんだっけ。
ハゲについてもそうだけど、帰納だと大体詭弁になっちゃうんだよね。
6 ななしのよっしん
2011/05/06(金) 01:57:22 ID: P2tP2VRvRn
応用で触れられてないけど、全段仮定もあるよな。
n=1で正しいことを示し、n=1,2,3,...,k-1のとき正しければn=kでも正しいことを示す。
7 ななしのよっしん
2011/05/27(金) 21:03:37 ID: q3Jc9Dhcf8
関連項目に明日から本気出すがあることに心折られた。
後は全部明日の俺に任せて寝ることにするわ。
8 ななしのよっしん
2011/06/09(木) 21:01:41 ID: UHUksWX8Sr
"明日からは本気出す"は不可能だと帰納法で証明できるってのは前に何かの本で読んだなあ。
馬鹿馬鹿しい、こじつけの理論だと思って気にもしなかった。
が、俺がまさにその実例だと最近気づいた。数学万能
9 ななしのよっしん
2012/01/17(火) 16:53:35 ID: 7/2kgp2/N5
関連項目の明日から本気出すw
高校の数学教師に全く同じ事言った人いたわw 課題やってこなかった生徒に対して
「今日やらない、明日もやらない、明後日もやらない。こういうのを数学的帰納法と言うんだ!」って怒ってた。
面白いのでしばらく語り草になったな。いや懐かしい。
10 ななしのよっしん
2013/01/13(日) 02:52:21 ID: ca8/g3gtj9
数学科の奴と居酒屋に行ったら
・1杯くらいならまあ飲める
・n杯目が飲めたとすると、n+1杯目もまあ頑張れば飲める
という恐ろしい数学的帰納法を適用されたことがあってな
11 ななしのよっしん
2013/01/15(火) 17:42:18 ID: EmA0RBD5ur
>>10
そこで生物科の先生がヒトの肝臓の限界について話すんですね。
12 ななしのよっしん
2013/01/15(火) 17:49:33 ID: oXgc9R5UZQ
>>10
そのnが1以下の数である可能性も考慮しなくてはいけないな
13 ななしのよっしん
2013/01/20(日) 20:50:21 ID: 4TMG4+hkVR
14 ななしのよっしん
2013/01/21(月) 03:31:35 ID: rD0pJz8WV9
数学的帰納法って今年までセンター試験で出題されたことなかったのか・・・
15 ななしのよっしん
2013/01/21(月) 13:43:32 ID: 1Xa1u0Ch2a
高校数学で考えるとする
・n = 0のとき真である。
・n = kのとき真であるならば、n = k+1のときも真である。(kは任意の自然数)
このとき
n=1は偽である(高校数学では特に断りが無い限り、自然数とは『0を含まない』正の整数を指す)
n=1が偽なので、n=1+1=2のときも偽である
n=2が偽なので、n=2+1=3のときも偽である(以下略
よって、全ての自然数nに対して真であることは証明できない
これって0を自然数に含むか含まないかで答えが変わるね。
この場合、kに0を代入できなくなる。
16 ななしのよっしん
2013/02/17(日) 16:50:03 ID: eH5MXYI+k6
>>15
言いたいことはわかるが、
n=1が偽だからといって、n=1+1=2のときも偽とは限らんぞ。
17 ななしのよっしん
2013/02/19(火) 15:53:10 ID: 1Xa1u0Ch2a
18 ななしのよっしん
2013/05/12(日) 01:05:57 ID: NDkhdcSyYa
「シヴィライゼーション」もどなたか関連項目に入れてほしいです
19 ななしのよっしん
2013/05/12(日) 01:07:58 ID: E/q18NYHFc
昨日は帰納したよ
20 ななしのよっしん
2013/05/29(水) 19:36:29 ID: 84lz4S6/TZ
数学的「帰納法」とは言うけれど、実際は演繹法の一種と聞いたときは驚いた
21 ななしのよっしん
2013/06/17(月) 14:03:04 ID: EzUCyOIgEa
22 ななしのよっしん
2013/06/17(月) 23:37:29 ID: edgxYZLyke
23 ななしのよっしん
2013/06/17(月) 23:41:59 ID: 0fUcNdsJk4
数学的演繹法
24 ななしのよっしん
2013/07/12(金) 23:57:53 ID: EH/qmt1mXZ
>>15を見て気付いたが、任意の自然数に対して偽であることを言いたかったら
n=k+1で真ならn=kで真 かつ n=0で偽
を示せばいいのか
真を偽に置き換えて対偶とっただけだが、命題って対偶とるだけですごい雰囲気変わるよね
25 ななしのよっしん
2013/07/13(土) 00:05:33 ID: kcnhKiJaQm
>>20
だからこそ「数学的」な帰納法って意味なんじゃないかな。
一般的な帰納法とは違いますよ、ってことで。
26 ななしのよっしん
2013/08/08(木) 20:36:48 ID: cq5W1PxnIz
n=1,2,3のとき成り立つ
n=kのとき成り立つと仮定するとn=k+3のときも成り立つ
このパターンの帰納法もある
麻雀で2が通れば5も通る。5が通れば8も通る。みたいな。
27 ななしのよっしん
2013/08/13(火) 08:12:47 ID: ca8/g3gtj9
>>20 >>25
まあ本来の帰納法って
「3は素数だった」「5は素数だった」「7は素数だった」
→「全ての奇数は素数である」
みたいな、特に理系民からすれば
ちょっとそこに正座しろレベルの話だもんな
28 ななしのよっしん
2013/09/08(日) 22:31:29 ID: NDkhdcSyYa
ある日
「○○の出すゲームはクソゲー、二度と買いません」
↓
1年後
「○○のゲームを買うのはこれが最後です」
↓
2年後
「客をなめるのもいい加減にしろ○○、もう誰も買わねーよ」
↓
n年後
「○○はゲーマーを客とは思っていません、謝罪してください」
よってすべての自然数nにとって○○社のゲームが売れ続けることが証明された 例:システムソフトアルファー
29 ななしのよっしん
2013/10/19(土) 23:45:19 ID: WYILj8N7w3
学校ではn=1のだけ習ったんだがn=0のが基本なのか
n=0でやらないと解けない問題もあるのかな
30 ななしのよっしん
2013/10/20(日) 02:11:33 ID: EH/qmt1mXZ
ある整数aに対してP(a)とP(k)⇒P(k+1)(kはa以上の任意の整数)を証明すれば、a以上の整数Nに対してP(N)が成り立つと言える、ってのがこの論法の本質だと思う
だからaとして自然数の最小数をとれば、全ての自然数に対して証明したことになる
ただ、自然数って最小数を1とする定義と0とする定義、両方あるんだよね
高校までの数学の教科書では1を最小とする定義を採用してるから学校でn=1で習ったのはそのせい
ちなみに大学以降では0を自然数に含めるかどうかは本や先生によってまちまち
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。