19/09/28 21:07:04.73 K5IpwXIv.net
>↑こうしてアホさを晒し続ける白痴（笑
いや、それ分からないおまえが白痴だよｗ
568:１３２人目の素数さん
19/09/28 21:11:32.79 6/r2LB8I.net
↑こうしてアホさを晒し続ける白痴（笑
さすが日大卒（笑
これほどの馬鹿はそうざらにいない（笑
569:１３２人目の素数さん
19/09/28 21:20:13.05 K5IpwXIv.net
おまえ lim[n→∞]0≠0 だと思ってるの？ バカ過ぎｗ
570:１３２人目の素数さん
19/09/28 21:23:17.24 6/r2LB8I.net
↑ますますアホの度を深めている（笑
ったく信じがたいバカ（笑
これでこいつがいかにアホであるか分っただろう（笑
571:１３２人目の素数さん
19/09/28 21:48:52.13 K5IpwXIv.net
はぐらかすとこ見ると分かってないんだなｗ
こいつ真性のバカだｗ
572:１３２人目の素数さん
19/09/28 22:19:07.56 6/r2LB8I.net
↑ますます深みにはまる白痴（笑
アホを晒しまくっているのに気付かない（笑
573:１３２人目の素数さん
19/09/28 22:23:12.39 K5IpwXIv.net
またはぐらかしｗ
まったく分かってないｗ アホｗ
574:哀れな素人
19/09/28 22:31:11.49 6/r2LB8I.net
↑どんどんアホを晒しまくる（笑
575:１３２人目の素数さん
19/09/28 22:38:13.01 K5IpwXIv.net
いや、アホ晒しはおまえだよｗ
576:１３２人目の素数さん
19/09/28 22:40:38.85 6/r2LB8I.net
↑と、ますます泥沼にはまる池沼（笑
577:１３２人目の素数さん
19/09/28 23:04:14.89 6/r2LB8I.net
池沼の相手はここまで（笑
578:１３２人目の素数さん
19/09/29 00:16:29.41 GqnEepIO.net
と、池沼が言う
579:１３２人目の素数さん
19/09/29 00:38:38.06 yMiUWc4N.net
インチキ臭いのはまだしも、インキ臭い所で長い時間過ごしてると
胆管がんになるよ。(注意)
580:１３２人目の素数さん
19/09/29 01:58:37.60 FXlZgljl.net
有限小数dに対して、最後の桁を 切り捨てた小数をd#、最後の桁とその直前の桁を切り捨てた小数をd##とかく
小数dに対して、最初の桁からn個取り出してできる数をd[n]とかく
☆安達数の定義
正の小数の数列{a_n}であり、a_nは小数点以下第n位まで持つ小数であり、収束するもののうち
「(a_n)#=(a_(n+1))##」
を満たすものをいう
☆...の定義
安達数{a_n}に対して、{a_n}の収束値をdとする
このとき、dの無限小数表示d%のうち、
「任意のnに対して、d%[n]=(a_m)#を満たすa_mが存在する」
を満たすものを、安達数{a_n}の”安達表示”と呼び、{a_n}%とかく
例:安達数{0.1,0.01,0.001,....}に対する安達表示は0.0000.....
安達数{0.9,0.99,0.999,...}に対する安達表示は0.999....
☆安達数と実数との大小
このとき、安達数{a_n}とある実数dに対して
「任意のnにたいして、a_n＜d」
が成り立つなら、{a_n}はdより小さいと呼び、{a_n}＜＜＜d、もしくは、安達表示を用いて{a_n}%＜＜＜dとかく
☆割り切れるの定義
安達数{a_n}が実数dで割り切れるとは、任意のnについて、a_n÷dが有限小数になることである
例:安達数{1.0,1.00,1.00,....}=1.000....%は3では割り切れない
1.0÷3=0.333...と有限小数ではないため
安達数{0.9,0.99,....}=0.999....%は3で割り切れる
581:１３２人目の素数さん
19/09/29 01:59:59.82 FXlZgljl.net
☆必ず1余るの定義
安達数{a_n}が実数dで割り切れない時、任意のnについてa_nをdで割ると無限小数になる
a_nの収束先をaとして、b_n=(a÷d)[n]として、新たな安達数{b_n}を定義する
このとき、a_n÷d=b_n+α_nというように書くことができ、a_nとb_nは一致することはない
このことを、{a_n}をdで割ると必ず余りが出ると表現して
{a_n}÷d={b_n}+{α_n}と書く
例:安達数{a_n}={1.0,1.00,...}=1%を3で割ることを考えると、1%は3では割り切れない
b_n=0.3....3であって、a_n÷3=b_n+0.000...0333....
となって必ずあまりが出ることになる
従って
1% ÷3=0.333...%+{αn}
☆安達数が収束するの定義
安達数{a_n}がその極限値dに収束するとは、dが安達さんの知っている範囲で具体的に無限小数ではない形で書き下すことのできるものをいう
収束する安達数は一般的でない安達数と呼ぶ
そうでない場合、安達数{a_n}は一般的な安達数と呼ぶ
例:0.000...%は0に収束
0.999....%は1に収束
1.41421356....は√2に収束
☆安達数同士の大小比較
安達数{a_n},{b_n}があるとき、
任意のnに対してあるmが存在して a_n＞b_m
となるとき、{a_n}＞＞＞＞{b_n}と表す
例:0.999...%＞＞＞＞0.999....%
582:１３２人目の素数さん
19/09/29 02:00:31.77 FXlZgljl.net
安達さんの考える無限小数は実数ではなく「安達数」という別物です
まとめておきました
583:１３２人目の素数さん
19/09/29 02:03:07.65 FXlZgljl.net
>>543
＞lim[n→∞]0=0 ←正真正銘のバカ（笑
これは、左辺は安達数なのに右辺が実数だから同じになるわけではないということです
安達さんには{0,0,0,0,....}=0という式に見えているのですね
あくまでも、{0,0,0,0,....}の極限値=0だからです
584:１３２人目の素数さん
19/09/29 02:07:37.16 FXlZgljl.net
そっか
自分で書いて気づきましたけど、安達さんにとってのlimは安達数を対応させるものなのですね
安達さんに質問です
lim[n→∞]√2という極限は考えることはできますか？
最初から√2という無限小数が出てきてしまっているので意味をなしませんか？
585:１３２人目の素数さん
19/09/29 02:21:20.50 FXlZgljl.net
☆安達数同士の大小比較
安達数{a_n},{b_n}があるとき、
任意のnに対してあるmが存在して a_m＞b_n
となるとき、{a_n}＞＞＞＞{b_n}と表す
例:0.999...%＞＞＞＞0.999....%
こちらが正しいです
586:１３２人目の素数さん
19/09/29 05:09:03.54 yMiUWc4N.net
x^3 + y^3 + z^3 = w^3 の整数解の例
x = t^3 -(s+r)tt +(ss+2rr)t +(rss -2rrs +r^3),
y = -t^3 +(s+r)tt -(ss+2rr)t +(2rss -rrs +2r^3),
z = (s-2r)tt + (rr-ss)t + (s^3 -rss +2rrs -2r^3),
w = (s+r)tt + (ss+2rr)t +(-s^3 +rss -2rrs -r^3),
ただし r,s,t は整数。
587:１３２人目の素数さん
19/09/29 05:32:26.86 H0bVvbUz.net
>>23
じゃあさ。1との差を教えてよ。
1-0.000…と続いて、最後に1がつく数
と言いたくなるけど最後に1をつける、ということは0.999…の9を途中でとめることになってしまうので、どこまでいっても0.000…と0がずっと続く数、すなわち0が1と0.999…との差。
つまり�
588:ｼ者の差は0
589:１３２人目の素数さん
19/09/29 08:47:06.24 LkgOfTiz.net
>>566
０．９９９・・は限りなく１に近づくってことで０．９９９・≠１でいいじゃん
590:１３２人目の素数さん
19/09/29 08:51:37.64 LkgOfTiz.net
>>543
＞ａｎはαにはならないのである
ｌｉｍ ａn とαが等しくないってことは認めるんだね
591:１３２人目の素数さん
19/09/29 08:52:39.46 FXlZgljl.net
>>566
1-0.999...は{0.1,0.01,0.001,....}だから0ではないんだと彼は言っていました
592:１３２人目の素数さん
19/09/29 08:53:08.88 LkgOfTiz.net
>>543
ａｎは限りなくαに近づくけど等しくはない
593:１３２人目の素数さん
19/09/29 08:55:25.65 LkgOfTiz.net
>>569
これもなんか極限操作だね
594:哀れな素人
19/09/29 08:58:44.29 1LvNssK+.net
>>563
ID:FXlZgljlは質問少年だが、お前、自分で書いていて
lim[n→∞]0=0
のアホさに気付かないのか（笑
>lim[n→∞]√2という極限は考えることはできますか？
この文章のアホさに気付かないのか（笑
>最初から√2という無限小数が出てきてしまっているので
√2が無限小数だというような馬鹿はお前しかいない（笑
595:１３２人目の素数さん
19/09/29 09:01:14.30 FXlZgljl.net
>>572
a_n=0とすればlim[n→∞]a_n考えることはできるのではないですか？
え？√2は収束する無限小数じゃないんですか？
前そんなこと言ってませんでしたっけ？
596:哀れな素人
19/09/29 09:05:05.09 1LvNssK+.net
>>567
その考えが正解（笑
>>568
ｌｉｍ ａn ＝αである（笑
ａn ≠αだがｌｉｍ ａn ＝αである（笑
何でお前らはこんな常識さえ理解していないのか（笑
597:１３２人目の素数さん
19/09/29 09:06:33.68 FXlZgljl.net
>>574
＞ａn ≠αだがｌｉｍ ａn ＝αである（笑
だからこれはみんなわかってますよって私なんども言った気がするんですけどw
598:１３２人目の素数さん
19/09/29 09:07:49.74 noFWtPdb.net
こんなスレ伸ばすなよ
ただの金儲け目的の広告だぞ
599:哀れな素人
19/09/29 09:15:03.52 1LvNssK+.net
2chの連中と話していると、
いつも中二のアホと話しているような気分になる（笑
>>573
お前は√2は無限小数だと思っているのか（笑
中学校の先生に√2は無限小数ですか、と訊いてこい（笑
600:１３２人目の素数さん
19/09/29 09:18:58.16 FXlZgljl.net
>>577
√2=1.414....だから無限小数だと答えるでしょうね
昔のレスおったら、1.41421356...の極限値が√2だという記述を見つけました
1.41421356....%の極限値=√2というように、1.41421356...もやはり安達数なのですね
安達さん的には√2てどう定義されるんですか？
実数の連続性とか無理数認めてるのか怪しいですから、なんか√2もそもそもないみたいにおっしゃいそうな雰囲気ありますけど
601:哀れな素人
19/09/29 09:28:38.93 1LvNssK+.net
√2は無限小数だと思っているような馬鹿は初めて見た（笑
話は変わるが、モンティ・ホール問題に疑惑が浮かんだので、
しばらくこの問題について再考してみるつもりだ。
602:１３２人目の素数さん
19/09/29 09:29:36.73 FXlZgljl.net
√2とはなんですか？
早くしてくださいねー
安達さんには理解できないと思いますけどw
603:１３２人目の素数さん
19/09/29 09:31:15.13 FXlZgljl.net
選ぶドアを変えれば確率2/3
宇宙人が空からやってきてどっちか選べば確率1/2
604:１３２人目の素数さん
19/09/29 10:46:43.48 WcBxaUNf.net
Ｇスレ設立者の「退行現象」
ｽﾚﾘﾝｸ(math板:645番)
何の考えもなく間違った発言をしてその誤りを指摘されても
誤りを認めず延々と言い訳したあげく罵詈雑言を吐く
理由が明らかなだけに実にみっともない
605:１３２人目の素数さん
19/09/29 10:54:40.78 WcBxaUNf.net
Ｇスレ設置者の芸といえば
数学の初歩レベルで間違う
致命的なボケである
例えば５年前のスレ10
ｽﾚﾘﾝｸ(math板:259番)
＞σには、何の制約も付かないとしたら、
＞「σ-1・Ｈ・σはＨと同型」って
＞まさに正規部分群でしょ？
「集合として同じ」を「群として同型」と誤解する時点で致命的
ちなみに任意の群でσ-1・Ｈ・σはＨと同型なのは
群論の初歩の証明問題である
606:１３２人目の素数さん
19/09/29 11:03:59.32 WcBxaUNf.net
そしてＧスレ設立者はとうとう現スレで
607:数学の初歩の初歩である集合論で 最強の致命的ボケをかましてくれた https://rio2016.5ch.net/test/read.cgi/math/1568026331/30-31 ＞我々の通常接する素朴集合論に近い議論では、 ＞”x ∈ y → x ⊂ y ”を認めた方が良い ＞という結論に至った ＞基本的な考え方は，∈ がその上で整列順序になる集合たちのクラスを ＞上手に定義して，それに属する集合を順序数として定義すること ＞（要するに、∈－順序な） ＞∈－順序は、推移的なので、xの任意の元 u ∈ x が成立つと、 ＞x ∈ y → u ∈ ｙ成立（∵推移性より） ＞だから、この場合は”x ∈ y → x ⊂ y ”成立 ＞我々が通常扱う集合は、超限帰納法も適用可の場合が多く、 ＞∈－順序が成立つとして良い 要するに 「通常扱う集合は、∈ がその上で整列順序になる集合、つまり順序数である」 とかいうサイコウに見当違いな発言をしているのである
608:１３２人目の素数さん
19/09/29 11:12:28.24 WcBxaUNf.net
Ｇスレ設立者の「退行現象」２
ｽﾚﾘﾝｸ(math板:646番)
Ｓ＝{…{{{}}}…} （{}が無限個重なっている）
が正則性公理に反しないと思ってる時点で致命的
上記の集合の要素は、元の集合と同じ
Ｓ＝{…{{{}}}…}
であるからＳ＝｛Ｓ｝となり正則性公理に反する
致命的ボケで集中砲火を食らって勢いトップになる
イタイ芸はもう要らない
609:哀れな素人
19/09/29 11:25:17.77 1LvNssK+.net
>>580
√2を無限小数だと思っているような馬鹿はお前しかいない（笑
ID:WcBxaUNf
これはサル石（笑
少しまともな文章を書くようになったが、そのうち本性を現わす（笑
610:１３２人目の素数さん
19/09/29 11:26:19.31 FXlZgljl.net
で、√2の定義はなんですか？
実数あなたは認めてないんですよね
611:１３２人目の素数さん
19/09/29 11:30:41.88 WcBxaUNf.net
>>586
＞これは・・・
外れ
でも、あなたの「数学板 勢いNo1スレ計画」に協力してあげましょう
612:１３２人目の素数さん
19/09/29 11:46:29.39 1LvNssK+.net
質問少年とサル石、
今日はこの二人のバカが粘着中（笑
粘着するｷﾁｶﾞｲであるところがそっくりだ（笑
キチガイ同士気が合うらしい（笑
613:１３２人目の素数さん
19/09/29 12:02:49.11 NoBnYUlZ.net
>>585
どうもガロアスレのスレ主です
出張してきました
あなたは、正則性公理が分かってない
無限降下列の禁止という言葉の表面に引きずられているね
もっと、自分で調べてみな
614:１３２人目の素数さん
19/09/29 12:07:48.80 WcBxaUNf.net
>>590
＞あなたは、正則性公理が分かってない
分かってないのは、ID:NoBnYUlZ 君
＞無限降下列の禁止という言葉の表面
表面も裏面もない
無限降下列があるならそれだけでNG
調べる（検索する）だけで終わるんじゃなく
検索結果を読んで考えな
そうしないと賢くなれないよ
615:１３２人目の素数さん
19/09/29 12:16:14.25 WcBxaUNf.net
Ｇスレ設立者は自らを「主」と呼ぶ悪癖があるが
自己愛丸出しで異常極まりない
ま、冗談でLoT(”The Lord of the Threads”)と呼んでもいいが
中身はrotだな
616:１３２人目の素数さん
19/09/29 12:21:03.70 FXlZgljl.net
スレ主という言い方は5chでは普通ですよ別に
617:１３２人目の素数さん
19/09/29 12:41:58.15 NoBnYUlZ.net
>>591
分かってないね
正則性公理は、無限降下列を直接禁止していない
直接禁止しているのは、x∈xとかなんだ
それで、間接的に禁止される無限降下列がある
しかし、無限降下列が全くダメというわけではない
調べてみな(^_^)
618:１３２人目の素数さん
19/09/29 13:43:57.28 WcBxaUNf.net
>>594
ID:NoBnYUlZ 毎度のことですが、今度も間違ってますね
URLﾘﾝｸ(ja.wikipedia.org)
「（正則性公理とは）空でない集合は必ず自分自身と交わらない要素を持つ。
∀A（￢(A
619:=Φ)⇒∃x∈A.∀t∈A.￢(t∈x)) 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 任意の空でない集合xに対して、∃y∈x,x∩y=0 ∀xについて、∈がx上well-founded ∀xについて、無限下降列である x∋x_1∋x_2∋...は存在しない。 V=WF （Vはフォン・ノイマン宇宙 WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス）」
620:１３２人目の素数さん
19/09/29 13:48:41.66 WcBxaUNf.net
>>593
＞5chでは普通ですよ
自分を主という人は異常だがね
621:１３２人目の素数さん
19/09/29 14:01:12.28 GqnEepIO.net
X={{{...}}} の元はX自身のみだから
>任意の空でない集合xに対して、∃y∈x,x∩y=0
を満たさないわなｗ
わざわざ他スレに出張して自分が白痴であることを広めるキチガイｗ
622:１３２人目の素数さん
19/09/29 14:01:44.82 WcBxaUNf.net
ｽﾚﾘﾝｸ(math板:654番)
終わったのは ID:NoBnYUlZ 君だよ、君
x∈yだからといってx⊂yだとは限らないとか
有限集合とは要素の数が有限である集合とか
基礎論とかいう以前の集合論の初歩
こんなことすら間違うんじゃ
正規部分群の定義を間違うのは当然
623:１３２人目の素数さん
19/09/29 14:03:58.40 GqnEepIO.net
x∈y ⇔ x⊂y
こんなことを真顔で言う白痴始めて見たｗ
624:１３２人目の素数さん
19/09/29 14:24:52.46 NoBnYUlZ.net
>>597
ああ、そこでつまずいていたの(^_^)
X＝{{・・{}・・}が、X自身？
自然数のツェルメロ構成が、正則性公理に反するか(^_^)
その珍説は、初耳だな(゜ロ゜;
625:１３２人目の素数さん
19/09/29 14:29:37.73 WcBxaUNf.net
>>600
>X＝{{・・{}・・}が、X自身？
有限回の{}の重なりではそうならないが
無限回ならそうなるな
{}一つ外したって無限回重なってるから
626:１３２人目の素数さん
19/09/29 14:29:49.09 NoBnYUlZ.net
>>600
タイボ訂正
X＝{{・・{}・・}}が、X自身？
な
あんたな、濃度と順序数の区別ついていないね(゜ロ゜;
627:１３２人目の素数さん
19/09/29 14:33:59.99 WcBxaUNf.net
>>602
＞濃度と順序数の区別ついていないね
またわけもわからず反論して自爆かい？
ω番目だから、X=…{{{}}}… というつもりかい？
なら、Xには一番外側の{}がないから、そもそも集合ですらないな
628:１３２人目の素数さん
19/09/29 14:35:04.26 H0bVvbUz.net
>>569
なんか。読み返したら、既にこの線での話はされているようですね。失礼しました。
実数概念を超えた新しい概念を導入した新しい数学を作るということなんかな。
ちゃんと出来ればそういうのもありなのかも知れないが、まあなんというか。少なくとも既存の実数概念だと1と0.999…に差があるとすると多分矛盾をだせるから背理法で 同じとなってしまうけどね。極限概念もち出さなくとも。
629:１３２人目の素数さん
19/09/29 14:39:27.87 H0bVvbUz.net
超実数概念まで取り込んだらかの差を定義しても矛盾のない体系になるんかな？超準解析ちゃんとやったことないからよくは知らないんだが。これも既に話されてるのかな？
630:１３２人目の素数さん
19/09/29 14:40:12.32 WcBxaUNf.net
>>604
安達氏のことなら、単に「小数は有限小数しかない」っていいたいだけかと
0.999…と書いても所詮有限長だから1より0.00…1小さいというのが唯一の理由
631:１３２人目の素数さん
19/09/29 14:41:26.76 WcBxaUNf.net
>>605
無限を排除したいだけの安達氏が超実数なんて持ち出すわけないな
632:１３２人目の素数さん
19/09/29 14:42:02.11 GqnEepIO.net
>>602
いみふｗ
X={{...{}...}} の元はX自身のみ
が分からないとか白痴か？ｗ
633:１３２人目の素数さん
19/09/29 14:43:45.35 H0bVvbUz.net
>>607
ああ。なんだそういうこと。
すごい高尚なことを言っているわけではないのね。
634:１３２人目の素数さん
19/09/29 14:45:10.67 H0bVvbUz.net
だったら連続なんかも否定するのかな。
635:１３２人目の素数さん
19/09/29 14:45:49.51 GqnEepIO.net
636:安達はいつも否定なんだよなあ 「√2は無限小数ではない」としか言わず、「√2は〇〇である」とは言わない 自分でも分ってなさそうｗ
637:１３２人目の素数さん
19/09/29 14:48:28.89 H0bVvbUz.net
驚き。√2は有理数ってか。 すぐ矛盾出そうな。
638:１３２人目の素数さん
19/09/29 14:49:53.22 teUAPMFH.net
>>605
お話ししたらそんなもの存在するわけないと一蹴りされてしまいました
無限小は存在しないそうです
639:名無しさん
19/09/29 14:49:54.58 H0bVvbUz.net
ごめん。なんこかなまえ誤記した。
640:１３２人目の素数さん
19/09/29 14:51:13.25 FXlZgljl.net
>>606
それが違うんですよ
0.999....は0.9にも0.99にも0.999...9にもなれる数だそうです
641:１３２人目の素数さん
19/09/29 14:53:49.10 H0bVvbUz.net
>>613
あら。既に話されてるのですね。
循環小数は認めるんですかね？
これも否定すると自然数の割り算もできなくなりますが。
642:１３２人目の素数さん
19/09/29 14:54:26.51 FXlZgljl.net
0.999...=0.9なのか？という質問にも違うと帰って来ました
なんらからの有限小数の代わりにではないみたいなんですよね
あくまでどんなものも取れるという情報も入ってるみたいです
だからもう安達数考えるしかないんですよ
643:１３２人目の素数さん
19/09/29 14:54:51.51 H0bVvbUz.net
>>615
なれる、の意味がわからん。
644:１３２人目の素数さん
19/09/29 14:55:29.92 FXlZgljl.net
>>616
1÷3はできませんが、0.999...÷3はできるそうです
上の方に安達数の性質上げておいたんで見てみてください
645:１３２人目の素数さん
19/09/29 14:56:00.90 FXlZgljl.net
>>618
安達さんにしかわかりません
私は安達数を提案したんですけど微妙に違うそうです
646:１３２人目の素数さん
19/09/29 14:56:02.34 WcBxaUNf.net
>>615
>0.999....は0.9にも0.99にも0.999...9にもなれる数
でも全部有限長
だから「有限小数しかない」は全然違ってない
647:１３２人目の素数さん
19/09/29 14:57:56.20 H0bVvbUz.net
>>617
安達数...
数学的にwell defineなんすかね？
数学の体系として成立してればそれはそれで面白そうだとは思うけど。
648:１３２人目の素数さん
19/09/29 14:59:11.49 H0bVvbUz.net
>>619
のちほど見てみます。
649:１３２人目の素数さん
19/09/29 15:00:44.15 GqnEepIO.net
>>61
650:2 古代ギリシャ人が矛盾を見つけてるしねｗ
651:１３２人目の素数さん
19/09/29 15:28:32.57 GqnEepIO.net
>>617
>だからもう安達数考えるしかないんですよ
考えるのはいいけど数列は使えないですよ？
彼は数列の存在を否定しているので、
というかその前の自然数全体の集合N、さらにその前の無限集合の存在を否定してるんです
652:１３２人目の素数さん
19/09/29 15:42:09.50 r2OLtCsd.net
>>625
安達数の定義がそもそも無限数列にしか見えないんですけど。
653:１３２人目の素数さん
19/09/29 15:45:35.13 r2OLtCsd.net
そもそも、"存在を否定する"ってのがよくわからない。
どんな概念だって、その数学体系のなかでうまく定義できればいいだけの話だと思うので。
654:１３２人目の素数さん
19/09/29 15:45:52.23 GqnEepIO.net
だからその定義を安達は受け入れないだろう
という話
655:１３２人目の素数さん
19/09/29 15:46:38.69 r2OLtCsd.net
ちゃんと定義されたものの存在を仮定すると、その体系から矛盾が出てくるという意味での
存在を否定ならわかるが。
656:１３２人目の素数さん
19/09/29 15:46:39.42 GqnEepIO.net
>>627
普通の人はそう考えるｗ
安達が特殊なだけｗ
657:１３２人目の素数さん
19/09/29 15:47:23.79 GqnEepIO.net
>>629
普通の人はそう考えるｗ
安達が特殊なだけｗ
658:１３２人目の素数さん
19/09/29 15:47:28.29 r2OLtCsd.net
>>630
なるほど。
非常に不自由に数学を考えているんだと、善意にとらえておこう。
659:１３２人目の素数さん
19/09/29 15:48:58.84 r2OLtCsd.net
>>628
なんか。拗らせてる感いっぱいの話なのですね。
660:１３２人目の素数さん
19/09/29 16:23:23.23 x11vUXaa.net
安達さんにも、実無限が存在しないとはどこにどのような意味で存在しないからダメという意味なのか答えていただきたいんですがまだお返事がないですね
661:１３２人目の素数さん
19/09/29 16:39:29.23 WcBxaUNf.net
>>634
＞どこにどのような意味で存在しない
ありがちな回答
「俺の中に存在しない」（キリッ）
662:１３２人目の素数さん
19/09/29 16:49:41.81 GqnEepIO.net
>>634
＞どこにどのような意味で存在しない
ありがちな回答
「お前のアホさに呆れる（笑
このアホには数学は無理（笑」
663:１３２人目の素数さん
19/09/29 17:04:57.95 NoBnYUlZ.net
>>595
ガロアスレのスレ主です
それ、正則性公理の∈無限降下列の理解というか、定義を取り違えているよ
今、詳しく書けないけど
自分で調べてね(^_^)
664:１３２人目の素数さん
19/09/29 17:12:03.48 WcBxaUNf.net
>>637
∈無限降下列を誤解してるのは君
君には数学は無理だから諦めな(^_^)
665:１３２人目の素数さん
19/09/29 17:14:38.23 NoBnYUlZ.net
>>637
なので、
X＝｛{・・{}・・}}
（｛｝たちが、無限に繰り返されている）
という集合は、正則性公理に反せず
存在しうるよ(゜ロ゜;
666:１３２人目の素数さん
19/09/29 17:18:45.12 WcBxaUNf.net
>>639
X＝{{・・{}・・}}の要素はX自身だけであり
X∩Ｘ＝ＸであってΦではないので
正則性公理を満たさない
君には数学は無理だから諦めな(^_^)
667:１３２人目の素数さん
19/09/29 17:29:39.27 NoBnYUlZ.net
>>638
正則性公理は、空集合Φから構成される全ての集合が、整楚であることを要求するもの
整礎関係の分脈での無限降下列が存在しないという意味だよw(゜ロ゜;
668:１３２人目の素数さん
19/09/29 17:30:54.01 WcBxaUNf.net
このスレは次から以下の名前に改名だな
「Ｇスレ1、安達、高木、日高は数学板のインチキ四天王」
669:１３２人目の素数さん
19/09/29 17:33:02.16 GqnEepIO.net
>>637 >>639
∈無限降下列とは X∋X1∋X2∋… を満たす無限列 X,X1,X2,... である。
X={{…{}…}} なら X∈X であるから、
X1=X2=…=X とおけば、まさに上記の無限列そのもの。
従って {{…{}…}} という集合は正則性公理を満たさない。
670:１３２人目の素数さん
19/09/29 17:36:55.48 NoBnYUlZ.net
>>640
その理屈だと
X＝{{・・{}・・}}
で
X'＝｛X}
として
X'＝X
ということだけど
それってへん(゜ロ゜;
671:１３２人目の素数さん
19/09/29 17:38:39.56 WcBxaUNf.net
>>641
君、整礎関係分かってないね
整礎なら無限降下列は存在しない
君には数学は無理だから諦めな(^_^)
672:１３２人目の素数さん
19/09/29 17:41:07.58 NoBnYUlZ.net
>>643
なんだ二人
オレと同じ低レベルか？(゜ロ゜;
673:１３２人目の素数さん
19/09/29 17:41:54.92 WcBxaUNf.net
>>644
{}が無限個なら、1個取り除いた残りの{}への全単射が存在する
まったく変じゃない 変なのは君
君には数学は無理だから諦めな(^_^)
674:１３２人目の素数さん
19/09/29 17:44:17.40 WcBxaUNf.net
>>646
いや、君は最低レベル
カーストでいうと
675:・・・アウトカースト 君には数学は無理だから諦めな(^_^)
676:１３２人目の素数さん
19/09/29 17:46:13.97 GqnEepIO.net
>>646
はあ？
勝手におまえと同レベルにするなｗ
677:１３２人目の素数さん
19/09/29 18:21:15.60 NoBnYUlZ.net
どうもガロアスレのスレ主です
ガロアスレに、生息するおサル二匹
おまえら、それだね
謙遜するなよ
低レベルw(^_^)
678:１３２人目の素数さん
19/09/29 18:24:06.75 NoBnYUlZ.net
そもそもさ、
ツェルメロの自然数構成を否定するのが、
筋悪のハマりだな(゜ロ゜;
679:１３２人目の素数さん
19/09/29 18:31:19.08 NoBnYUlZ.net
そこから始まって
恥の上塗り
公理的集合論のほとんどを、
理解出来ていないことを露呈
これだけ指摘しているのに理解できない
時枝と同じ構図だな
あんたら、低レベルだよ
オレと変わらんぞw(゜ロ゜;
680:１３２人目の素数さん
19/09/29 18:39:31.82 LkgOfTiz.net
>>574
ａn ≠αはｌｉｍ ａn ≠αってことの意味だけど
αーεとα＋εの間の区間（近傍）には無限の点が存在するっていってるだけで
それがｌｉｍ ａn ＝αってことにはならない
なんで「αーεとα＋εの間の区間（近傍）には無限の点が存在する」ことが
ｌｉｍ ａn ＝αってことなのかの説明がないんだよね
681:１３２人目の素数さん
19/09/29 18:39:37.86 GqnEepIO.net
>>651
>ツェルメロの自然数構成を否定するのが、
なんで否定したことになるのか説明してみ？
682:１３２人目の素数さん
19/09/29 19:33:15.95 LkgOfTiz.net
>>575
「αーεとα＋εの間の区間（近傍）には無限の点が存在する」ことが
なんで「ｌｉｍ ａn ＝α」って事なのかの説明が無いんだよね
ようするに説明になってないって事
683:１３２人目の素数さん
19/09/29 19:33:21.85 NoBnYUlZ.net
>>654
・ようやく、何か気づいたか？w
・ツェルメロの自然構成は、
{}を多重化するというもの
それで、カントールのωまで、構成出来る
・ωの{}の多重度は、有限ではあり得ない
∵もし、有限なら、ωに到達できない
・あんたら、ツェルメロ構成で、ωに到達出来ることを、否定したでしょw(゜ロ゜;
684:１３２人目の素数さん
19/09/29 19:36:04.78 NoBnYUlZ.net
>>656
タイボ訂正
・ツェルメロの自然数構成は、
な、分かると思うが(^_^)
685:１３２人目の素数さん
19/09/29 19:40:29.57 FXlZgljl.net
>>655
それが定義だからですね
それ以外の説明はありません
686:１３２人目の素数さん
19/09/29 20:03:47.33 LkgOfTiz.net
>>658
「αーεとα＋εの間の区間（近傍）には無限の点が存在する」は
「ｌｉｍ ａn ＝α」についての理由づけであって定義ではない
だがこの理由づけだと納得できる人も納得できない人も感覚的にものになっていしまうが
ただいえることはこの理由づけをしないと無限を扱えなくたってしまうという便宜的なもので
これが数学はインチキとかその場しのぎとかのイメージにつなってる
687:哀れな素人
19/09/29 20:05:49.02 1LvNssK+.net
ID:GqnEepIO
これはサル石の二つ目のID（笑
サル石はさすがに僕がガロアスレで
何度も何度も説明したから、
僕が何を言っているか分っているようだが、
こいつはアホだから
僕が正しいということが分っていない（笑
ま、アホはほっとくしかない（笑
688:哀れな素人
19/09/29 20:07:15.40 1LvNssK+.net
>>634
お前にそんなことを訊かれた覚えはない（笑
それどころか、僕がお前らに質問したはずだ（笑
数学的思考の対象としての実無限とは何なのか、
それは具体的にどのようなものなのか、と（笑
いっておくが自然数は可能無限であって実無限ではない、と（笑
さっさと答えてくれ（笑
質問するだけで自分では答えない利口ぶったアホ（笑
689:１３２人目の素数さん
19/09/29 20:09:36.94 GqnEepIO.net
>>656
自然数全体の集合Nの中にωなる元は存在しない
おまえ∞∈Nが間違いであることが未だに分かってないようだなｗ
バカ丸出しｗ
690:１３２人目の素数さん
19/09/29 20:10:02.62 LkgOfTiz.net
>>658
「αーεとα＋εの間の区間（近傍）には無限の点が存在する」は
「ｌｉｍ ａn ＝α」についての説明のつもりなのだが
問題は
「αーεとα＋εの間の区間（近傍）には無限の点が存在する」じゃ
「ｌｉｍ ａn ＝α」についの理由にならないってことだ
だけど この 説明が限界で この説明で数学は成り立ってることは確か
これが数学はインチキとか方便とかの評価につながる
691:１３２人目の素数さん
19/09/29 20:10:37.68 FXlZgljl.net
>>661
ボケて来たんですかね…
確かにお尋ねしましたけど
アリストテレス哲学における可能無限とは時間的に広がりのある無限であり、実無限とは瞬間的な無限だそうです
自然数を数の延々と連なりと考えるなら可能無限であり、自然数全体の集合というもの
692:を考えると全ての自然数を瞬間的に同時に捉えているため実無限です
693:１３２人目の素数さん
19/09/29 20:11:39.01 FXlZgljl.net
>>663
安達さんは極限値がどういうものだか一応わかってますよ
イプシロンデルタはよくわからないみたいですけど
それは知ってますよね？
694:１３２人目の素数さん
19/09/29 20:16:44.72 NoBnYUlZ.net
>>593
どうもガロアスレのスレ主です(^_^)
スレ主といういい方は、関西でいう”しゃれ”
5chでは、正式には、スレ主はいない
そこを、”しゃれ”で「スレ主です」と
名のることで、ニヤリとしようさせようというものです(^_^)
695:１３２人目の素数さん
19/09/29 20:22:23.43 GqnEepIO.net
勝手にスレ立てて嘘イカサマを垂れ流すキチガイのくせに自分を主と名乗る厚かましさ
こいつは自分のスレの勢いを自慢げに語るが、そのスレのほとんどはこのキチガイへの弾劾が占めているｗ
キチガイにつける薬無しｗ
696:１３２人目の素数さん
19/09/29 20:24:51.25 r2OLtCsd.net
>>665
イプシロンーデルタ論法で数学コケる人おおいからなあ。
その口か。
697:１３２人目の素数さん
19/09/29 20:26:33.84 NoBnYUlZ.net
>>662
分かってないのは、あなた方
自然数Nの中には、全て有限の数のみしかない
しかし、自然数Nは、加算無限集合
この微妙な関係が、理解できないらしい
哀れな素人さんを、笑えない
あと、ノイマン構成では、ωと自然数の集合Nが、一致することも付言しておきますw(^_^)
698:１３２人目の素数さん
19/09/29 20:32:19.49 r2OLtCsd.net
しかし、みなさん、やさしいですね。
言わんとしていることを一生懸命理解しようとしてあげて。
699:１３２人目の素数さん
19/09/29 20:32:45.74 NoBnYUlZ.net
>>667
ガロアスレには、おサル二匹を、飼っています
ガロアスレの勢いは、二匹のおサルの踊りによるもの
私スレ主は、サル回し役をしています(^_^)
700:１３２人目の素数さん
19/09/29 20:36:13.45 NoBnYUlZ.net
>>670
半分は、同意
半分は、ヒマ
私は、哀れな素人さんとは、ほとんど議論はしません(^_^)
701:１３２人目の素数さん
19/09/29 20:44:58.27 GqnEepIO.net
>>669
御託を並べるのは結構だが
なぜ{{…{}…}}が正則性公理を満たさないと
自然数構成を否定したことになるのかまったく説明できてないｗ
バカとしか言い様が無いｗ
702:１３２人目の素数さん
19/09/29 20:51:45.19 rVYV+GdK.net
5145
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
703:１３２人目の素数さん
19/09/29 21:15:19.76 WcBxaUNf.net
>>656
>・ツェルメロの自然数構成は、
> {}を多重化するというもの
> それで、カントールのωまで、構成出来る
ωは構成できない
正則性公理に反するから
君に数学は無理だから諦めな(^_^)
704:１３２人目の素数さん
19/09/29 21:16:59.23 WcBxaUNf.net
>>672
君は安達氏にも負けるよ(^_^)
全然数学が分かってないから
705:哀れな素人
19/09/29 21:26:01.15 1LvNssK+.net
>>664
アリストテレスはそんなことはどこにも書いていない（笑
>自然数を数の延々と連なりと考えるなら可能無限であり、自然数全体の集合というものを考えると全ての自然数を瞬間的に同時に捉えているため実無限です
だからそれは具体的にどういうことなんだ（笑
お前らは抽象的に思考するからアホなのである（笑
706:１３２人目の素数さん
19/09/29 21:44:39.36 FXlZgljl.net
どこがわからないんですか？
具体的にお願いしますね
707:哀れな素人
19/09/29 21:48:21.46 1LvNssK+.net
全然分らない（笑
具体的に説明してくれ（笑
>数の延々と連なり
具体的に書いてくれ（笑
>瞬間的に同時に捉えている
具体的に書いてくれ（笑
708:１３２人目の素数さん
19/09/29 22:02:36.85 FXlZgljl.net
自然数は1,2,3...とずっと数えることができる
このずっと、というのが時間的な広がりですよね
いつまでも数える余地があるという意味で可能無限です
しかし、可能無限ではいつまでも数えられると言ってるだけで、自然数全部がどうとかは言ってないんです
自然数全体の集合をNとして、NからNへの関数を考える、なんて始めたら実無限です
自然数はいつまでたっても数え終わるものないのに、あたかも数え切れてしまったかのようにひとまとまりにしてNとしてしまっています
可能無限では時間的に広がっているはずの自然数がある一時点に全部存在するかのように扱っているという意味で実無限ですね
709:１３２人目の素数さん
19/09/29 22:13:08.56 1LvNssK+.net
>>680
710:だからそんな説明は全然具体性がない（笑 では訊くが、１、２、３、……と続く自然数に終わりはあるのか（笑 終りがなければ自然数全体などというものはないはずだが（笑
711:１３２人目の素数さん
19/09/29 22:18:52.97 FXlZgljl.net
終わりなくても自然数全体をNとするとすれば全体を捉えることはできますよね
あくまでも実無限ですけど
712:１３２人目の素数さん
19/09/29 22:26:36.83 YIcenR5y.net
> しかしどんなに余っていても、
> ３で割ることを続ければ割り切れるのである（笑
> 無限小数だから、割るという計算が永遠に終わらない（笑
これって終わりがないものの全体を考えているのでは？
713:１３２人目の素数さん
19/09/29 22:27:27.52 H0bVvbUz.net
実無限って普通の数学で出てくる概念？
あまり聞かないけど。オレが不勉強なだけ？
714:１３２人目の素数さん
19/09/29 22:29:06.34 H0bVvbUz.net
連続濃度(実数の無限の濃度)のことではないんだよね。
715:１３２人目の素数さん
19/09/29 22:29:16.00 FXlZgljl.net
アリストテレスの哲学の用語です
716:哀れな素人
19/09/29 22:32:36.78 1LvNssK+.net
>>682
終りがなければ全体というものはない（笑
全体も全部も同じ意味だから、
自然数に終りがあるなら全部の自然数というものもあるが、
終りがなければ全部の自然数などというものはない（笑
たとえば３年Ａ組に50人の生徒がいる場合、
３年Ａ組全体とか３年Ａ組の全部の生徒といえば
50人の生徒のことだと意味が通じるが、
生徒の数に終わりがないなら、
３年Ａ組全体とか３年Ａ組の全部の生徒といわれても
生徒の数を把握できない（笑
実無限はアリストテレスの用語ではない（笑
可能無限という言葉もアリストテレスは使っていない（笑
717:１３２人目の素数さん
19/09/29 22:36:45.72 FXlZgljl.net
URLﾘﾝｸ(en.wikipedia.org)
アリストテレスって書いてますよでも
任意の自然数はNに入っています
逆にNの中に入ってるものは自然数しかありません
このようにして考えればNの実態は不確かなものではないのです
718:１３２人目の素数さん
19/09/29 22:36:55.55 yMiUWc4N.net
>>492 >>558
・化学物質ばく露と胆管がん発症との因果関係
ジクロロメタンの代謝経路には、CYP経路とGST経路の2つがある。
高濃度ばく露になるとCYP経路による代謝が飽和するため、GST経路が活性化し、GST経路による代謝が行なわれることにより発がん性が生じると考えられる。
1,2-ジクロロプロパンについても、同様の代謝経路と発がんメカニズムが推測される。
ジクロロメタン及び1,2-ジクロロプロパンのGST経路による代謝は、酵素であるGSTT1-1が局在する胆管上皮細胞の核内において活発に行なわれる。
その過程で中間代謝物がDNA損傷を起こすと考えられる。
ジクロロメタン又は1,2-ジクロロプロパンの長期間の高濃度ばく露により、胆管上皮細胞のがん化、すなわち胆管がんの発症につながると考えられる。
厚生労働省
URLﾘﾝｸ(www.mhlw.go.jp)
719:１３２人目の素数さん
19/09/29 22:40:36.76 1LvNssK+.net
>>688
分らない奴だな（笑
だからそのＮに終りがあるかないか、と訊いているのだ（笑
終りがなければ自然数全体の集合Ｎなどというものはないのだ（笑
720:１３２人目の素数さん
19/09/29 22:42:03.77 FXlZgljl.net
終わりはなくてもNの実体はわかると言いましたよね
あなたがどんな自然数を持って来たとしても、それはNの中に含まれるのですよ
721:１３２人目の素数さん
19/09/29 22:42:22.68 H0bVvbUz.net
無限集合は認めないということ？
722:１３２人目の素数さん
19/09/29 22:44:27.30 FXlZgljl.net
無限集合は認めませんが、無限の概念は認めると言ってるんですね可能無限の人は
無限を認めないとすれば話は簡単なのですが困った人たちですほんと
723:１３２人目の素数さん
19/09/29 22:45:29.46 1LvNssK+.net
>>691
お前のアホさには付き合っていられない（笑
>>692
その通り（笑
可能無限集合は存在するが
実無限集合なんて存在しないのである（笑
自然数の集合は存在するが
自然数全体の集合などは存在しない（笑
724:１３２人目の素数さん
19/09/29 22:46:41.39 FXlZgljl.net
>>694
はいwwwwwww？？？
可能無限集合が存在する？？？
可能無限集合てなんなんですか？
自然数の集合のことではないんですか？
725:１３２人目の素数さん
19/09/29 22:47:54.36 FXlZgljl.net
もしかして可能無限集合=有限集合のことですか？
726:１３２人目の素数さん
19/09/29 22:48:15.11 1LvNssK+.net
>>695
お前のアホさには付き合っていられない（笑
>>694の意味が読めないのか（笑
727:１３２人目の素数さん
19/09/29 22:48:52.91 FXlZgljl.net
>>697
もしかして可能無限集合=有限集合のことですか？
728:１３２人目の素数さん
19/09/29 22:51:00.66 1LvNssK+.net
>>698
可能無限集合とは、結局、有限集合だというのは常識だ（笑
729:１３２人目の素数さん
19/09/29 22:54:38.02 GqnEepIO.net
>>694
>自然数全体の集合などは存在しない（笑
× 存在しない
〇 存在しないと考えたい
国文バカの癖に国語もできんのか？
730:１３２人目の素数さん
19/09/29 22:56:06.39 FXlZgljl.net
>>699
つまり、可能無限も無限ではなく有限だということですか？
731:哀れな素人
19/09/29 22:56:11.07 1LvNssK+.net
>>700
これがアホのサル石である（笑
こいつのアホさが歴然と現れている（笑
732:１３２人目の素数さん
19/09/29 22:57:06.26 1LvNssK+.net
>>701
そういうことである（笑
733:１３２人目の素数さん
19/09/29 22:57:23.71 H0bVvbUz.net
無限は認めるが無限集合は認めない。
有限集合のみ認める。
構成主義は認めない。
ということですかね。
734:１３２人目の素数さん
19/09/29 22:59:10.48 H0bVvbUz.net
そういう数学として体系化したらいいんじゃないですかね。
かなり射程範囲の狭いものになりそうな気はしますが。
735:１３２人目の素数さん
19/09/29 22:59:57.87 FXlZgljl.net
>>704
無限も認めてないんじゃないですか？
可能無限は有限らしいですから
ただの有限主義者だったということですね
安達数の定義を変えないといけないかもしれません
736:１３２人目の素数さん
19/09/29 23:00:14.59 GqnEepIO.net
>>702
へえ
じゃあおまえ自然数全体の集合が存在しないことを証明できるのか？
やってみ？
言い訳はしなくていいから
737:１３２人目の素数さん
19/09/29 23:00:18.13 1LvNssK+.net
>>704
可能無限は認めるが実無限は認めない、ということである（笑
738:１３２人目の素数さん
19/09/29 23:00:51.10 FXlZgljl.net
>>708
でも可能無限は有限なんですよね？
普通、可能無限の人は可能無限は無限だというと思うんですけど
739:１３２人目の素数さん
19/09/29 23:02:00.30 GqnEepIO.net
有限しか認めない癖に最大の自然数は何か？という問いには答えないペテン師ｗ
740:１３２人目の素数さん
19/09/29 23:03:21.20 1LvNssK+.net
>>707
アホのサル石乙（笑
サル石ではないにしても、そのチンピラ丸出しの文章は
サル石と同類のアホのチンピラ（笑
すでに上の一連のレスで証明しているのに
読めないのかアホ（笑
741:１３２人目の素数さん
19/09/29 23:07:23.16 1LvNssK+.net
>>709
可能無限は有限だというのは常識だと書いているだろ（笑
ネットで検索してみろ（笑
まともなサイトにはそう書かれている（笑
>>710
有限の意味が分っていない真性のアホ（笑
出て来るのはこういうアホばかり（笑
742:１３２人目の素数さん
19/09/29 23:08:15.27 PM6RYQmo.net
安達 弘志はペテンである/安達数は実数ではない
私もこういう本出しましょうかね(笑)
743:１３２人目の素数さん
19/09/29 23:09:15.82 1LvNssK+.net
いつのまにか11時を過ぎているから、
アホのお付き合いはここまで（笑
ぞろぞろアホが出て来る（笑
744:１３２人目の素数さん
19/09/29 23:09:40.78 FXlZgljl.net
>>712
普通は可能「無限」を無限でないものと思う人はいませんね
あなたのいう有限とはどういう意味なんですか？
745:１３２人目の素数さん
19/09/29 23:11:11.06 GqnEepIO.net
また逃げたｗ
746:１３２人目の素数さん
19/09/29 23:24:15.78 r2OLtCsd.net
>>706
多分ですけど、数えるという操作は何度でもいつまでも、無限にやり続けることが
できる、という意味での無限は認める。
でも、あたかもその結果として数え終ったかのように自然数全体（の集合）というの
を想定するのを認めないということのように思いました。
なので集合としては有限のものしか認めないということと同じことを主張している
ように思います。
たぶんですが。
で、その前提で数学として体系化できるのか？はよくわからないです。
が、無限集合を認めない段階で、集合論をベースにしている現代の数学
はほとんど不可能になるので、かなり数学の射程範囲を狭めることになるし、
自然数とか、有理数とか、実数とか無限集合を認めないでどうやって定義する
のも疑問。
747:１３２人目の素数さん
19/09/29 23:28:57.79 FXlZgljl.net
だから可能無限はあっそ、で終わるんですよね
文句垂れるだけで結果は残せないわけです
748:１３２人目の素数さん
19/09/29 23:31:38.28 r2OLtCsd.net
そうね。
やるなら無限集合を認めない立場できちんと定式化するところまでやってほしいですね。
749:１３２人目の素数さん
19/09/29 23:34:10.42 r2OLtCsd.net
構成的な集合の定義も認めると、無限集合が定義できてしまうから、認めないでしょうし。
実際に具体的に数え上げるものしか認めないとしたらかなり窮屈。
750:１３２人目の素数さん
19/09/29 23:35:21.60 NoBnYUlZ.net
>>673>>675
・正則性公理の無限降下列を、誤解している
・フォンノイマン宇宙は、空集合から、冪集合を作ることを、超限回繰り返して遺伝的に出来た集合からなるという
・ところで、無限上昇列は禁止されてはいない
∵超限回繰り返し可能だし、逆に、空集合から、無限回繰り返しがなければ、無限集合はできない
・ところで、空集合から、冪集合を作ることを、無限回繰り返せば、
X＝｛{・・{}・・}}
が、出来る
QED
(゜ロ゜;
751:１３２人目の素数さん
19/09/30 00:10:15.88 xPPAXCrA.net
>>665
安達さんって誰の事なの？
752:１３２人目の素数さん
19/09/30 05:07:40.01 YVo7qKJP.net
>>721
無限上昇列の存在から無限下降列の存在は導けません
残念でした(-||-)
753:１３２人目の素数さん
19/09/30 06:04:46.78 xPPAXCrA.net
>>717
＞無限集合を認めない段階で、集合論をベースにしている現代の数学
＞はほとんど不可能になるので、かなり数学の射程範囲を狭めることになるし、
「 範囲が狭まるから 」っていうご都合主義を否定する立場があっても別にいいと思うが
754:１３２人目の素数さん
19/09/30 06:11:03.80 dwrVay3j.net
いいですけど、あっそ、で終わりだということですね
安達さんの数学は足し算すら満足に定義できないと思います
755:１３２人目の素数さん
19/09/30 06:13:45.34 dwrVay3j.net
>>722
相対性理論はペテンである/無限小数は数ではない
の著書の哀れな素人さんのことです
756:１３２人目の素数さん
19/09/30 06:20:16.80 QZ0ghDv8.net
>>724
別にいいと思いますが、単なるアイデアではなく、きちんと定式化してみないと無限集合を認めないという立場が可能なのかわからない。そういう数学をつくれるかどうかわからない。
757:１３２人目の素数さん
19/09/30 06:59:16.46 YVo7qKJP.net
>>727
無限集合を認めない数学も無矛盾だろうな
758:１３２人目の素数さん
19/09/30 07:19:48.65 4OKAVLO5.net
>>723
ようやく、認めましたね(^_^)
・そうです
X＝{{・・{｝・・}}
は、存在し得て
それは正則性公理に反するものでは、ありません
・{}の多重度は、加算無限まで上昇可能で
ツェルメロの自然数構成は、成立しています
QED (゜ロ゜;
759:１３２人目の素数さん
19/09/30 07:23:26.42 v76SAhUH.net
>>728
というか矛盾が出ないように定式化しないと、ということ。
760:１３２人目の素数さん
19/09/30 07:23:27.28 v76SAhUH.net
>>728
というか矛盾が出ないように定式化しないと、ということ。
761:１３２人目の素数さん
19/09/30 07:25:33.13 v76SAhUH.net
例えば、自然数や有理数や実数って概念はどうやって定義する？
数学的帰納法は使えるかようにできるか？
とか。
762:１３２人目の素数さん
19/09/30 07:26:25.37 v76SAhUH.net
もちろん、四則演算を定義できるかとかも。
763:１３２人目の素数さん
19/09/30 07:27:29.15 4OKAVLO5.net
>>729 補足
X＝｛{・・{}・・}}が、
ωに相当するということです
(゜ロ゜;
764:１３２人目の素数さん
19/09/30 07:31:38.89 dwrVay3j.net
安達さんに質問です
可能無限は有限らしいですけど、最大の自然数があるということなのですか？
765:１３２人目の素数さん
19/09/30 07:46:21.06 v76SAhUH.net
安達さんではないですがたぶん答えは、存在しない。です。
彼の言っているのは、自然数をどこまでも数えて行く、とか、0.99…の桁数をどこまでも増やしていくということは可能である
という意味での無限(回の操作や行為)は認める。
けどその結果として数え上げ終わった自然数全体とか一つの定まった値としての0.99…は認めない。
ということのように見えます。
766:１３２人目の素数さん
19/09/30 07:48:07.36 4OKAVLO5.net
>>728
・無限集合を認めない数学は、有限主義と言って、コンピューターの中の数学として認められています
・無限集合を認めない数学は、単に無限公理を認めないだけで、矛盾はないでしょ
・ですが、一般の数学をするには、不便です(^_^)
767:１３２人目の素数さん
19/09/30 07:59:20.55 YVo7qKJP.net
>>729
誤解してますね
＞・{}の多重度は、加算無限まで上昇可能で
誤り
{}から始まり、{}を1つずつ外側につける無限上昇列のどこにも
X＝{{・・{｝・・}}は出てこない
＞X＝{{・・{｝・・}}は、存在し得て
＞それは正則性公理に反するものでは、ありません
誤り
X＝{{・・{｝・・}}と書いた瞬間、
Xから１つずつ外側の{}を外す無限下降列ができあがり
正則性公理に反する
残念でした(-||-)
768:１３２人目の素数さん
19/09/30 08:03:05.72 dwrVay3j.net
>>736
でも彼は可能無限は有限だと言っていますよ
769:１３２人目の素数さん
19/09/30 08:05:00.81 YVo7qKJP.net
>>739
可能無限は「有限には上限がない」というだけで
無限個のものの存在は認めないから、言ってることは正しい
770:１３２人目の素数さん
19/09/30 08:18:02.17 v76SAhUH.net
>>739
なんか、言い方が
771:紛らわしいんですが、多分、可能無限という概念は有限個の実体に対して数えるとか足すとかの行為は何度でもできる と言っているだけで、可能無限という何らかの実体を認めているわけではないような気がします。 対象として取り出すと必ずどこかの有限個のものに限られるとか。そんなことを言いたいのではないかと。
772:哀れな素人
19/09/30 08:25:24.25 +EGeUxNW.net
お前らの投稿を読んでいると、
可能無限の意味を分かっている者と分っていない者がいる（笑
ID:dwrVay3jは質問少年だろうが、この少年は分っていない（笑
可能無限は有限にすぎない、というのは常識である（笑
嘘だと思うならネットで検索してみればいい（笑
まともなサイトならみんなそう書いてある（笑
773:哀れな素人
19/09/30 08:30:35.90 +EGeUxNW.net
無限というのは限りがないことである（笑
限りがないとは、終りがない、ということであり、
完結しないということなのである（笑
だから完結した無限という意味の
実無限などというものは存在しないのである（笑
自然数には終わりがないから完結しない。
完結しないから、自然数全体とか自然数全部
というものは存在しないのである（笑
774:１３２人目の素数さん
19/09/30 09:30:49.96 dwrVay3j.net
>>743
可能無限は有限なんですよね？
自然数に終わりがなかったら有限じゃないですね
無限ですよね
775:１３２人目の素数さん
19/09/30 09:37:55.57 v76SAhUH.net
>>744
もしあなたがこれから正規の数学を学ぼうとしているならこの話を理解しようとしない方が良いと思う。やられてしまうかもしれない。
正規の数学、集合論や実数論やらを、学んで
通常の無限概念を理解した人間が、数字の哲学のような趣味としてやるならばいいだろうがこれから学ぶ人にとっては悪影響を与えかねない。
776:１３２人目の素数さん
19/09/30 09:39:24.95 PuFT50cX.net
>>745
私は可能無限がなんなのか分かってるんですよ
安達さんが言葉足らずなのかもしれませんが、そもそも可能無限を誤解している可能性を排除できないですよね
ですから、可能無限は無限だと認めさせて安達さんが考えていることが本当に可能無限であるのかを確かめる必要があるわけです
777:１３２人目の素数さん
19/09/30 09:41:31.46 dwrVay3j.net
>>745
安達さんは0.999...＜0.999....が正しいとかそういうことを平気でおっしゃる方です
私は安達数を導入することによって一応この式の解釈をすることができましたけど、可能無限では本当はこの式を比較すること自体できないはずなのです
778:１３２人目の素数さん
19/09/30 09:43:02.30 dwrVay3j.net
>>745
私はイプシロンデルタもわかりますし、可能無限も実無限もわかりますし、超準解析も勉強してますから
779:１３２人目の素数さん
19/09/30 09:57:09.13 dwrVay3j.net
>>743
ところで、0.999...=0.999....なんですか？
0.999...＜0.999....というのは以前教えていただきましたけど
780:１３２人目の素数さん
19/09/30 10:17:34.95 v76SAhUH.net
>>746
了解です。
わかった上であえてなのですね。
781:哀れな素人
19/09/30 12:25:01.23 +EGeUxNW.net
質問少年よ、>>744などを見ると、
お前が可能無限について何も理解していないことが丸分りだ（笑
このスレで僕に質問をぶつけて来る前に、
ネットで可能無限の意味を調べた方がいい（笑
可能無限の意味が分れば、
>>744のような珍質問はしなくなる（笑
782:１３２人目の素数さん
19/09/30 12:26:42.16 PuFT50cX.net
可能無限がわかってる人は
0.999...＜0.999....
こんな式書くはずないと思うんですけどー
783:１３２人目の素数さん
19/09/30 12:37:19.13 +EGeUxNW.net
>>752
お前は真性のアホだな（笑
可能無限だからこそ
0.999...＜0.999.... のようなこともあるのである（笑
0.999...＝0.999....のようなこともあれば
0.999...≠0.999....のようなこともある（笑
とにかくお前はネットで可能無限の意味を調べろ（笑
784:１３２人目の素数さん
19/09/30 12:45:02.70 PuFT50cX.net
ほー
これで確定ですかね
安達さんの言ってることは、可能無限ではないということです
ただ単に0.999...というのは0.999...9の”代わり”に過ぎないのでしょう
785:１３２人目の素数さん
19/09/30 12:47:58.88 +EGeUxNW.net
↑延々とこういうアホ丸出しレスを書き続ける中二のアホ（笑
786:１３２人目の素数さん
19/09/30 12:50:37.75 PuFT50cX.net
↓↓↓↓↓↓↓↓↓↓↓↓↓↓
753 名前:１３２人目の素数さん :2019/09/30(月) 12:37:19.13 ID:+EGeUxNW
>>752
お前は真性のアホだな（笑
可能無限だからこそ
0.999...＜0.999.... のようなこともあるのである（笑
0.999...＝0.999....のようなこともあれば
0.999...≠0.999....のようなこともある（笑
とにかくお前はネットで可能無限の意味を調べろ（笑
↑↑↑↑↑↑↑↑↑↑↑↑↑↑
安達さんが可能無限理解していない決定的な証拠です
787:１３２人目の素数さん
19/09/30 12:52:59.83 +EGeUxNW.net
↑延々とこういうアホ丸出しレスを書き続ける中二のアホ（笑
可能無限の意味も知らずに延々とアホ丸出しレスを書き続ける（笑
サル石と同じく2ch有数の粘着魔でサル石同様のアホ（笑
788:１３２人目の素数さん
19/09/30 13:00:45.11 PuFT50cX.net
安達さんの考えているものは
789:無限ではなく、ただの変数ですね 安達数のように全体を考えているわけではなく、ある数列の一つの要素を0.999....と書いているだけなのでした(笑) 0.999...は無限に続く可能性などではなく、ただの0.999...9と同じです(笑)
790:１３２人目の素数さん
19/09/30 17:22:16.66 4OKAVLO5.net
>>738
どうもガロアスレのスレ主です
おサルのピエロちゃん
素人相手に「無限とは」を語るが、
自分が、ZFCに無知なのは、なんだかなー(゜ロ゜;
・正則性公理の∈無限降下列を正確に理解できないと思うよ
・例えば、ノイマン構成の自然数構成でも、ω＝Nから、∈無限降下列が出来る
（∵無限上昇列が可能で、その逆がそうだ）
・ツェルメロのX＝｛{・・{}・・}}
が、正則性公理に反するならば
ノイマン構成のω＝Nも同じ
それは、明らかにおかしいw
QED (゜ロ゜;
791:１３２人目の素数さん
19/09/30 17:32:40.27 4OKAVLO5.net
>>759 タイボ訂正
・正則性公理の∈無限降下列を正確に理解出来ていないと思うよ
な、分かると思うが(^_^)
792:１３２人目の素数さん
19/09/30 17:51:14.59 xPPAXCrA.net
>>736という意味での無限(回の操作や行為)は認める。
回数に制限はないけど 無限回の操作にはたどり着けないってことじゃないのかな？
793:１３２人目の素数さん
19/09/30 18:32:17.43 cvI5+BVJ.net
すまん…。多分簡単なのかもしれないけど、教えて欲しい。
これってどうやって解くの？t＝0.25になるらしいんだけど…。
URLﾘﾝｸ(i.imgur.com)
794:１３２人目の素数さん
19/09/30 18:36:22.44 PuFT50cX.net
>>761
↓↓↓↓↓↓↓↓↓↓↓↓↓↓
753 名前:１３２人目の素数さん :2019/09/30(月) 12:37:19.13 ID:+EGeUxNW
>>752
お前は真性のアホだな（笑
可能無限だからこそ
0.999...＜0.999.... のようなこともあるのである（笑
0.999...＝0.999....のようなこともあれば
0.999...≠0.999....のようなこともある（笑
とにかくお前はネットで可能無限の意味を調べろ（笑
↑↑↑↑↑↑↑↑↑↑↑↑↑↑
安達さんが可能無限理解していない決定的な証拠です
0.999....は回数に制限がないという意味ではなく、ある具体的な0.999....9を表す記号なのです
795:１３２人目の素数さん
19/09/30 19:19:35.57 YVo7qKJP.net
>>759
相変わらず初歩的な間違いのオンパレード
>ノイマン構成の自然数構成でも、ω＝Nから、∈無限降下列が出来る
>（∵無限上昇列が可能で、その逆がそうだ）
0∈1∈2∈…で1ずつ上がる無限上昇列ではωは現れない
もちろん、0∈1∈2∈ωのような有限上昇列は可能
そしてωからの無限下降列は存在しない
なぜなら、ωには直前の数が存在しないから
ω∋ω－１∋ωー２∋・・・のような列は構成できない
ω∋ｎであり、ｎは自然数だから無限下降列は存在しない
これ豆な
796:１３２人目の素数さん
19/09/30 19:23:59.53 YVo7qKJP.net
>>759
＞ツェルメロのX＝｛{・・{}・・}}
＞が、正則性公理に反するならば
そもそも上記のX＝｛{・・{}・・}}を
どういう公理で正当化するつもりかな？
公理の式を書いてごらん
君には絶対書けないから
君には数学は無理だから諦めて数学板から去れ
797:１３２人目の素数さん
19/09/30 20:48:43.92 OmthpbnM.net
こういうのって広告だろ
規約違反じゃないの？
798:１３２人目の素数さん
19/09/30 21:06:30.81 dwrVay3j.net
5chに規約も何もない気がしますけど
てか安達さんの本なんて買う人いないですよねw
799:１３２人目の素数さん
19/09/30 21:32:46.92 HffM45db.net
面白そうだから、買ってみるかのう
800:１３２人目の素数さん
19/09/30 21:48:24.13 4OKAVLO5.net
>>764
おサルの屁理屈は、面白いな(^_^)
素人相手に、知ったかで、「無限とは」をとくとくと語るお方が、必死に無限を否定するブザマ(゜ロ゜;
・自然数で、0からの無限上昇列は、可能
（例 コーシー列）
・負整数で、-1,-2,・・-n,-・・・
は、無限降下列を成し、整礎でない関係の例である
（逆に、正整数あるいは上記自然数は、整礎関係の例（無限上昇列は可））
QED
(゜ロ゜;
801:１３２人目の素数さん
19/09/30 22:00:04.19 4OKAVLO5.net
>>765
おサル、ブザマだな(゜ロ゜;
一応、>>721に理由付けは、書いてあるよ
ノイマン宇宙、冪集合を作る操作が超限回可能
冪集合を作る操作を加算無限回繰り返せば、いい
それで、{}が加算無限重なる集合が、出来る
QED (゜ロ゜;
802:哀れな素人
19/09/30 22:21:11.56 +EGeUxNW.net
>>768
面白そうだと思うだけでもお前はセンスあり（笑
803:哀れな素人
19/09/30 22:40:19.08 +EGeUxNW.net
ところで以前僕は>>147の答えに不正解と書いたが、
今にして思えば>>147が正解であった（笑
>>147の男には申し訳ない（笑
この男はたぶんかなり優秀な男である。
804:１３２人目の素数さん
19/09/30 22:49:57.89 dwrVay3j.net
☆(新)
805:安達数の定義 安達数とは有限小数を定義域とする変数で表される具体的な値のうちの一つである 安達数の取り得る範囲は、安達表示によって示される ☆…の意味 安達数の安達表示とは、ある安達数が表し得る値の範囲を…で表したものである 例:0.999...で表される安達数は、0.999...9のいずれかを表す ☆実数との大小関係 安達数は具体的な有限小数を表すので、普通に実数とは大小比較が可能である ※ここで、安達数で表され得る全てについて成り立つ必要はないことに注意！ ある一つの具体的な値で成り立つだけで良い 0.999...＜0.99であり、0.999....=0.99であり、0.999....＞0.99である ☆安達数同士の大小関係 上と同様に、安達数のある具体的な値で成り立てば、その大小関係を安達数の大小とすることが可能である 0.999...＜0.999...であり、0.999...=0.999....であり、0.999...≠0.999...である ☆割り切れるの定義 安達数はある有限小数を表すので、普通に割り算をするだけで良い ☆1余るの定義 安達数はある有限小数を表すので、普通に割り算をするだけで良い 実にくだらないですね 無限でもなんでもないじゃないですか
806:１３２人目の素数さん
19/09/30 22:51:08.03 dwrVay3j.net
>>772
収束周りのところがちょっとわからないのでやはり教えていただきたいですね
0.999...はある有限小数0.999...9を表しますよね？
この極限値が1であるとはどういうことなんですか？
普通にa_n=0.999...9という数列の極限値でいいんですかね
807:１３２人目の素数さん
19/09/30 22:52:48.17 ws5KtQGX.net
>>743
>無限というのは限りがないことである（笑
>限りがないとは、終りがない、ということであり、
>完結しないということなのである（笑
>だから完結した無限という意味の
>実無限などというものは存在しないのである（笑
完結した区間[0,1]の中には無限個の数が含まれてますけど？
もし反論があるなら上記区間に含まれている数の個数を答えて下さい。
808:１３２人目の素数さん
19/09/30 23:09:28.84 ws5KtQGX.net
>>757
出ました！安達の十八番芸ｗ
都合の悪い相手は全員サル石化ｗ
809:１３２人目の素数さん
19/10/01 06:12:48.48 hBB+l6wP.net
>>769
無限は否定していない
単にいかなる集合も整礎（すなわち無限下降列が存在しない）といってるだけ
これ集合論の常識
＞・自然数で、0からの無限上昇列は、可能
無限上昇列には末尾が存在しない
列のいかなる要素も逆にたどれば
有限回で０に到達する
したがって、無限下降列の存在を導かない
これ常識
＞・負整数で、-1,-2,・・-n,-・・・
＞ は、無限降下列を成し、整礎でない関係の例である
いかなるつもりで負整数を挙げたのかわからんが
例えばωをー１にできるといいたいのかね？
その場合０は何になるのかね？
まったく無意味
君には数学は無理だから諦めて数学板から去りたまえ（＾_＾）
810:１３２人目の素数さん
19/10/01 06:17:41.75 hBB+l6wP.net
>>770
＞ノイマン宇宙、冪集合を作る操作が超限回可能
＞冪集合を作る操作を加算無限回繰り返せば、いい
＞それで、{}が加算無限重なる集合が、出来る
できない
{}が有限回重なる集合はできるが、それ以上はできない
また
{{}、{{}}、{{{}}}、・・・｝
という集合はできるが、これは{}が無限回重なる集合ではない
なぜなら、上記の集合のいかなる要素も{}が有限回重なる集合だから
君には数学は無理だから諦めて数学板から去りたまえ（＾_＾）
811:１３２人目の素数さん
19/10/01 06:31:43.58 hBB+l6wP.net
どうでもいいことだが
・Gスレ 数学板勢いランキング２位に陥落
・Gスレ 隔離政策失敗
Gスレ 終わったな
812:１３２人目の素数さん
19/10/01 06:45:33.06 hBB+l6wP.net
Ｇスレ１に告ぐ
君には数学は無理だから諦めて数学板から去りたまえ（＾_＾）
813:１３２人目の素数さん
19/10/01 06:56:33.49 Fd75etB7.net
>>779
サイコバスおサルの屁理屈は、面白いな(^_^)
マジレスすれば
・勢いランキング一位なんて、単に数学板が、過疎化しているだけのこと
大した価値ない
しゃれだよ、しゃれ(^_^)
・今、なんか禁止のURLを、無理に書いた（多分全角アルファベットを混ぜて通した）のが悪かったらしく、アクセス禁止中なんだ、PCの専用ブラウザの方
なので、書き込み頻度が落ちている
スマホからしか書けないから(゜ロ゜;
814:１３２人目の素数さん
19/10/01 07:31:38.51 Fd75etB7.net
>>777
おサルの屁理屈は、面白いな(゜ロ゜;
墓穴を掘っているw
・いかなる集合も整礎は、ZFCてで正則性公理を採用しているから
これ集合論の常識
・負整数を挙げたのは、wikipediaの例にあったからだけど(^_^)
普通の順序の下でと一言書いてお
815:くべきだったね。おサルに理解出来るようにw ・負整数より、整数Zとかの方が、分かり易いかな、普通の大小関係の下で 正の有理数に、同じだよw ・おサルは、整礎関係が理解出来ていない だから、正則性公理も、理解出来ていないようだな (゜ロ゜;
816:１３２人目の素数さん
19/10/01 07:35:12.23 Fd75etB7.net
>>778
おサルの屁理屈は、面白いな(^_^)
おまえ、無限を否定する哀れな素人さんの立場になっているよw
(゜ロ゜;
817:１３２人目の素数さん
19/10/01 09:52:06.90 Fd75etB7.net
>>781 補足
しゃれというよりも、だじゃれか(゜ロ゜;
まあ、関西風ユーモアだな(^_^)
818:１３２人目の素数さん
19/10/01 10:23:17.24 YnjuGSIa.net
>>782
>・いかなる集合も整礎は、ZFCてで正則性公理を採用しているから
> これ集合論の常識
つまり君はZF外の話をしたいわけね？
哀れ過ぎるド素人と同じだったのは君だったねｗ
二人で仲良く数学板から去るといい
ここはZF(C)の中の数学を語る場だからｗ
819:哀れな素人
19/10/01 10:23:32.38 4cn5Gj+y.net
>>774
√2の極限値は何ですか、
と聞くようなアホに何を教えても無駄（笑
お前とサル石は邪魔（笑
もう消えてくれ（笑
>>775
お前のアホさがよく分る（笑
ID:hBB+l6wP
これはサル石（笑
お前と質問少年は迷惑だから、もう出て来ないでくれ（笑
820:１３２人目の素数さん
19/10/01 10:25:28.22 YnjuGSIa.net
>>783
バカですね
Nのいかなる元も有限値、且つNは無限集合
こんな簡単なことが分からないなんて
821:１３２人目の素数さん
19/10/01 10:30:09.66 YnjuGSIa.net
>>786
あれ？「完結した無限は存在しない」が論破されてまた「サル石」連呼？
情けないなおまえｗ 脳みそ使って反論しろよｗ
反論できないなら黙ってろよｗ
822:哀れな素人
19/10/01 10:43:01.60 4cn5Gj+y.net
ID:YnjuGSIa
これもたぶんアホのサル石（笑
やることがないから一日中粘着して荒らしまわる（笑
アホ大卒のチンピラ丸出しの文章で（笑
>Nのいかなる元も有限値、且つNは無限集合 ←真性のバカ（笑
お前に論破された覚えはない（笑
一体どこでどうやって論破したのか（笑
823:１３２人目の素数さん
19/10/01 10:47:40.37 YnjuGSIa.net
>>789
つまり長さ1の線分は完結してないといいたいの？
それとも長さ1の線分上の点は有限個といいたいの？
824:１３２人目の素数さん
19/10/01 10:57:49.52 4cn5Gj+y.net
>>790
もしかして>>775のことを言っているのか？（笑
お前、>>775で論破したつもりなのか？（笑
>>775を見ると、お前が可能無限の意味さえ
理解していないアホだと分る（笑
知ったかぶりして2chに投稿する前に
まず可能無限の意味を勉強してこい（笑
といってもお前のような中二のアホには無理か（笑
825:１３２人目の素数さん
19/10/01 11:27:04.91 b+5rKebm.net
>>791
安達さんがまずは可能無限を勉強しましょうねー
0.999....=0.99が正しいと思ってるのはあなただけですよ(笑)
826:１３２人目の素数さん
19/10/01 11:57:19.30 Fd75etB7.net
>>785
おサルの屁理屈は、面白いな(゜ロ゜;
・正則性公理は、無限降下列を禁止しているが、無限上昇列は禁止されていない
それが、理解出来ないようだな
・そして、現代数学はむ
827:１３２人目の素数さん
19/10/01 12:12:16.68 Fd75etB7.net
>>793 追加再投稿
>>785
おサルの屁理屈まで書いたかなw(^_^)
・それで、現代数学では、無限回の操作は、否定されない
・というか、ZFCは、20世紀初頭に、無限に関するパラドックスを克服すべく考えられたもの
無限操作を禁止するのは、簡単だが、それでは面白くない
無限操作を許してなお矛盾が起きないように
・おサルは、無限操作を否定している
・それは、哀れな素人さんと同じ立場だぜ(゜ロ゜;
バカじゃねぇか(^_^)
828:１３２人目の素数さん
19/10/01 12:23:10.39 Fd75etB7.net
>>793 補足
もし、正則性公理が、無限降下列のみならず、無限上昇列をも否定するものであれば、ZFC公理系は狭すぎて困る
事実は、そうではない
少し考えれば、分かりそうなものだが(゜ロ゜;
829:哀れな素人
19/10/01 12:26:56.73 4cn5Gj+y.net
>>792
お前も知ったかぶりして2chに投稿する前に
可能無限について勉強してこい（笑
利口ぶったアホ少年（笑
質問少年の珍言（笑
０の極限値は０である。
１の極限値は１である。
２の極限値は２である。
定数にも極限値はある。
√2の極限値は何ですか。
↑真性の白痴（笑
830:１３２人目の素数さん
19/10/01 16:10:41.54 Fd75etB7.net
>>79
831:4 おサル、それアカンでーw(゜ロ゜; それ、現代数学の「無限」が、全然分かってないということやんか それ、オレと同じレベルやんかw(゜ロ゜; 偉そうに、素人相手に「無限とは」いうてるけど(^_^) 全然分かってないやんか～！ww
832:１３２人目の素数さん
19/10/01 18:21:12.83 Fd75etB7.net
>>795 補足
・まあ、いうてみたら、正則性公理いうのは、底が抜けて、奈落の底へ行かないようするっていうこと
・じゃあ、天井はというと、これは青天井なんよ
そうしないと、無限集合作るのに不便でしょ(^_^)
・正則性公理の無限降下列という字面にとらわれず、本質を見ましょうね、おサルさんww(^_^)
833:１３２人目の素数さん
19/10/01 19:03:40.85 hBB+l6wP.net
>>782
>いかなる集合も整礎は、ZFCで正則性公理を採用しているから
君の>>764
>ノイマン構成の自然数構成でも、ω＝Nから、∈無限降下列が出来る
は誤りだが、もし君のいうこと
（ωの∈無限降下列の存在）
が正しいなら、正則性公理に反する
君こそまた自爆したね もう何度目か知らんけど
>整礎関係が理解出来ていない
>だから、正則性公理も、理解出来ていないようだな
理解できてないのは君
嘘だというなら、ωの∈無限降下列を書いてごらん
ああ、
ω∋ω－１∋ω－２∋・・・
とかいう馬鹿丸出しの誤答は御免だぜ
ω－１とかω－２とかないからｗ
834:１３２人目の素数さん
19/10/01 19:05:11.30 hBB+l6wP.net
>関西風ユーモア
Gスレ1は大阪の恥(^_^)
835:１３２人目の素数さん
19/10/01 19:24:13.56 +aTAi+NQ.net
で、結局、可能無限の正しい定義は何なの？
また[0 1] の点の個数はどう答えるの？
可能無限のみ認める立場では。
836:１３２人目の素数さん
19/10/01 19:30:48.88 Fd75etB7.net
>>799
おサル、必死の屁理屈ひねり出し(^_^)
ようやく、自分の間違いに気づたようだなw(゜ロ゜;
837:１３２人目の素数さん
19/10/01 19:33:38.75 b+5rKebm.net
>>801
可能無限派の人にとっては、実数は存在しません
無理数は具体的な構成手順を明示できるものだけ存在することができます
√2やπなど具体的に名前がついたものですよね
[0,1]という対象は存在しないため考察の対象となりません
有理数全体の個数として考えた場合でも、個数などは考えません
有理数とは2つの自然数を割り算することでできる数として捉えます
自然数とは延々と数えることができる可能性を意味するので、有理数も延々と数えることができる可能性です
したがって、あるのは個数ではなく可能性です
838:１３２人目の素数さん
19/10/01 19:34:25.94 b+5rKebm.net
>>801
注意しなければならないのは、安達さんは可能無限ではないということです
誤解していて無限自体を拒否する立場を取っています
839:１３２人目の素数さん
19/10/01 19:42:12.57 +aTAi+NQ.net
>>803
ありがとうございます。
可能無限派にとっては、
[0 1]という対象は存在しないということですが
数直線も認めないのでしょうか？
それとも数直線は有理数と一部の無理数だけから成っていると考えるのでしょうか？
840:１３２人目の素数さん
19/10/01 19:51:51.57 hBB+l6wP.net
>>802
ω∋ω－１∋ω－２∋・・・
で、ようやく自分の馬鹿な間違いに気づいて
必死に誤魔化す 大阪の恥、Ｇスレ１
大阪湾に沈め(^_^)
841:１３２人目の素数さん
19/10/01 19:54:43.07 hBB+l6wP.net
大阪出身者で許せる唯一の存在ｗ
URLﾘﾝｸ(www.youtube.com)
842:１３２人目の素数さん
19/10/01 19:58:34.28 hBB+l6wP.net
典型的な大阪のクソガキｗ
URLﾘﾝｸ(www.youtube.com)
843:１３２人目の素数さん
19/10/01 20:33:57.15 b+5rKebm.net
>>805
直線の中から数を取り出すことはできますが、数を組み合わせて線を作ることはできない
そんな感じだそうです
844:１３２人目の素数さん
19/10/01 21:15:30.88 Y51B+Y0e.net
>>809
なるほど。
でもなんか不思議です。
例えば、数直線とべつの直線の交点を考えた場合、その交点に数を対応付けられない
場合が有り得るということですよね。その交点が有理数か一部の構成手順の明示された
無理数でない場合は。
845:１３２人目の素数さん
19/10/01 21:20:16.49 b+5rKebm.net
可能無限と似た話に直観主義論理とかいうのもあるんですが、この人たちは排中律を認めないんですよね
AまたはAでない、が常に成り立たないとする人たちです
その理由もやはり具体的な証拠がない限り正しいと認めないとしてしまうからで、こういう人たちの論じる議論はとても面倒で厄介なんですね、一般的に
まあ安達さんはそのなりそこないで、矛盾だらけなわけですけど
846:１３２人目の素数さん
19/10/01 21:25:55.04 YnjuGSIa.net
>>791
論破されてないならなんで>>790の問いに答えないの？ｗ
答えられないということは論破されてるってことじゃんｗ
バカか？ｗ