数学的帰納法は循環論法では？ (63ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
39(1): 2024/10/27(日)18:59 ID:wu6Ollaf(1/4) AAS
>>32
何論法は分からないけど、wikiによると
＞数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。
だそうな。
三段論法ならぬ、可算無限論法とでも言えそうな…。
40: 2024/10/27(日)19:06 ID:wu6Ollaf(2/4) AAS
>24で証明してみて思ったのは、基底部と再帰部の仮定は仮定というより確認。
んで、再帰部の次の段（＋１した場合）の部分が事実上の証明。
ここが真なら可算無限論法（？）で全体が真になる。
52(1): 2024/10/27(日)21:27 ID:wu6Ollaf(3/4) AAS
>>47
いあ…「三段論法ならぬ、可算無限論法とでも言えそうな…。」って書いたとおり、
名前が無いから適当に付けただけだから。＞可算無限論法
（名前無いけど、しいて言えば）可算無限論法とでも言えそうな…。
と、言いたかった。すまぬ。
55: 2024/10/27(日)23:29 ID:wu6Ollaf(4/4) AAS
>>53
任意と全ては同じ意味だと思ってましたが、その文を読んで違いが分かった気がします。
任意はどんなｎを選んでも、ｎから基底部までの範囲(0..n)（視点はｎから0への方向）
全ては基底部からｎ以降も含めての全て(0..n..)（視点はｎから無限への方向）
同じ∀記号だから結局同じ意味なのですが、ｎからどちらを向いた視点かで言葉が違うのでしょうね。
（そして、どちらも勝手に名付けているという＾＾；）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s