純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
310(2): 09/21(日)18:26 ID:ldtUFZx9(9/9)調 AAS
>>309
>>実数rについてそのn桁目をr[n]と表す
>そのnが自然数集合Nの全てを渡る大前提があるよ
その大前提とやらは
「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
を導かないが
それ、分かる？
大学１年の一般教養の数学で落第した高卒 ◆yH25M02vWFhP 君
311(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 09/21(日)23:06 ID:cEGpGchm(1/2)調 AAS
>>310
>その大前提とやらは
>「無限小数展開のすべての桁が”今・この瞬間に”分かっている」
>を導かないが
貧弱な”メンタルピクチャー”(by 加藤文元) だな ｗ
無限に対する”メンタルピクチャー”が貧弱だから・・ 箱入り無数目（下記）が分らないんだよ ；ｐ）
１）まず 形式的冪級数環と多項式環 から（下記）
多項式とは：「項が有限個しかないこと —つまり十分大きな k（ここでは k > m）に関する係数 pk がすべて零である」（下記）
これは、上から目線の定義だね。つまり、項が無限個の形式的冪級数から 見下せば 項が有限個なら 多項式！
2）これを踏まえて、有限小数とは：「有限桁の小数 —つまり十分大きな k（ここでは k > m）で 10^kに関する係数 pk がすべて零である」小数のこと！■ ；ｐ）
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com なぜ微分積分学は不完全なのか？ 加藤文元 2025年2月23日
メンタルピクチャー
形式化された理論
メンタルピクチャーの対極にあるのは、形式化（formalize）されコード化された理論（FT）だ
ここで「メンタルピクチャー（MP）」の対極にある概念としての「形式化された理論（FT）」は、人間の書いた論文の議論のようなものも含む、広い概念である。そして、数学の厳密化とか精密化とは、このような緩い意味での形式化
(*) MP ーーーー形式化ー＞ FT
のことである
形式化図式と数学の「理解」
形式化図式は数学を「理解する」という行為の内実とも、深く関係している。人間による数学の理論とは、単なるコードの連なりとして理解することではない。それは理論のメンタルピクチャー（MP）と、それと形式的理論との関連付け、すなわち形式化図式を構築することである。メンタルピクチャーだけによる理解は危険であるが、メンタルピクチャーによる裏付け・接地のない理解は不健康である。それは健康でないだけでなく、理解の深さがないという意味でも、完全な理解とは言えない
2chｽﾚ:math
数学セミナー201511月号「箱入り無数目」
2chｽﾚ:math 純粋・応用数学（含むガロア理論）8 より
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^nを入れてもよいし，すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
つづく
316: 09/22(月)09:46 ID:q+ID/bXs(1/4)調 AAS
>>306-311
306 ヒト
>（実数を）無限小数として表すというのは
>全部の桁を一遍に示すわけではなく
>だんだん下の値まで確定していく列として示すことである
>ここで、ナイーブな数のプラトニズムが崩壊する
307 エテ公
>可算無限桁の無限小数展開が存在すると考える方が、対角線論法が 腑に落ちる
308 ヒト
>実数rについてそのn桁目をr[n]と表す…どこにも無限個の桁の数など全部列挙していない
309 エテ公
>そのnが自然数集合Nの全てを渡る大前提があるよ
310 ヒト
>それ、「無限小数展開のすべての桁が”今・この瞬間に”分かっている」を導かないが
311 エテ公
>貧弱な”メンタルピクチャー”だな
「可算無限桁の無限小数展開が”すべての桁が示された状態で”存在する」
という最貧最弱メンタルピクチャーは 大学１年の微分積分の最初の
実数の定義が分からず落第した高卒エテ公、貴様のものだ（笑）
（完）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s