758:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/30 15:50:34.46 RVfojIiC.net
>>706 つづき
URLﾘﾝｸ(mathtrain.jp)
イプシロンデルタ論法とイプシロンエヌ論法 高校数学の美しい物語 2016/05/01
(抜粋)
関数の極限の厳密な定義
lim(x→a)f(x)=A の意味（定義）は，
x が限りなく a に近づくとき，f(x) は限りなく A に近づく（高校数学）
→ |x?a| が限りなく小さくなるとき，|f(x)?A| が限りなく小さくなる
→ どんなに小さな正の ε に対しても |x?a| を十分小さくすれば |f(x)?A|<ε となる
→ 任意の正の実数 ε に対して，ある正の実数 δ が存在して，|x?a|<δ なら |f(x)?A|<ε（イプシロンデルタ論法による厳密な定義）
(引用終り)
以上
759:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/30 15:56:22.31 RVfojIiC.net
>>704 追加
C++さんだけに、こっそり下記もお教えしましょう！（＾＾
いや、過日のＴＶ放送で出ていたことではありますがね（＾＾
URLﾘﾝｸ(www.lifehacker.jp)
記憶力や免疫力をも上げる？ 「マインドフルネス」とは結局何なのか lifehacker 2014.01.24
(抜粋)
「マインドフルネス」という言葉、 近ごろ耳にすることが多くなりましたよね？ マインドフルネスとは瞑想に近いものですが、お気づきの通り、メディアで取り上げられる頻度が増していたり、関連した本やアプリなどが登場していたり、セミナーや研修が実施されていたりするのは、その有効性を示す研究結果が次々に見つかっているためです。
URLﾘﾝｸ(ja.wikipedia.org)
マインドフルネス
(抜粋)
マインドフルネス（英: mindfulness）は、今現在において起こっている内面的な経験および外的な経験に注意を向ける心理的な過程である[1][2][3] 。瞑想およびその他の訓練を通じて開発することができる[2][4][5] 。
マインドフルネスの語義として、今この瞬間の自分の体験に注意を向けて、現実をあるがままに受け入れることである[6][7]とか、特別な形で、意図的に、評価や判断とは無縁に、注意を払うことである[8]といった説明がなされることもある。
760:１３２人目の素数さん
17/09/30 16:11:03.69 UEnreZuK.net
>>695
＞co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ
ではあなたが提唱した S_π の co-tail がどの番号から先のしっぽなのか自然数で答えて下さい
761:１３２人目の素数さん
17/09/30 16:40:28.17 p/C9a4Qc.net
>>703
> 100列にmod 100で分けると、最後の無限大∞の箱の扱いが、難しくなるね
いいえ
解答者は最後の無限大∞の箱が存在しても使わない
R^Nの代表元を使えば無限大∞の箱は代表元との比較はされない
> ”可算無限数列のしっぽでの同値類”について両者を対比して理解を深めることに、
> 止めておくのが良いかもしれない
有限個の箱に「どんな実数を入れるかはまったく自由」は自明であるが
可算無限個の箱に「どんな実数を入れるかはまったく自由」は非自明である
有限個を可算無限個に拡張するには「可算無限数列のしっぽでの同値類」が必要であって
そのために決定番号は有限でなければならない
出題者が自由に選べる有限数列の長さをkとするとその後者suc(k)=k+1番目の項は
その有限数列には存在しない
そこで自然数{k+1, k+2, ... }に対してa(k+1)=0, a(k+1+m)=a(k+1+(m+1))=0とすれば
出題者は自由に選んだ長さkの有限数列に対して無限数列 a1, a2, ... , ak, 0, 0, ... を構成することができる
R^Nの元をsnとしsnが属する類の代表元をrnとする
「可算無限数列のしっぽでの同値類」を使えば上の出題者が長さkの有限数列から構成できる無限数列を
sn - rn = a1, a2, ... , ak, 0, 0, ... とみなすことができ
762: 出題者は任意のR^Nの元をsn = a1+r1, a2+r2, ... , ak+rk, r(k+1), r(k+2), ... の形で 自由に選ぶことが可能になる このときの決定番号は最初に出題者が選んだ有限数列の長さkの後者suc(k)であるのでk+1である
763:哀れな素人
17/09/30 17:08:24.75 E7CITu2Y.net
>>694
1/2＋1/4＋1/8＋……が１になる、
と思っているような○○は、
おっちゃんと、その他数名しかいない(笑
お前に対して、おっちゃん、それは間違っているよ、
と注意する者がひとりもいない、
という現実が不思議でならない(笑
1/2＋1/4＋1/8＋……は１にはならない、
こんなことは常識中の常識なのである(笑
嘘だと思うなら、お前が授業を受けた高校の先生に
聞いてみるがいい(笑
実際、ネット上でも、１に近づくが１にはならない、
と書いてあるではないか(笑
お前はお前が正しくて
ネット上の答えが間違っていると思っているのか？(笑
764:哀れな素人
17/09/30 17:13:56.70 E7CITu2Y.net
ケーキを食べ尽くすことができるなら、
1/2＋1/4＋1/8＋……は１になるのである。
しかしケーキを食べ尽くすことができないなら、
1/2＋1/4＋1/8＋……は１にはならないのである(笑
おっちゃんがもし
1/2＋1/4＋1/8＋……は１になる、というのなら、
実際にケーキを買ってきてやってみればいい、
食べ尽くすことができるかどうか(笑
食べ尽くすことができるなどと言おうものなら、
世間の笑い者である(笑
子供にさえ笑われる(笑
765:哀れな素人
17/09/30 17:18:09.95 E7CITu2Y.net
↓がケーキの問題である。
太郎君はケーキを買ってきました。
それを半分に切って食べました。
残りの半分を、また半分に切って食べました。
その残りの半分を、また半分に切って食べました。
…………
これを続けると太郎君はケーキを食べ尽くすことができるでせうか（笑
一体、この問題を何回貼ったことか(笑
何度説明しても、おっちゃんその他数名は
この問題が理解できないのだ(笑
766:１３２人目の素数さん
17/09/30 17:23:44.57 UEnreZuK.net
お前よく飽きないな 何かの病気か？
767:哀れな素人
17/09/30 17:24:46.19 E7CITu2Y.net
要するにこの問題は、
ケーキを半分に分割するという作業を続ければ、
いつかケーキはゼロになるかどうか、という問題であり、
数学的に説明すれば、
1/2＾nはゼロになるかどうか、という問題である。
そしてnにどんな自然数を代入しようとゼロにはならないから、
ケーキはゼロにはならないのである。
ケーキはゼロにはならないから
1/2＋1/4＋1/8＋……は１にはならないのである。
なぜこんな簡単なことが理解できないのか(笑
768:何かの病気の哀れな素人
17/09/30 17:27:38.76 E7CITu2Y.net
>>714
お前らが理解するならくどくどと説明する必要はないのだ(笑
お前らがあまりにアホで低脳だからこういうことになる(笑
世間のまともな人間は全員お前らのアホさに呆れている(笑
769:１３２人目の素数さん
17/09/30 18:03:29.40 zSN7EBXb.net
>>715
>ケーキを半分に分割するという作業を続ければ、
>いつかケーキはゼロになるかどうか、という問題であり、
>数学的に説明すれば、
>1/2＾nはゼロになるかどうか、という問題である。
>
>そしてnにどんな自然数を代入しようとゼロにはならないから、
>ケーキはゼロにはならないのである。
>
>ケーキはゼロにはならないから
>1/2＋1/4＋1/8＋……は１にはならないのである。
自然数は無限個あって最大の自然数はないので、代数的に考えるのは間違い。
「自然数を代入云々」では解決出来ない。そもそも、無限級数の部分和は有限和で、
「1/2＋1/4＋1/8＋…」は「1/2＋1/4＋1/8＋…＋(1/2)^n」というような式で書く。
極限値や無限級数のような言葉や「1/2＋1/4＋1/8＋…」という極限値1に等しい式を用いて
問題を書いているのに、代入云々なんて類の問題のことなんて伝わる訳ないだろ。
770:１３２人目の素数さん
17/09/30 18:05:08.40 zSN7EBXb.net
じゃ、おっちゃん寝る。
771:１３２人目の素数さん
17/09/30 18:22:32.12 8dEJ6T68.net
>>695
＞co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ
どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せるのだから
論理を知る「人間」ならば、co-tailが存在しないことがわかる
論理を知らぬ動物は理解できなくても仕方ないが
772:１３２人目の素数さん
17/09/30 18:29:23.78 8dEJ6T68.net
>>696
＞論点は「N~は無限公理を満たさない」が正しいかどうか
拡大自然数の集合N~は、自然数の集合Nに「∞」を追加したものであるから
∞が、無限公理の反例になる
＞”超実数”
拡大実数∞は超実数ではない
この瞬間、あなたは論点を外した
773:１３２人目の素数さん
17/09/30 18:33:53.38 8dEJ6T68.net
>>697
＞私が、言っていることは、
＞最初から、”可算無限個”の定義を変えて行く
＞ってことだよ
定義の変更は認められません
箱入り無数目ではっきりと
「実数列の集合R^Nを考える」 と書かれており、
「実数列の集合R＾N~を考える」 とは書かれていません
この瞬間、あなたの「異数学」は却下されました
残念でした さようなら
774:１３２人目の素数さん
17/09/30 18:40:25.53 8dEJ6T68.net
>>698
＞“境界”概念を集合（のセット）まで拡張すれば、
＞ [0,2)と[2,∞)の集合セット、及び、 [0,2]と(2,∞)の集合セットとして、
＞これを“元２”の左右境界とすることができる。
正しくは 2未満の自然数と2以上の自然数の境界ですな
＞この場合、境界は必ずしも実数Rの元でなくとも良い。
この場合、境界は必ず自然数Nの元である必要�
775:ｪあります 超準的自然数も自然数です あなたがご存じないだけでしょう
776:１３２人目の素数さん
17/09/30 18:45:41.60 8dEJ6T68.net
>>699
＞「おまえ何が言いたかったんだ？」
あなたこそ何が言いたいんでしょうか？
∞を超準モデルで正当化したいのでしょうか？
残念ながら、∞だけを正当化することはできません
∞が超準的自然数なら、∞＋１も∞－１もそうなります
そしてR^NのNが超準的自然数であるとしても
あなたが期待するような「箱入り無数目」の
予測の失敗例は導けません
あなたの期待する予測失敗例は「最後の番号∞」
のみを導入する形でしか実現できません
そして∞は自然数の公理を真っ向から否定するものです
つまりあなたの期待する数学は、自然数論とは異なる
「不自然数論」という「異数学」なのです
777:１３２人目の素数さん
17/09/30 18:49:59.50 8dEJ6T68.net
>>700
＞拡大実数（拡大実数）は、実数の±∞を追加したもの
それだけなら、超実数のモデルにはなりません
>>701
＞拡大自然数N~と、通常の自然数Nとを比較することで、理解が深まる
N~とNは異なります
射影平面と、ユークリッド平面が異なるのと同じことです
778:１３２人目の素数さん
17/09/30 18:57:56.35 8dEJ6T68.net
>>702
＞射影平面の３通りの定義
＞URLﾘﾝｸ(mathtrain.jp)
まあ、別に３つに限りませんが
多様体は座標系の貼り合わせとして定義されますが
これは座標系の貼り合わせによる射影空間の定義の一般化です
射影平面の場合、３つの座標系の貼り合わせで実現できます
そこから上記の3つの定義との同値性が示せます
大学の数学科の学生なら知らないものはいないほど当たり前のことです
しかし他学科の学生はそもそも射影平面を知りません 残念なことです
779:１３２人目の素数さん
17/09/30 19:03:09.93 8dEJ6T68.net
>>703
＞１．まず、拡張自然数N~ における”可算無限数列のしっぽでの同値類”は、
＞ ラベル∞の箱に入る実数r_∞で決まる
＞２．一方、通常自然数N における”可算無限数列のしっぽでの同値類”は、
＞ ラベル∞の箱に相当するものが存在しないから、
＞ しっぽは開であり、終わりが存在しない
１．の場合の同値類はRと同じですが
２．の場合の同値類はR^Nと同じです
箱の中身が例えば集合２（＝｛０，１｝）の要素なら
１．の場合の同値類は２と同じですが
２．の場合の同値類は２^Nと同じです
ここまであけすけに書けば全然違うことが分かるでしょう
780:１３２人目の素数さん
17/09/30 19:07:07.68 8dEJ6T68.net
>>706
＞下記の関数の連続性のε－δ論法を見て下さい
＞１）関数f(x)がf(a)で連続と言いたい。つまり、f(a)の周りに、必ず任意の（小さな）有限部分が取れる
＞ ↓
＞２）関数f(x)がf(a)で連続とは、f(a)の近くの、任意の（小さな）有限部分εで、 |f(x)?f(a)|<εを考えたとき、必ず |x?a|<δとできる
＞これ、「・・・は、任意の有限部分が○○のとき、○○ 」という言い方と同じ構造なんですよ
コンパクトの場合の有限個（＝自然数個）と、εの有限（＝正の実数値）を
全く同じ意味だと思うのは、大学数学の教育が欠如しているせいだろう
781:１３２人目の素数さん
17/09/30 19:09:20.03 8dEJ6T68.net
>>708
＞マインドフルネス
いわゆる「異科学」の典型ですね
782:１３２人目の素数さん
17/09/30 19:15:53.71 8dEJ6T68.net
「マインドフルネス」の教祖はこの方らしい
ジョン・カバット・ジン
URLﾘﾝｸ(ja.wikipedia.org)
783:哀れな素人
17/09/30 22:49:57.51 E7CITu2Y.net
>>717
お前のレスはあいかわらずイミフだ(笑
1/2＋1/4＋1/8＋……は１になるか、ならないか、
という問題は、結局は
ケーキの分割は終わるか、終わらないか、
という問題なのである(笑
分るか？(笑
ケーキの分割が終わるなら食べ尽くせるが、
終わらないなら食べ尽くせないのである(笑
分るか？(笑
で、常に1/2＾nの量のケーキが残り、
1/2＾nのnにどんな自然数を代入しようとゼロにはならないから、
1/2＋1/4＋1/8＋……は１にはならないのである(笑
なぜ自然数を代入するかといえば、
分割する回数は自然数だからである(笑
分るか？(笑
で、n→∞のときも1/2＾n→0で、
1/2＾nは0に近づくが0にはならないから、
ケーキを食べ尽くすことはできないのである(笑
分るか？(笑
このことも一体何度説明したことか(笑
それでもお前は理解できない(笑
お前がいかに○○であるか、丸分りだ(笑
784:１３２人目の素数さん
17/09/30 22:50:45.25 s8yUCkWj.net
スレ主って年々ダメになってないか？
60過ぎたから無理もないが・・
身体いたわれよ。2chはほどほどに。
785:１３２人目の素数さん
17/09/30 22:56:40.17 s8yUCkWj.net
>>730
おまえが可能無限論者ってのはよく分かったよ。
無限公理を認めないんだろ。ならもうそれで終わりだよ。
数学では無限公理を認めるんだよ。
認めるか認めないかはお前の勝手だから好きにしろよ。
ケーキの話はもうウンザリだっつーの。
786:１３２人目の素数さん
17/09/30 23:00:13.11 s8yUCkWj.net
>>730
なあに、カントールはマチガッテル派はオマエだけじゃねえ。安�
787:Sしろい。 本もバンバンだせ。言うのは自由、買うのも自由だｗ -------- http://taurus.ics.nara-wu.ac.jp/machigatteru/ 「カントールはマチガッテル」は、「アインシュタインはマチガッテル」に次ぐぐらいの大きなジャンルに成長しているようです。 --------
788:１３２人目の素数さん
17/09/30 23:05:21.00 E7CITu2Y.net
>>732-733
お前は一石だろ(笑
無限公理とは可能無限公理のことなのである(笑
ペアノの公理も同じ(笑
ペアノの公理とは可能無限公理のことにすぎない(笑
お前らはこのことが全然分っていない(笑
だからお前らは全員アホなのだ(笑
全員だ(笑
789:１３２人目の素数さん
17/09/30 23:07:56.11 s8yUCkWj.net
>>734
オレはお前よりアホだろうね。
お前が言ってることは何も分からんからね。
別にいいよそれで。
お前より賢くなろうなんて大それたことは考えねえよ。
> 無限公理とは可能無限公理のことなのである(笑
へえ、そうなんだ。難しいね。勉強しよっとｗ
790:１３２人目の素数さん
17/09/30 23:11:23.97 s8yUCkWj.net
ところでお前、オレへの献本がまだなんだけどｗ
昔ガロア教えてやったじゃん、覚えてる？
互助法のくだりを教えてやったの俺よ？
オレは別にお前の可能無限を否定しやしないよ。
興味あるからくれよ。その本。
791:哀れな素人
17/09/30 23:29:04.01 E7CITu2Y.net
>>735-736
お前は互除法男ではないだろう(笑
文体が違う(笑
互除法男は人間的にはもっとましな男に思えた。
お前が互除法男だとしたら、幻滅だ(笑
>興味あるからくれよ。その本。
お前は乞食か(笑
興味があるなら自分で買え(笑
尤も、お前らのようなアホに読んでほしくはないのだ(笑
お前らのようなアホのために本を出したのではない(笑
792:１３２人目の素数さん
17/09/30 23:39:09.78 s8yUCkWj.net
>>737
文体はいかようにでも変わるのであーる。
お前が出版は金のためではない、って言ったからじゃあもらってやるって言ったんだよ。
金を出すほど興味があるわけないだろｗ
ほんのわずかな怖いものみたさの好奇心も大切にすべきだろ今のお前は。
それすら見捨てたら、いったいこの宇宙の何者がお前の本を読むんだよｗ
793:１３２人目の素数さん
17/09/30 23:51:12.23 L0aqGhjJ.net
暮らしの中の統失
794:１３２人目の素数さん
17/10/01 09:11:25.67 uIo4DGr8.net
>>731
＞スレ主って年々ダメになってないか？
＞60過ぎたから無理もないが・・
なんだただの耄碌爺か
795:哀れな素人
17/10/01 09:53:51.54 ELh7StKw.net
>>738
僕の本が売れないのは単に宣伝が乏しいため、それだけ(笑
こういう本が出ていることをほとんど誰も知らないからである(笑
大出版社から出して新聞広告が載れば一定数は売れる(笑
世の中、お前らのようなアホばかりではない(笑
「無限小数は数ではない／相対性理論はペテンである」
というタイトルを見て、トンデモ本だな、と思う人間ばかりではない(笑
必ず興味を示す人間はいるのだ(笑
お前らがアホである何よりの証拠は、
僕の本に何の興味も示さず、トンデモ本だと即断したことだ(笑
スレ主もタイトルだけを見て「読む価値のない本」と評した。
それだけでスレ主のレベルが分った(笑
はっきりいうが、このスレには利口な人間は一人もいない(笑
呆れるほどの○○ばかりだ(笑
もちろんお前もそのひとり(笑
互除法のときはかなりのレベルの奴だと思ったが、
その後はただのクルクルパーだと分った(笑
796:哀れな素人
17/10/01 10:03:25.18 ELh7StKw.net
このスレの連中がいかに○○であるかは、
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋……は１にならない。
ということさえ未だに理解できないバカがごろごろいることで分る(笑
まして、点を集めても線にはならない、
ということさえ理解しないから、
実数を集めても数直線にはならない、
ということが理解できない(笑
まして、数はいくらでもあるが有限個しかない、
ということになると、てんで�
797:ﾜったく理解できない(笑 およそ数学的センスはおろか、 常識的理解力すらない○○の集まりである(笑 こういうアホどもが、寄ってたかってスレ主をアホだバカだと 嘲笑し叩きまくって喜んでいる(笑 まったく同レベルの馬鹿のくせに(笑
798:哀れな素人
17/10/01 10:12:18.17 ELh7StKw.net
1/2＋1/4＋1/8＋……は１にならない。
ということが分っている奴がいるなら、
おっちゃんに、おっちゃんは間違っているよ、
と注意してやればいいのだ。
ところが誰も注意しない。
なぜ注意しないのかは知らない。
分っていないからしないのか、分っているがしないのか。
とにかく誰も注意しないから、
おっちゃんはいつまでたっても自分の間違いに気付かず、
延々と僕に対してアホな反論をしてくるのである(笑
スレ主だっておっちゃんとは仲がいいのだから、
注意してやればいいのに何もしない。
何もしないから延々僕とおっちゃんのバトルが続くことになる（呆
799:１３２人目の素数さん
17/10/01 10:16:57.57 ae4vWG5l.net
>>737
おっちゃんです。
>お前のレスはあいかわらずイミフだ(笑
意味不明か、ならそれで結構。
数学科の大学一年レベルのはじめに習う内容を書いただけなんだが。
東大生なら、理系の理Ⅰの全員が今でも大学一年で習っているだろうよ。
800:哀れな素人
17/10/01 10:18:35.01 ELh7StKw.net
ケーキを食べ尽くすことはできない。
1/2＋1/4＋1/8＋……は１にならない。
このことが分れば
0.99999……は１ではない。
ことが分り、それが分れば
カントールの対角線論法は間違いである。
ことが分り、
非可算無限・濃度などの概念は間違いだ。
ということが分り、
可測・非可測などの概念も間違いである。
と分るのである。
801:哀れな素人
17/10/01 10:26:40.05 ELh7StKw.net
>>744
お前と無益な議論をしても仕方がない。
僕は表記法などの議論をしているのではないのだ。
お前が、1/2＋1/4＋1/8＋……は１になる、
と思っているなら、それは間違いで、
1/2＋1/4＋1/8＋……は１にならない、と言っているのである。
そして1/2＋1/4＋1/8＋……は１にならない、
というのは常識であり誰でも分っていることなのである、
ちょうど、ケーキを食べ尽くすことはできない、
というのが常識であり、誰でも分っているのと同じように。
お前が1/2＋1/4＋1/8＋……は１にならない、
と分っているなら、お前が
1/2＋1/4＋1/8＋……＝１と書こうと文句は言わないのである。
802:１３２人目の素数さん
17/10/01 10:32:45.94 ae4vWG5l.net
>>746
>ちょうど、ケーキを食べ尽くすことはできない、というのが常識
お前さんにとって「ケーキ」とは何か？
803:哀れな素人
17/10/01 10:48:24.35 ELh7StKw.net
>>747
ケーキとはケーキである(笑
ケーキを買ってきて、半分に切って食べ、
残りをまた半分に切って食べ、
その残りをまた半分に切って食べ……
ということを繰り返して、はたして
ケーキを食べ尽くせるかどうか、やってみればいい(笑
食べ尽くせるなら
1/2＋1/4＋1/8＋……は１になるが、
食べ尽くせないなら
1/2＋1/4＋1/8＋……は１にはならないのである(笑
804:哀れな素人
17/10/01 10:53:59.09 ELh7StKw.net
世間のまともな人が見たら、
なぜこんなケーキの話を延々とやっているのだろう、
と呆れるだろう(笑
ケーキを食べ尽くすことはできない、
というのは誰でも簡単に分かることだからだ(笑
ところが、こんなことを
おっちゃんその他数名は理解できないのだ(笑
理系の人間、数学科の人間が理解できないのだ(笑
805:１３２人目の素数さん
17/10/01 11:03:06.67 ae4vWG5l.net
>>748
お前さんがいう「ケーキ」が日常生活におけるケーキのことを指しているなら、
物理的には有限回2つに分割して食べ続ければ食べ切れるに決まってんだろw
それなのに、原子や分子などの物理的な構造を捨象して、数学の話に持ち込もうとする考え方が間違っている。
無限級数の話に置き換えるにあたり、原子や分子のことを切り捨てている。
806:１３２人目の素数さん
17/10/01 11:11:05.52 ptpnpdQN.net
お前の本じゃケツも拭けんから普通トイレットペーパー買うわな、お前の本買う金あるなら
807:１３２人目の素数さん
17/10/01 11:15:53.75 RDeomlGb.net
>>749
命題の仮定を"要証明"とほざくスレ主に近いものを感じるなｗ
お前の数学では無限を仮定できない。
仮定できないのはお前の数学の公理系が我々のものとは違うからだ。
ケーキの原子数は有限個だし、食べ続けるという行為も所詮は有限回だ。
だけど数学は世の中の現実をありのままに映し出す必要はないの。分かる？
世の中に無限がなくたって数学でそれを仮定するのは構わないし、仮定しないのも自由。
言ってる意味分かるか？
> 理系の人間、数学科の人間が理解できないのだ(笑
そりゃ誤解だね。
数学科の人間はお前を理解している
808:よ。 お前の公理系は俺らとは違う、あるいは公理の解釈が違うってこと。 もう本当にそれだけのこと。 その公理系で面白い数学が生まれれば自由にやったらいいんだよ。 みんなそういう生白い目でお前を見てるわけよｗ ただはっきりしてるのはお前は公理というものを理解していない。 違う公理なのに、なんで有限のケーキが数学の絶対的真実かのように吠えてるんだろう。 みんな「このおっさんサムイわー」って思ってるよ。 よって、そろそろお引取りください。
809:１３２人目の素数さん
17/10/01 11:16:34.19 ae4vWG5l.net
>>748
>>750の訂正：
原子や分子などの物理的な構造を捨象して → 原子や分子などの物理的な構造を捨象「せずに」
原子や分子のことを切り捨てている。 → 原子や分子のことを切り捨てずに考えている。
810:哀れな素人
17/10/01 12:34:04.00 ELh7StKw.net
↑そら見ろ、これが2chの現実だ(笑
ケーキを食べ尽くすことはできない、
ということすら理解できないアホの集まりなのだ(笑
公理系だとか、アホか(笑
無限は存在しないのに、無限を存在すると仮定して
公理系などを作っても何の意味もない(笑
アホすぎて話にならない(笑
よくもまあ、これだけのアホが揃ったものよ(笑
一体どんなアホ大学を出ているのだ、こいつらは(笑
811:哀れな素人
17/10/01 12:46:02.24 ELh7StKw.net
要するにこのアホどもは数学は厳密の学である
ということが分っていないのだ(笑
無限が存在しないのなら
無限を存在すると仮定して公理系を立ててはいけない、
ということが分っていない(笑
どんな公理系でも勝手に立てて、
その上に理論を構築しても構わない、と思っているのだ(笑
いや、そもそもこのアホどもは、無限は存在しない、
ということすら分っていないのである(笑
カントールその他の近代以降のアホ数学者どもとまったく同じだ(笑
812:１３２人目の素数さん
17/10/01 12:50:38.74 RDeomlGb.net
>>754
> 無限は存在しないのに、無限を存在すると仮定して
> 公理系などを作っても何の意味もない(笑
お前の仮定：「無限は存在しない」
オレの仮定：「無限は存在する」
この仮定の違いがすべて。
ただそれだけ。
なに？「無限は存在しない」は仮定ではないのか？
ではきっちり証明しろ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。ほら、やってみろ。
813:哀れな素人
17/10/01 12:55:25.12 ELh7StKw.net
0.99999……は１ではないのだから、
0.99999……は１であると仮定して理論を構築しても
何の意味もないのである(笑
カントールの対角線論法とは
0.99999……は１であるとみなした論法である。
だから、ただもうそれだけでカントールの対角線論法は
間違っているのである。
この間違いの上に立てられた概念が、
非可算無限だとか実無限だとか濃度とかいうアホ概念である(笑
それをアホ概念だとも分らず、
俺たちの公理系と僕の公理系は違う、とか
アホ丸出しのことを書いて得意になっているアホども(笑
これが2chの現実、日本の数学界、世界の数学界の現実なのだ(笑
数学者なんてアホばかりなのに、
ここのアホどもにはそれが分らない(笑
814:哀れな素人
17/10/01 12:57:59.43 ELh7StKw.net
>>756
無限は存在しないことはギリシャの昔から証明されている(笑
>オレの仮定：「無限は存在する」
なら、それを証明してみろ阿呆(笑
815:１３２人目の素数さん
17/10/01 12:58:17.23 RDeomlGb.net
>>757
> 0.99999……は１ではないのだから、
> 0.99999……は１であると仮定して理論を構築しても
そんな話はしていない。
お前の仮定：「無限は存在しない」
これは仮定なのか？答えろ。
仮定じゃないなら証明せよ。
手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。ほら、やってみろ。
816:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:01:22.65 MV7ZW1pI.net
盛り上がってるところを悪いが、こちらも事情があるので・・（＾＾
>>709
>ではあなたが提唱した S_π の co-tail がどの番号から先のしっぽなのか自然数で答えて下さい
すでに、>>104に示したとおり
co-tailを{s_n, s_(n+1),...}と書くことはできない。
補足
１．決定番号dの集合は、自然数Ｎと同じ可算無限集合になる。
（時枝記事より”任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.”
（35 ｽﾚﾘﾝｸ(math板:12番) 時枝問題（数学セミナー201611月号の記事）
な
817:ので、”任意の実数列S”に対し、d =１もあれば、d =ｎもある。だから、決定番号dの集合には上限がなく、可算無限集合になる＊）） ２．決定番号dの集合は、自然数Ｎと同じ可算無限集合になるので、元dは常に有限だが上限はない。常に後者が生成する動的状態を浮かべてもらうのが分かり易いだろう 動的に後者が生成するので、co-tailを{s_n, s_(n+1),...}と書くことはできない。しかし、空集合ではない。＊） 注＊）「自然数nの集合には上限がなくNは可算無限集合になること」、決定番号についても同様に「決定番号dの集合には上限がなく可算無限集合になること」がいつまでも理解できないらしいな
818:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:02:23.61 MV7ZW1pI.net
>>710
>有限個の箱に「どんな実数を入れるかはまったく自由」は自明であるが
>可算無限個の箱に「どんな実数を入れるかはまったく自由」は非自明である
あれあれ？
時枝記事より「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，」とありますです（＾＾
(35 ｽﾚﾘﾝｸ(math板:12番) 時枝問題（数学セミナー201611月号の記事）より)
>有限個を可算無限個に拡張するには「可算無限数列のしっぽでの同値類」が必要であって
>そのために決定番号は有限でなければならない
１行目は意味不明
２行目、決定番号は元dは有限だが、集合は可算無限。前述>> の通り
この後は、言っていることが意味不明なので流す
819:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:03:02.72 MV7ZW1pI.net
>>719
>どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せるのだから
時枝記事より
「実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.」
(35 ｽﾚﾘﾝｸ(math板:12番) 時枝問題（数学セミナー201611月号の記事）より)
ですので、”同値類の中で、尻尾を共有しない数列の存在が示せる”は、ありえんだろ！ 定義に反する！！
820:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:03:51.16 MV7ZW1pI.net
>>720
>>>696
>＞論点は「N~は無限公理を満たさない」が正しいかどうか
>
>拡大自然数の集合N~は、自然数の集合Nに「∞」を追加したものであるから
>∞が、無限公理の反例になる
無限公理（下記）及び無限の理解不足
それに、公理という概念が分っていないみたい
公理に、”反例”という言葉は使わない
URLﾘﾝｸ(ja.wikipedia.org)
無限公理
>拡大実数∞は超実数ではない
当たり前だろ。定義が違うんだから（下記）（＾＾
URLﾘﾝｸ(ja.wikipedia.org) 拡大実数
URLﾘﾝｸ(ja.wikipedia.org) 超実数
821:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:04:11.25 MV7ZW1pI.net
>>721
>＞最初から、”可算無限個”の定義を変えて行く
>＞ってことだよ
>
>定義の変更は認められません
数学の研究対象として、定義を拡張あるいは変更して、考察するというのは、常套手段だよ
例えば、方程式の整数解を考えるときに、整数→代数的整数（下記）で考察するが如し
通常の自然数Nに、元∞を加えて考察するのも同じことだ
視野が狭いね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
代数的整数
822:１３２人目の素数さん
17/10/01 13:04:16.18 RDeomlGb.net
>>758
> 無限は存在しないことはギリシャの昔から証明されている(笑
>
> >オレの仮定：「無限は存在する」
>
> なら、それを証明してみろ阿呆(笑
仮定がなんだか分かるかじいさんw
公理がなんだか分かるかじいさんw
定義がなんだか分かるかじいさんw
証明がなんだか分かるかじいさんw
> オレの仮定：「無限は存在する」
これは公理である。よって証明不要である。
> お前の仮定：「無限は存在しない」
これは仮定なのか？答えろ。
仮定じゃないなら証明せよ。
「無限は存在しない」を公理から導出せよ。
手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。
823:哀れな素人
17/10/01 13:04:57.31 ELh7StKw.net
>>759
>>758を嫁、まぬけ(笑
夕方に相手になってやるから
それまでに無限が存在することを証明しておけ(笑
証明できたら一億円やる(笑
まず手始めに自然数が無限個存在することを証明してみろ(笑
824:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:05:20.30 MV7ZW1pI.net
>>722
>正しくは 2未満の自然数と2以上の自然数の境界ですな
>
>＞この場合、境界は必ずしも実数Rの元でなくとも良い。
>
>この場合、境界は必ず自然数Nの元である必要があります
>
>超準的自然数も自然数です あなたがご存じないだけでしょう
サイコパス”17.慢性的に平然と嘘をつく”か
論点ずらし、おつです（＾＾
URLﾘﾝｸ(karapaia.com)
サイコパス（精神病質者）に見られる共通した20の特徴 2014年06月03日
(抜粋)
17.慢性的に平然と嘘をつく
825:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:05:52.07 MV7ZW1pI.net
>>723
>あなたこそ何が言いたいんでしょうか？
えーと、(>>657より)
">>（注：標準的自然数と非標準的自然数の明
826:確な境界は存在しない） >明確に境界は存在するよ。 >それは、まず、定義するかどうかから始まるよ。" だったよね。この話が、子供だましの数学的証明につながるとは思わなかったね（＾＾ 単に、自然言語の陳述と思った で、∞という概念は、古代インドですでに考えられていたという 無限大をある種の数と捉える場合でも、通常の数とは別の計算規則を設ける必要があるという意味で、”境界”は存在するだろうということ（下記） https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90 (抜粋) 無限（むげん、infinity、∞）とは、限りの無いことである。 無限大 ：記号∞ （アーベルなどはこれを 1 / 0 のように表記していた）で表す。 無限大をある種の数と捉える場合でも、それに適用される計算規則の体系は1つだけではない。 実数の拡張としての無限大には ∞ (+∞) と -∞ がある。 大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる。 (引用終り)
827:１３２人目の素数さん
17/10/01 13:06:19.17 RDeomlGb.net
>766
> >>759
> >>758を嫁、まぬけ(笑
>>765を嫁、まぬけ(笑
828:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:06:19.76 MV7ZW1pI.net
>>724
サイコパス”17.慢性的に平然と嘘をつく”か
おれが、最初から言っていることを繰返しているだけじゃねーか（＾＾
URLﾘﾝｸ(karapaia.com)
サイコパス（精神病質者）に見られる共通した20の特徴 2014年06月03日
(抜粋)
17.慢性的に平然と嘘をつく
829:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:07:08.45 MV7ZW1pI.net
>>725
>しかし他学科の学生はそもそも射影平面を知りません 残念なことです
子供でも知っているようなことを、何を自慢しているんだか・・（＾＾
以前も、”バナッハ=タルスキー”を、「おれはこんな難しいことを知っているのだ」と自慢していたけど・・
”バナッハ=タルスキー”など、このスレでは過去何度も紹介している
例えば、2016/07/24の下記などだが（＾＾
スレ21 ｽﾚﾘﾝｸ(math板)
190 自分：現代数学の系譜11 ガロア理論を読む[] 投稿日：2016/07/24(日) 13:56:23.77 ID:FvwRWNCJ
(抜粋)
URLﾘﾝｸ(fuchino.ddo.jp)
第I部 構成的集合と公理的集合論入門 渕野 昌 2015
(抜粋)
選択公理は，ツェルメロがこの公理を定式化した当初から色々と物議をか
もした公理である．バナッハ=タルスキーの逆理など，我々の物理的直観と
相容れない結果を導くこともあるため，問題視されることもある．
(引用終り)
830:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:07:34.66 MV7ZW1pI.net
>>726
> １．の場合の同値類はRと同じですが
> ２．の場合の同値類はR^Nと同じです
時枝記事の”商射影 R^N→ R^N/～”の話ね
なるほど、確かにそうかも
”２．の場合の同値類はR^Nと同じ”の証明が、すぐに浮かばない
が、まあ、正しそうだな。ピエロ予想としておこうか
で、話を戻すと、本題はそこじゃなく、決定番号dとその集合がどうなるかだよ（＾＾
831:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:07:51.83 MV7ZW1pI.net
>>727
>コンパクトの場合の有限個（＝自然数個）と、εの有限（＝正の実数値）を
>全く同じ意味だと思うのは、大学数学の教育が欠如しているせいだろう
まあ、そういう突っ込みもありかな
前者は、無限大（可算無限個）に対する有限であり
後者は、無限小に対するεの有限を言っている
関数 y=1/x を考えると、無限大 vs 無限小 で関連がつく
実際、下記”超実数”で、”無限大の逆数は無限小”とある
URLﾘﾝｸ(ja.wikipedia.org)
超実数
(抜粋)
如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。
832:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/01 13:08:37.71 MV7ZW1pI.net
>>731
ID:s8yUCkWjさん、どうも。スレ主です。（＾＾
古くからの住人ですかね（＾＾
余談だが、（>>734 ）"お前は一石だろ"は
外れっぽいね。ピエロとは別人だろう
>スレ主って年々ダメになってないか？
すまんね（＾＾
つまらん、時枝記事が決着しない・・
周りのレベルが下がっている気がす�
833:� いや、数学板のレベルが下がっているのかも（＾＾ そういや、最近￥さんの野焼きが見られないね なにかあったのかも まあ、話題を時枝記事以外にも散らしながら やっていきますよ（＾＾
834:１３２人目の素数さん
17/10/01 13:12:41.91 RDeomlGb.net
公理を知らない素人君へ
［公理］
その理論の出発点として、論証ぬきで真だと仮定し、他の命題の前提とする根本命題。
大事なところだからもう一度ｗ
公理とは「論証ぬきで真だと仮定」している命題のことだ。
> オレの仮定：「無限は存在する」
これは公理であるので証明不要である。
> お前の仮定：「無限は存在しない」
これは仮定なのか？答えろ。
仮定じゃないなら証明せよ。
「無限は存在しない」をお前の公理系から導出せよ。
手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。
835:１３２人目の素数さん
17/10/01 13:14:54.23 RDeomlGb.net
>>774
> 周りのレベルが下がっている気がする
すぐ他人を見下すのはよくないね。
836:哀れな素人
17/10/01 13:19:37.49 ELh7StKw.net
>>775
>これは公理であるので証明不要である。
ドアホ(笑
そんなものは公理でも何でもない(笑
そんなものを誰が公理としたのか(笑
無限は存在しないというのがギリシャの昔からの常識だ(笑
ちなみに無限は存在しないということは
僕はこれまで延々と説明している(笑
お前らがアホだから理解できなかっただけだ(笑
ところがお前らは無限が存在することを証明したことは一度もない(笑
これは公理だとごまかして逃げているだけだ(笑
今度もお前は逃げた(笑
当り前だ、逃げるしか能がないのだ(笑
そうやっていつまでも逃げているがいい(笑
そして思う存分僕に対して汚い悪口や罵りを書けばいい(笑
お前が何を書こうとアホなのはお前だ(笑
837:１３２人目の素数さん
17/10/01 13:31:40.54 RDeomlGb.net
>>766
> 夕方に相手になってやるから
> それまでに無限が存在することを証明しておけ(笑
あ、もしかして素人君は
「無限公理から無限集合の存在が従う」ことがわかりませんってこと？
つまり
URLﾘﾝｸ(ja.wikipedia.org)
［定義］と［解釈と帰結」が読めないってこと？
> > オレの仮定：「無限は存在する」
>
> これは公理である。よって証明不要である。
これの意味が分からないとしたら、そういうことでしょ？ｗ
無限公理が分かってないの？
無限公理から無限集合の存在がしたがうことが分かってないの？
無限の定義が違うの？
公理の意味が分かってないの？
オレにはぜーんぜん分からんなあ、お前が何を分かってないのかが。
まあお前に無限集合の存在が分からなくても無理はないよ。
だって「有限」と「無限」の定義がそもそも違うようだからね。
そんな奴にどんな文献を出したって無駄。
お前の数学では「無限は存在しない」が金科玉条だから、無限を持ち出した時点でOUTだろ？お前に言わせれば。
ってことは当然、無限公理は使わないし使えないわけだ。お前の数学では。
それなら説明責任はお前にあるわけよ、分かる？
お前しか知らない公理系でお前しか知らない「無限」「有限」の用語を使われたって誰もわからんだろ？
お前の「無限は存在しない」という金科玉条は公理なのか？どっちなんだよ。
他人をこれだけバカにしてきて「無限が存在しない」証明はどこにもないじゃないか。
これが公理（仮定）でないなら、お前は証明しなければならない。
お前の数学における「公理」「用語の定義」をきちんと整理したうえで「無限が存在しない」ことを証明せよ。
お前はそれをやらなければならない。
他人をさんざんバカにしてきたんだからな。
逃げるなよじじい。
気が向いたら相手してやるから、きっちり証明を書け。
不備は許さんｗ
838:１３２人目の素数さん
17/10/01 13:33:14.70 ptpnpdQN.net
>>755
定義を問われて「そんなのは常識である、何を難しく考えてるのか」とか言っちゃう馬鹿が
＞要するにこのアホどもは数学は厳密の学であるということが分っていないのだ（ｷﾘｯ）
だってさ、笑えるな
839:１３２人目の素数さん
17/10/01 13:35:32.67 ptpnpdQN.net
>>758
＞>オレの仮定：「無限は存在する」
＞なら、それを証明してみろ阿呆(笑
この一言で爺さんが何も分かってないのがよ～く分かりますた、本当に有難うございました
840:１３２人目の素数さん
17/10/01 13:42:20.50 uIo4DGr8.net
>>762
>>どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せる
>時枝記事より
>「実数列の集合 R^Nを考える.
> s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，
> ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき
> 同値s ～ s'と定義しよう」
>ですので、”同値類の中で、尻尾を共有しない数列の存在が示せる”は、ありえんだろ！
> 定義に反する！！
「どの番号についても」を省略するのが誤解
どの番号nについてもs = (s1，s2，s3 ，・・・)，について、
not(sn＝s'n)となる数列s'=(s'1， s'2， s'3，・・・ )の存在が示せる
つまりsnは共有していない
上記は、同値類の定義には全く反していない
841:１３２人目の素数さん
17/10/01 13:47:11.73 uIo4DGr8.net
>>763
>>∞が、無限公理の反例になる
>公理に、”反例”という言葉は使わない
使う
∞∈N~だが、∞�
842:{１∈N~でない x+1はｘ∪｛ｘ｝ ∞＝{0,1,2,3,・・・｝(＝N) ∞＋１＝{0,1,2,3,・・・∞｝(＝N~)
843:１３２人目の素数さん
17/10/01 13:50:49.71 uIo4DGr8.net
>>764
＞数学の研究対象として、定義を拡張あるいは変更して、
＞考察するというのは、常套手段だよ
数学の問題の結論が気にいらないという独善的な理由で
前提を変更して否定するというのは邪道だよ
＞視野が狭いね（＾＾
あなたこそ了見が狭いね（＾＾
844:１３２人目の素数さん
17/10/01 13:53:42.06 uIo4DGr8.net
>>767
>>超準的自然数も自然数です あなたがご存じないだけでしょう
>サイコパス”17.慢性的に平然と嘘をつく”か
自然数の公理を満たすなら自然数です
標準的自然数だけが自然数だというわけではありません
注）標準的自然数とは自然数論のどのモデルにもある自然数
ゲーデルの完全性定理により、自然数論からその存在が証明できる
845:１３２人目の素数さん
17/10/01 13:59:45.74 RDeomlGb.net
>>764
＞数学の研究対象として、定義を拡張あるいは変更して、
＞考察するというのは、常套手段だよ
拡張する前に元の命題をきちんと理解しようや。
846:１３２人目の素数さん
17/10/01 14:01:42.41 uIo4DGr8.net
>>768
>>標準的自然数と非標準的自然数の明確な境界は存在しない
>この話が、子供だましの数学的証明につながるとは思わなかったね（＾＾
>>784 でも述べたように
「標準的自然数とは自然数論のどのモデルにもある自然数」
である、逆に非標準的自然数は、これを含まないモデルが存在する
（実は標準的自然数のみを含むモデルが存在する）
>単に、自然言語の陳述と思った
あなたがモデルを知らないからそう誤解しただけ
847:１３２人目の素数さん
17/10/01 14:04:31.87 ptpnpdQN.net
>>760
Y or N で答えよ、N の場合は理由を述べよ
お前は co-tail の定義を「ある番号から先のしっぽ」※と書いた。 Y/N
だから S_π の co-tail が何番から先のしっぽなのか聞いたんだが、
＞co-tailを{s_n, s_(n+1),...}と書くことはできない。
は上記定義と矛盾している。 Y/N
よってお前が取るべき対応は以下のどれか Y/N
・S_π の co-tail={s_n, s_(n+1),...} の n を自然数で答える
・co-tail の定義を変更する
・co-tail が存在するという主張を取り下げる
※
＞４．ここで、{s',s'',s''',・・・}たちには、しっぽの共通部分(co-tailと呼ぶ）がある。co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ
848:１３２人目の素数さん
17/10/01 14:06:02.32 uIo4DGr8.net
>>770
>おれが、最初から言っていることを繰返しているだけじゃねーか（＾＾
あなたがNとN~は違うと云っているなら
R^N~で、箱入り無数目が成立しなくても
R^Nで、箱入り無数目が成立しないことの
証明にはなり得ないと云ってることになりますが
そうだと認めますか？
849:１３２人目の素数さん
17/10/01 14:19:16.52 ptpnpdQN.net
>>762
お前何も理解しとらんな 馬鹿丸出しやんけ
850:１３２人目の素数さん
17/10/01 14:37:43.32 ptpnpdQN.net
>>774
＞周りのレベルが下がっている気がする
＞いや、数学板のレベルが下がっているのかも（ｷﾘｯ）
と、εN論法すら分からないバカが申しております
851:１３２人目の素数さん
17/10/01 14:41:39.25 ptpnpdQN.net
>>777
＞そんなものを誰が公理としたのか(笑
Ernst Friedrich Ferdinand Zermelo
852:１３２人目の素数さん
17/10/01 16:09:41.93 iaPDYqur.net
>>761
> あれあれ？
> 時枝記事より「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.どんな実数を入れるかはまったく自由，」
> とありますです
{0, 1, 2, ... , 9}^Nで数当てができないのなら「どんな実数を入れるかはまったく自由」は成り立たないことになる
「(有限個の箱に)0から9のどの数字を入れるかはまったく自由」の場合は有限小数のどの元も自由に選べることに等しい
では「(可算無限個の箱に)0から9のどの数字を入れるかはまったく自由」の場合は任意の元(= 実数とみなせる)を自由に出題できますか？
それにはどのような条件が必要か？
「(有限個の箱に)どんな実数を入れるかはまったく自由」の場合はR^nのどの元も自由に選べる
では「(可算無限個の箱に)どんな実数を入れるかはまったく自由」の場合はR^Nの任意の元を自由に出題できますか？
それにはどのような条件が必要か？
ということです
>>710
> 出題者は任意のR^Nの元をsn = a1+r1, a2+r2, ... , ak+rk, r(k+1), r(k+2), ... の形で
> 自由に選ぶことが可能になる
853:哀れな素人
17/10/01 16:43:32.77 ELh7StKw.net
さて、またアホどもの相手をしてやるか(笑
無限公理とは可能無限公理にすぎないのである(笑
こんなことも分らんとは何たるアホどもよ(笑
ペアノの公理にしても無限公理にしても、
ただ単に自然数はいくらでも作れますよ、
と言っているだけなのである(笑
いくらでも作れるが無限個は作れない(笑
どんなに作っても有限個である(笑
こういう単純なことが、ここのアホどもには分らないのだ(笑
ここの連中がいかにドアホであるか分る(笑
854:１３２人目の素数さん
17/10/01 16:47:56.89 ptpnpdQN.net
>>793 無限公理にはどこにも「～を作れる」なんて書かれてない 「～を満たす集合が存在する」と書かれてる 独自解釈もほどほどに
856:哀れな素人
17/10/01 16:52:05.43 ELh7StKw.net
無限公理男（閉区間男・ペンタコ男・互除法男）
がいかにアホのクルクルパーであるかがはっきり分った(笑
この馬鹿は無限公理が公理だから
無限は存在すると思っているのだ(笑
無限公理なんて、自然数はいくらでも作れる、
という当たり前のことを近代のアホ学者が
定理として立てただけのものであって、
単に可能無限公理にすぎないのに、
この馬鹿は実無限公理だと思っているのだ(笑
もちろんこの馬鹿だけではない(笑
このスレ全員がそう思っているのだ(笑
まさにアホの巣(笑
857:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています