[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
463(2): 08/10(日)10:36 ID:TZSBSJbk(2/8) AAS
別におれは自分が望月先生よりも賢い天才とかいってるんじゃない。望月先生の基礎論がらみの知識はこのジャンル勉強してる院生のレベルにすらおそらく到達してない、それくらいありえないレベルのことを論文で書いてる、そしてprimisはそれを通してる、それくらいのデタラメワールドが展開してるんだよ。もうでてけ。目ざわりや。お前みたいな他人に対してなんの敬意もはらえんゴミが数学の世界に近寄ってくるだけで不愉快や
464: 08/10(日)10:55 ID:9U8iWWX5(1) AAS
>>462-463はどっちの立場なん？
465: 08/10(日)10:58 ID:inVgR9CA(1) AAS
そのジャンルの話ではないようだ
466(2): 08/10(日)11:10 ID:TZSBSJbk(3/8) AAS
そのジャンルの話ではないというのは信者界隈で最後に出てくるワードだがその言い訳が通用したのは最初の１，２年が限界やろ。もう１０年もまえから指摘されたエラーが訂正されない。ほんとに“ちょっとしたミス”ならとっくになおってないといけない程度のはなし。しかし１０年たっても直せない、結局修正不可能のエラーだったと評価せざるをえない。IUTは現行の数学の保存拡大ではなく、現行数学モデルの中にモデル化することもできない、そして場合によってはIUTの論理体系は自己矛盾してる可能性まである。
それを否定するなら求められてる言語体系、推論測を明示するしかない、の作業が１０年されてない。
もう終わってる。
467: 08/10(日)11:15 ID:xp7Ki8dX(3/6) AAS
ID:f12p+Q2vは自分の意見が通らないと駄々こねる三歳児だから
468(1): 08/10(日)11:36 ID:TZSBSJbk(4/8) AAS
もうちょっというならこの前だれかが望月先生のブログかなんかの文章でそういう要求を実行しないことの理由を「数百ページにわたる論文を記号論理に焼き直すのは大変」みたいなことをいってるらしい。
しかしだれもそんなこと求めていない。たとえば数学には“超準解析”とかいうちょっとかわった実数をあつかう理論体系がある。εδを回避しやすくする解析学らしい。過去一冊だけ超準解析をつかったFeynman積分の教科書というのを見かけたことがある。
しかしべつに“非標準的”だから全部記号論理で記述してるわけじゃない。普通の口語でかかれた教科書。
でもだれも文句いわない。「この教科書は超準解析の用語、論理体系で話します。細かい内容は××で詳細が定義されてます」と但し書きが最初のほうにあるし、きちんと抽象化、記号化の話が述べられてるから。それさえ予めやってもらえれば、あとの文章が少々非標準的でも標準的な数学の教育をうけたものなら口語でかかれた文章でも必要があれば、記号化して内容を精査できる。
つまり現実にもとめられているのは「どんな言語で記述するのか、どんな推論をもちいるのか」の最初のせいぜい１０ページもかからない程度の話。（通常の論理体系ならそんなにかからない）
IUT論理体系がどんなに大変なものかしらないが書き出すのに１０年もかかるはずもない。そして「言語体系、推論測かきだせ」をかってに「論文全部記号論理で書き出すのは実質不可能」とわけのわからない言い換えをして実行しない言い訳にしてる。もちろん界隈の人は本人含めてなにを求められているのかもわかってるし、それをしない言い訳もわざと論点ずらしてるのも百も承知でやってる。もうそれしか言い逃れができないんだろうとしか評価できない。言い逃れして退官まで逃げ切るつもりなんだろうとしか思えない。
469: 08/10(日)11:38 ID:TZSBSJbk(5/8) AAS
そもそもどんなに大変でも“言語体系の規定、推論規則の規定”はやらなきゃダメやしな。「大変だから勘弁して」なんて通じるわけがない。
470(2): 08/10(日)11:50 ID:TZSBSJbk(6/8) AAS
そういやも一つ言い訳してたな。「IUTの推論は現行数学のそれと大差ないからわざわざする必要もない」とかなんとか。もちろんそんなわけはない。
たしか４本目の論文かなんかで「正則性公理はずせば現行の言語体系、推論体系のもとでIUTが展開できる」とかなんとかいってたみたいだけどもちろんそんなはずはない。
公理をへらして証明できるなら公理を減らさないでも証明できないといけない。そして公理と矛盾しない文をいくらでも公理と追加しても証明できなければならない。ならばIUTは現行の公理に無矛盾な極大な公理系を追加した公理系のもとでも証明されなければならない。ならば現行公理に「Vが唯一のユニバースである」を追加した公理系の下でも証明できなくてはならない。でもできないよな。IUT はユニバースがいっぱいあってそれが正則性をみたしてないから非標準的な自然数が理論の中に無限にでてこないといけないんだよな？
どうあがいてもIUT論理体系？とかいうものからでてくるらしいその結論は現行の数学の体系のメタ定理と矛盾してる。どんなに強弁してみてもIUTが現行の数学の体系とは異なるものであるとしかいえないし、であるなら求められてることやれとしかいえない。
そしてやらない。終わり
471(1): 08/10(日)19:13 ID:xp7Ki8dX(4/6) AAS
>>401
それ君の体臭
風呂入れよサル
472: 08/10(日)19:40 ID:f12p+Q2v(7/12) AAS
>>471
ふっふ、ほっほ
スレ主です
夏のゴキブリは元気だな
踏みつけたのに、まだ動いている （＾＾；
>>401のダジャレを解説するのもヤボだが
”くっさーｗ”は
省6
473(1): 08/10(日)20:37 ID:f12p+Q2v(8/12) AAS
>>462
>正直このジャンルの話なら望月先生本人でも俺には勝てん
>なんでそれがわからんのじゃ？
基礎論くんか ご苦労さまです
まあ 日本には言論の自由がありますからね （＾＾
主張は自由だよ
>>463
省12
474(1): 08/10(日)20:37 ID:f12p+Q2v(9/12) AAS
>>468
>もうちょっというならこの前だれかが望月先生のブログかなんかの文章でそういう要求を実行しないことの理由を「数百ページにわたる論文を記号論理に焼き直すのは大変」みたいなことをいってるらしい。
完全に妄想。君の脳内デンパ
>たとえば数学には“超準解析”とかいうちょっとかわった実数をあつかう理論体系がある。εδを回避しやすくする解析学らしい。過去一冊だけ超準解析をつかったFeynman積分の教科書というのを見かけたことがある。
それは、教科書ではないが、見た記憶がある
が、完全に成功していない・・ というか Feynmanの経路積分は いまでも数学としては 正当化できていない
が、Feynmanの経路積分の使い手が 例のウィッテン氏（下記）
省10
475(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)20:38 ID:f12p+Q2v(10/12) AAS
AA省
476(1): 08/10(日)21:03 ID:viwdA10V(1) AAS
>>475
深いとか表面的とかそういうトラッシュトークではなくIUTの言語が一義的でないことに反省の弁を述べるべき
477(1): 08/10(日)21:56 ID:TZSBSJbk(7/8) AAS
>>473
あいての言ってることわからんなら反論するなゴミ
478(1): 08/10(日)21:58 ID:TZSBSJbk(8/8) AAS
>>474
脳内デンパってどういう意味じゃゴミ
もう数学の世界によってくんな。
どこまで数学者馬鹿にしたら気が済むんじゃ
数学の世界によってくんな
479: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/10(日)23:04 ID:f12p+Q2v(11/12) AAS
>>476-478
面白いやつらだなｗ ；ｐ）
スレ主です
そもそも このIUT応援スレと
あっちの Inter-universal geometry とABC 予想58 スレ
2chｽﾚ:math
とで、棲み分けしてんじゃなかったか？ うん？ ふっふ、ほっほ ｗｗｗ （＾＾
省24
480: 08/10(日)23:07 ID:xp7Ki8dX(5/6) AAS
∩は公理じゃないから使えないとか言っちゃうアホがまた暴れてんな
481: 08/10(日)23:20 ID:f12p+Q2v(12/12) AAS
踏んづけてやったゴキブリくんが、うごめいている
くやしいのうｗｗｗ くやしいのうｗｗｗ
482: 08/10(日)23:54 ID:xp7Ki8dX(6/6) AAS
そんなにくやしかったら勉強すればいいのに
意地でも勉強しないオチコボレｗ
483: 08/11(月)00:19 ID:VNTJKdpU(1) AAS
統合失調症の治療をしないとどうなるか
1. 症状の慢性化・悪化
* 陽性症状の悪化: 幻聴や妄想といった症状が慢性化し、より激しくなることがあります。これにより、現実と妄想の区別がつかなくなり、問題行動や暴力、自傷行為につながる危険性もあります。
* 陰性症状の進行: 意欲の低下、感情の起伏の乏しさ、引きこもりなどが強まります。日常生活の維持が困難になり、社会生活から孤立しやすくなります。
* 認知機能障害の悪化: 思考力や注意・集中力が大きく低下し、一見簡単な問題にも対処できなくなるなど、社会生活を送る上での困難が増します。
2. 社会生活への影響
* 孤立: 症状から家族や友人との関係が切れてしまい、孤立状態に陥りやすくなります。
省2
484(1): 08/11(月)01:02 ID:1py8rUI0(1/2) AAS
>>466
>そのジャンルの話ではないというのは信者界隈で最後に出てくる（略）
まさにその通り
望月集合論に瑕疵があるというのは論文が出た当初から言われてきてる
例えばこのブログ
外部ﾘﾝｸ:quomodocumque.wordpress.com
ここでtaoが望月集合論はabc証明の後に出てきてabc証明には
省3
485: 08/11(月)01:12 ID:1py8rUI0(2/2) AAS
ちな
望月集合論を避けて標準的な数学の枠内で証明を与えたと主張してるのがジョシで
望月集合論をなんとか形にしようと頑張ったのがデュプイな
デュプイはフルショフスキーのところでポスドクをしていて共著も書いてる
486: 死狂幻調教大師S.A.D.@月と六ベンツ 08/11(月)05:07 ID:icxZue6p(1/5) AAS
入院期間の1年半はもう終えてる。訪問看護師さんは入院しなくてもいいと言うし神経症は外来中心で軽い。
487: 死狂幻調教大師S.A.D.@月と六ベンツ 08/11(月)05:41 ID:icxZue6p(2/5) AAS
精神障害者施設から精神科デイケアに通ってるから大丈夫。入院で終わりじゃなく入院のあとがある。。
488: 死狂幻調教大師S.A.D.@月と六ベンツ 08/11(月)05:42 ID:icxZue6p(3/5) AAS
。
489: 死狂幻調教大師S.A.D.@月と六ベンツ 08/11(月)08:16 ID:icxZue6p(4/5) AAS
お着物。草履。かんざし。精神科は間違えてる移民か。神経内科は大丈夫。ヘアメイクなどとも縁。
490(1): 08/11(月)09:36 ID:TCUBQCcN(1/2) AAS
>>470
>「IUTの推論は現行数学のそれと大差ないからわざわざする必要もない」
>「正則性公理はずせば現行の言語体系、推論体系のもとでIUTが展開できる」
>公理をへらして証明できるなら
>公理を減らさないでも証明できないといけない。
然り
>（ZFCの）公理と矛盾しない文をいくらでも公理と追加しても証明できなければならない。
省23
491(2): 08/11(月)09:38 ID:iGLBvSqQ(1/7) AAS
>>484
ありがとう
１）その Quomodocumque を掘っていくと、Jordan S. Ellenberg に辿り着く
Ellenbergの名前は聞いたことがある。結構有名
２）で、その Quomodocumque は 2012だが、Re-update で ”Minhyong Kim’s discussion on Math Overflow”
それに ”the best place to start may be Mochizuki’s 2000 paper “A Survey of the Hodge-Arakelov Theory of Elliptic Curves I.””
とあって、IUTに否定的ではなく結構興味はあるみたいだ
省27
492(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/11(月)09:40 ID:icxZue6p(5/5) AAS
広尾三宮の精神科クリニックに繋がれて治療中。早く入院職員も卒業しろ俺は任意、事件だからな過去も。
493: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)11:34 ID:f34iaqr/(1/7) AAS
>>492
死狂幻調教大師S.A.D.@月と六ベンツ さん ありがとう
今後ともよろしくお願いいたします
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)11:42 ID:f34iaqr/(2/7) AAS
>>491 追加
(引用開始)
２）で、その Quomodocumque は 2012だが、Re-update で ”Minhyong Kim’s discussion on Math Overflow”
それに ”the best place to start may be Mochizuki’s 2000 paper “A Survey of the Hodge-Arakelov Theory of Elliptic Curves I.””
とあって、IUTに否定的ではなく結構興味はあるみたいだ
なお、Minhyong Kim は、NHKの番組でも出ていたが IUT肯定派です
(引用終り)
省11
495: 08/11(月)13:03 ID:MtMWibfm(1/18) AAS
また妄想か
496(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)13:09 ID:f34iaqr/(3/7) AAS
>>490
>>（ZFCの）公理と矛盾しない文をいくらでも公理と追加しても証明できなければならない。
なんだかな〜ｗ
ZFCを基準にしているのが、なんだかね ；ｐ）
一つ例をあげよう
外部ﾘﾝｸ[html]:www.nippyo.co.jp
数学セミナー 2025年3月号
省20
497(1): 08/11(月)13:47 ID:beOIuuoE(1) AAS
>>496
well-definedではないZFCGを使うんだったら
てめえで全ての証明をきっちり出せなきゃただのオレオレ詐欺w
498(1): 08/11(月)14:33 ID:fRqBIPZy(1) AAS
こんな誰でもわかる文章の意味すらとれないゴミ
人格も知能も小学生並
499(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)15:40 ID:f34iaqr/(4/7) AAS
>>497-498
>well-definedではないZFCGを使うんだったら
ふっふ、ほっほ
妄想のお二人 基礎論ど素人さんｗ
『well-definedではないZFCG』？
まず、下記の 薄葉季路（早大理工） 2017春
最後から２枚目と最後とをみてちょ
省24
500: 08/11(月)16:09 ID:MtMWibfm(2/18) AAS
∩は使えないと妄想でグダグダ言ってるど素人がまた暴れとる
501(1): 08/11(月)16:56 ID:nXXn4Zm0(1) AAS
英語が読めないバカはほっとくしかないが
他の人が誤解しないように言っておくと
Ellenbergは当然iutに批判的だ
望月がanabelianで立派な業績を出してることは
誰もが認めてることでそれとiutとは当然無関係
クソミソ一緒にする奴には分らん話やな
502(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)17:20 ID:f34iaqr/(5/7) AAS
>>499 補足
>集合論の宇宙 —Universe と Multiverse— 薄葉 季路 (早大理工) 2017年3月
>動画ﾘﾝｸ[YouTube]
>発表スライド『集合論の宇宙 Universe と Multiverse』
>外部ﾘﾝｸ[pdf]:www.mathsoc.jp
このスライドのP8より
(引用開始)
省9
503(2): 08/11(月)17:29 ID:MtMWibfm(3/18) AAS
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
For every ordinal α, define an element aα that is in A by setting
aα= f(A-{aξ|ξ<α})
if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is.
省5
504(1): 08/11(月)18:07 ID:MtMWibfm(4/18) AAS
>>502
>なお、ここの薄葉 季路氏のグロタンディーク宇宙の定義は、|U| =ｋ （到達不能基数）なるものとしていることを注意しておく
>?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？
505: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)18:11 ID:f34iaqr/(6/7) AAS
>>501
>他の人が誤解しないように言っておくと
>Ellenbergは当然iutに批判的だ
ふっふ、ほっほ
私も 他の人が誤解しないように言っておく
Barry Mazur Questions about Number これのリンクが切れているが
en.wikipedia abc conjecture External linksに Archivedのリンクがあった。これが 2012-09-16 らしい
省22
506: 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)18:17 ID:f34iaqr/(7/7) AAS
>>503 誤爆かな？
>>504
>?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？
(引用終り)
再度 >>502より
スライドのP8より
省9
507(1): 08/11(月)18:52 ID:MtMWibfm(5/18) AAS
何も分かってないと白状してて草
508(1): 08/11(月)18:53 ID:MtMWibfm(6/18) AAS
誤爆？？？
おまえの誤読だが？
509(2): 08/11(月)18:54 ID:MtMWibfm(7/18) AAS
なにおまえ たてつく気？
じゃあ実数の整列順序示せ 好きなように整列できるんだろ？
510(1): 08/11(月)18:56 ID:MtMWibfm(8/18) AAS
示せもしないくせになに好きなように整列できるとか口から出まかせ言ってんの？
だから落ちこぼれるんだよおまえは 分かったかい？
511(1): 08/11(月)18:58 ID:MtMWibfm(9/18) AAS
いいからオチコボレは数学板から消えろ 目ざわりなんだよ
512(1): 08/11(月)18:58 ID:MtMWibfm(10/18) AAS
いいかげん自分がうざがられてると気付け このオチコボレが
513(1): 08/11(月)19:25 ID:NyKH4kAx(1) AAS
他人にうざがられることが自分の影響力の照明だとおもってる幼児の精神構造なんだろ。わざと他人を不愉快にするような書き込みをするのもそれ。
精神の発達が完全にどっかでとまってる。
典型的な人格障碍者
514(1): 08/11(月)19:31 ID:TCUBQCcN(2/2) AAS
＞ふっふ、ほっほ
ホモ？
515(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)20:47 ID:iGLBvSqQ(2/7) AAS
>>514
>＞ふっふ、ほっほ
> ホモ？
お答えします
ふっふ：つい含み笑いがもれて ”ふっふ”となる
ほっほ：面白いことをいうやつらだと”ほっほ(ぅ)”（(ぅ)は省略）となるｗ ；ｐ）
>>513
省29
516(1): 08/11(月)21:21 ID:MtMWibfm(11/18) AAS
>>515
> オレがスレ主だよ！！ （＾＾
バカはスレ立て禁止。バカにも人権があると思った？ 無いよ
>下記を百回音読してねｗｗ
どこを音読しても実数の整列順序は書いてなくて草
君、言葉が分からないの？ 言語障害？ 病院行きなよ
517(1): 08/11(月)21:26 ID:MtMWibfm(12/18) AAS
バカはいまだに
Xは整列可能≠X上の具体的整列順序が存在
が分かってないね
整列可能性は選択公理に依存してるんだから具体性が担保されないの当たり前なのにね
518: 08/11(月)21:40 ID:lQ62792v(1) AAS
jinの統合失調症は手遅れ
519(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)21:49 ID:iGLBvSqQ(3/7) AAS
>>516-517
ふっふ、ほっほ
ID:MtMWibfm は、基礎論くんか？
君は、常識が無いね 三歳児さん
>バカはスレ立て禁止。バカにも人権があると思った？ 無いよ
まあ、人権があるかないかは別として
三歳児の君には、私を制する 権限がないんだよね
省8
520(4): 08/11(月)21:57 ID:MtMWibfm(13/18) AAS
>>519
倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
イッチョマエの台詞はその後に吐いてね
521(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)22:44 ID:iGLBvSqQ(4/7) AAS
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
面白い！
いま、google検索したら
AIの回答が下記！！（記念にしっかり貼っておこうｗ）
君は、AIなみに賢いぞぉ！！！ｗ ；ｐ）
省14
522(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)22:50 ID:iGLBvSqQ(5/7) AAS
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
面白い！
chiebukuro.yahoo さん ；ｐ）
(参考)
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
省16
523(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)23:02 ID:iGLBvSqQ(6/7) AAS
>>520
>倒錯していてもこころが歪んでてもなんでもいいから早く実数の整列順序示してよ
>イッチョマエの台詞はその後に吐いてね
面白い！
oshiete.goo さん ；ｐ）
外部ﾘﾝｸ[html]:oshiete.goo.ne.jp
oshiete.goo
省14
524(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/11(月)23:03 ID:iGLBvSqQ(7/7) AAS
つづき
No.1
回答者： kabaokaba 2006/07/02
「存在が証明される」のと
「具体的に構成する」というのは
別のものです
後者ならば前者は成立しますが
省24
525: 08/11(月)23:05 ID:MtMWibfm(14/18) AAS
>>521-522
AIも知恵遅れも大間違いで草
526: 08/11(月)23:16 ID:MtMWibfm(15/18) AAS
>>521
>部分集合として、{1/2, 1/3, 1/4, ...} を考えると、この部分集合には最小元が存在しません
はい、大間違い。
最小元が存在しないように見えるのは暗に通常の大小関係を前提にしてるから。ど素人がやりがちな間違い。
>この定理は、実数全体のような特定の集合に適用されるわけではありません。
はい、大間違い。
任意の集合に対して適用できるんだから特定の集合にも適用できる。
省11
527: 08/11(月)23:34 ID:MtMWibfm(16/18) AAS
AI君が根拠と言ってる連続性は実際は稠密性であって、稠密集合である有理数の部分集合{1/2, 1/3, 1/4, ...}にも通常の大小関係に関する最小元は存在しない。
しかし実際には有理数は可算集合、すなわち全単射f:N→Qが存在するのだから、f(0)<f(1)<f(2)<・・・なる整列順序<が存在する。
こんなバカなAIが面白いと日々コピペしてるオチコボレに数学は無理
528: 08/11(月)23:49 ID:MtMWibfm(17/18) AAS
>f(0)<f(1)<f(2)<・・・なる整列順序<が存在する。
有理数Qの空でない任意の部分集合をPと書く。
自然数Nは整列集合だからminf^(-1)(P)が存在する。
よってminP=f(minf^(-1)(P))が存在する。
よってQは整列集合。
529: 08/11(月)23:59 ID:MtMWibfm(18/18) AAS
>>522
>最初に有限個でやって、例えば二桁の自然数だけでナンバリングして、それを負にも拡張して、最後に無限個にまで拡張するだけですね。
はい、大間違い。
実数がナンバリングできないことはカントールが証明済み。
>全ての実数に順序を付ければよいので、不可算無限個ある実数の順序をすべて定めてあげれば構成できます。
実数の順序をすべて定める⇒整列順序を構成できる はトートロジー。
間違いではないが、問い「整列順序を構成できるか」に何も答えておらず無意味。
530: 08/12(火)01:10 ID:r/id88M5(1/18) AAS
>>523
>数学的帰納法ってあまり信頼がないですが、あれは自然数を一斉に順番に並べることができること（ペアノの公理）から由来する定理であって
はい、大間違い。
1.数学的帰納法は公理だから信頼うんぬんはナンセンス。
2.数学的帰納法は定理ではなく公理（但しど素人は勘違いしがちだが、ZF上に構成した自然数が数学的帰納法を満たすことは定理）。
3.一斉に順番に並べることができることと数学的帰納法は独立。
実際、{0,1,2,・・・,0',1',2',・・・}は左の方が小さいとする順序で一斉に順番に並べることができるが、P(0)∧∀n(P(n)→P(S(n)))→∀n(P(n))は言えない（P(0)∧P(0')∧∀n(P(n)→P(S(n)))→∀n(P(n))なら言える）。
省1
531: 08/12(火)01:14 ID:r/id88M5(2/18) AAS
>>524
>この整列可能定理は選択公理の一種の
>異質さというか危うさというかを
>際立たせる意味合いもあると解釈すべきだと
>思いますがどうでしょうか
箱入り無数目もね
532: 08/12(火)01:33 ID:sxHX7Zib(1/6) AAS
jinの統合失調症は手遅れ。
533: 08/12(火)01:35 ID:r/id88M5(3/18) AAS
>面白い！
君、つまらない！
534: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:39 ID:LQgW+aAv(1/30) AAS
病気を治すって干渉も嫌がれることもあるさ。しかし治療すれば上向くだろう。jinも。
535: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:40 ID:LQgW+aAv(2/30) AAS
治療の兵役も基本サボらないほうがいいぞ。しかし真面目な医師や患者だけではない。
536: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:42 ID:LQgW+aAv(3/30) AAS
そういう意味で正攻法は無能だ。
537: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:44 ID:LQgW+aAv(4/30) AAS
統合失調症はガンのような身体病じゃないから手遅れという概念は当てはまらない。
538: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:45 ID:LQgW+aAv(5/30) AAS
治療されたら治療する側だ。社会的治癒。
539: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:45 ID:LQgW+aAv(6/30) AAS
治療されたら治療する側だ。社会的治癒。
540: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:46 ID:LQgW+aAv(7/30) AAS
お祓いやら祈祷が中心だ。
541: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:47 ID:LQgW+aAv(8/30) AAS
古典医学や世相を現代的に治療に活かす。
542: 死狂幻調教大師S.A.D.@月と六ベンツ 08/12(火)02:48 ID:LQgW+aAv(9/30) AAS
俺は治療に成功しているが抵抗、抵抗勢力はある。
543: 08/12(火)04:42 ID:sxHX7Zib(2/6) AAS
統合失調症の入院費用は平均していくらですか？
AI による概要
統合失調症の入院費用は、入院期間や医療費の自己負担割合、病院の種類によって大きく異なります。平均的な入院日数は約531.8日（約1年半）で、1日あたりの入院費は13,590円程度です。ただし、これはあくまで平均値であり、個々のケースでは費用が大きく変動する可能性があります。
入院費用の内訳と目安:
入院基本料:1日あたり約13,590円（目安）。
食事療養費:1日あたり約2,300円（目安）。
その他:洗濯代、おむつ代、理髪代、嗜好品費など、人によって必要な費用が異なります。
省11
上下前次1-新書関写板覧索設栞歴
あと 459 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s