[過去ログ] Inter-universal geometry と ABC予想 否定派 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
484
(1): 2020/04/25(土)17:28 ID:56hvO4NK(10/18) AAS
>>480
文脈的には明らかだったんだけど、義務教育を全うしたか怪しい君には難しかったようだね
君のことを買いかぶりすぎてた俺が悪かったよ、ごめんね

「1<2<3<...<ω」て書くのは誤りで
「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は
分かりにくいし、大変そうだけど頑張ってね
485: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:32 ID:ReTz6AXc(34/59) AAS
結局、inter-universeそのものは∈と無関係なんだろ?

だったら§3の記述は無駄なおしゃべりを割愛してスッキリと書くべきだな
∈の無限上昇列も無限下降列もループも要らない
グロタンディク宇宙はあってもいいかもしれんが、
そもそも取り替えたいのは本当に宇宙全体なのか?
もっと真面目に考えたほうがいいんじゃないのか?
486
(2): 2020/04/25(土)17:34 ID:56hvO4NK(11/18) AAS
>>481
いや知らんけど明らかに悪意持って捏造してるレスみたら、それは捏造ですよと注意しただけだよ
487
(2): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:35 ID:ReTz6AXc(35/59) AAS
>>484
>「1<2<3<...<ω」て書くのは誤りで
>「1<2<3<…」かつ「任意の自然数nについてn<ω」て書くんだね君は

「1<2<3<…」かつ「任意の自然数nについてn<ω」の場合、
便宜的に「1<2<3<...<ω」と書くと定義するなら、そうしてもいいよ

ただそういう表記は、極限順序数であるωに、
あたかも前者となる順序数が存在するかのごとき
省2
488: 2020/04/25(土)17:35 ID:56hvO4NK(12/18) AAS
>>483
IUTが正しいかは分からんけど、君の考えが見当違いになってたのは分かる
489
(1): 2020/04/25(土)17:36 ID:ZB44qZOw(1) AAS
>>480
∈が順序関係になってる場合(例えば順序数全体で∈を考える)だとV1∈V2∈…∈Vはおかしくないでしょ
実数の体系でa1<a2<…aって書くのと同じことだよ
490
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:37 ID:ReTz6AXc(36/59) AAS
>>486
悪意も善意もない
そもそも望月の文章が、読者をミスリードしかねない危険なものだと指摘した
自分が間違えた経験をそのまま書いてるだけかもしれんが、
もしそうなら、愚劣の極みだな
491
(1): 2020/04/25(土)17:38 ID:GoU2jl6o(1) AAS
>>487
>ただそういう表記は、極限順序数であるωに、
>あたかも前者となる順序数が存在するかのごとき
>誤解を与える点で有害無益だと思うがね
だんだん批判のトーンが下がって来てるねw
単にあなたがややこしいと思ってただけでしょ、集合論の本でもこの程度の書き方は特に不自然とは思わない
492: 2020/04/25(土)17:38 ID:56hvO4NK(13/18) AAS
>>487
いや知ってだけど
そもそもωをわざわざ持ち出す人が知らないわけないじゃん
知らなかったのはむしろ君で、それ誤魔化すために書いたのかな笑
493: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:41 ID:ReTz6AXc(37/59) AAS
>>489
粗雑な表現を漫然と受け入れてると、必ずつまづくよ
494
(1): 2020/04/25(土)17:45 ID:56hvO4NK(14/18) AAS
>>490
あのさ、無限降下列も∈loopも、正則性公理からそれ自身はありませんてP68とP74で明確に書いてるのに、どうミスリードされるんだ?
君はスレを読んでた人をミスリードさせようとしてたのに、よう言えるなそんなこと
495
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:46 ID:ReTz6AXc(38/59) AAS
>>491
>だんだん批判のトーンが下がって来てるねw

いや、まったく下がってない 上がりまくってるがw

無限上昇列があるというだけなら わざわざ∈Vをつける必要がない
無限下降列が存在しない、とか∈ループが存在しないというのにもVは必要ない

上記2点を否定することは絶対にない
496
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:49 ID:ReTz6AXc(39/59) AAS
>>494
わざわざVを持ち出して、無限上昇列の最後に「∈V」とつけてる時点で
「もしかしたらVから無限下降列がつくれて、
 VからVへのループもできそうなのにおしい」
という気持ちがありありと感じられるから
「そういう妄想、要らんから」
といってるだけ 何がしたいんだ?望月
497
(1): ポス毒 2020/04/25(土)17:49 ID:6oPh/Rfv(1) AAS
IDころころ変わるからコテ付けます
>>495
それだけだったらminor revisionといて提案する程度の事柄だね…
(個人的にreviseする必要があるとは思えないけど)
こんな部分を突いても論文の批判としては無価値だと思うよ
498
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:52 ID:ReTz6AXc(40/59) AAS
>>486
>いや知らんけど

結局 56hvO4NKはloopについては何も語れてないな

顔洗って出直してこいよ ま 別に戻ってこなくていいけどw
499: 2020/04/25(土)17:54 ID:56hvO4NK(15/18) AAS
>>496
それと似たような操作したいて話なわけでしょ
そんなのありえねえと君が批判するのは自由だけれど、論文の一部分だけを切り出して、しかもその論文中で明確に否定してることを、「論文にはこんな記述があるから間違ってる!!」とかミスリードにもほどがあるでしょ
そのようなミスリードは批判されるべきものだよ
500: 2020/04/25(土)17:55 ID:yxjK8Qim(1/2) AAS
revisionする必要すらない内容なら書かなければいいと思うんですがそれは
501
(1): 2020/04/25(土)17:56 ID:56hvO4NK(16/18) AAS
>>498
君が気持ちよくスレ民ミスリードしてたところを、それミスリードだからと暴いてしまってごめんねー
502
(3): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:56 ID:ReTz6AXc(41/59) AAS
>>497
わざわざHNつけるほどの話じゃないよ やめときな

もちろんこんなのは些細なことだよw
ただ、こんなところでケチつけられんのは、イヤだろ?
それだけのこと

もう コテ外していいよ あんた研究者なんだろ?
5chみたいな地獄に来るもんじゃないよ 時間の無駄だから
省2
503
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)17:58 ID:ReTz6AXc(42/59) AAS
>>501
ん?君結局、loopについては語れないんだろ?

ここに書く意味、ないじゃんwwwwwww
504: 2020/04/25(土)17:58 ID:d2+O8E/0(1) AAS
>>502
批判に耐えきれなくなって、とうとう「自分はあえてキチガイを演じていただけなんですが」というスタンスに変えたか
悲しいねえ
505
(1): 2020/04/25(土)18:00 ID:56hvO4NK(17/18) AAS
>>503
ミスリードしてるレスに対して、それミスリードしてると指摘することには意味があるよ
506: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:02 ID:ReTz6AXc(43/59) AAS
批判?どれもこれも見当違いなので、全然痛くも痒くもありませんがw

むしろ「文脈」とかいいだす時点で
「なんだ結局俺の云ってること実質的に認めてんじゃん」
と思ってるけどな ま、当然だけど

ポスドクが5chなんか見てちゃダメだよ 脳味噌腐るからw
507
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:05 ID:ReTz6AXc(44/59) AAS
>>505
肝心なことに答えないねw

望月の論文 IUT IVの§3のloopの理論全体における必要性について、
君は全然説明できてないけど、要するに君IUTが分かってないってこと?
508: 2020/04/25(土)18:06 ID:yxjK8Qim(2/2) AAS
改訂する必要すらない内容を論文に載せるくらいなら、
それこそ「心の一票」にでも書けばいいと思うんだが
まあアクセプトされた際の会見で「既存の公理体系の上です」とか何とか言ってたし宇宙公理の件は本当にカットしてるかもしれない
あるいはCor 3.12以降をカットしていればSSも認める正しい論文だな
509
(1): ポス毒 2020/04/25(土)18:06 ID:QqbM/om7(1) AAS
>>502
>もちろんこんなのは些細なことだよw
>ただ、こんなところでケチつけられんのは、イヤだろ?
>それだけのこと
こんな些細なところをつついてると「IUTの批判は実は大したことないのでは?」と思われそうで心配だよ
Woitのブログで展開されてるような真っ当な批判の方が埋もれてしまう
要するに狼さんの批判が藁人形に使われるってことね
510: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:06 ID:ReTz6AXc(45/59) AAS
云っとくけど、別にloopとやらがあってもいいよ
∈-loopと全然無関係ならね

関係なくていいんでしょ?だったら∈-loopとか云う必要ないよね?

ただそれだけだよ 何発狂してんの?君たちwwwwwww
511: 2020/04/25(土)18:08 ID:56hvO4NK(18/18) AAS
>>507
当たり前じゃん、分かってないよ
けれど君の>>423のレス内容にある「望月先生は無限降下列や∈loopが文字通りあると思ってる」という趣旨の内容について、それは論文中で明確に否定されてるねと書いてるのよ
512
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:09 ID:ReTz6AXc(46/59) AAS
>>509
真面目な批判のネタがあるならIUT本スレでお書きください
変態収容所で粋がっても無駄だから

ついでにいうけど、真面目にやりたいなら
実名でarXivに論文上げるのが一番
5chなんかでうだうだいっても無駄
513
(1): ポス毒 2020/04/25(土)18:16 ID:9CWGK7bc(1) AAS
>>512
狼さんがこのスレで提起した批判に突っ込んでるだけだよ
このスレで出てきた話だからここで話してるだけ
514
(1): 2020/04/25(土)18:21 ID:h3YipE68(1/2) AAS
ポスドクってコテを付けるくらいなんだからポスドクなんだろうけど……
論文に改訂(revision)がいらない全く無関係なことが書いてあることを何とも思わないって
やっぱり廣中あたりが"日本の数学者 最後の世代"なんかねぇ
515
(3): ポス毒 2020/04/25(土)18:25 ID:Xw+fHmNN(1) AAS
>>514
論点がズレてるよ
私は狼さんの批判がナンセンスなことを指摘してるだけであって
IUT論文の集合論の部分が不要かどうかとかは議論してない
これが無関係なのかどうか判断する能力も無いしね
516
(2): BLACKX ◆SvoRwjQrNc 2020/04/25(土)18:27 ID:tte+Rsu2(1/4) AAS
>>502
いえ、キチガイ収容所です
517: 2020/04/25(土)18:31 ID:h3YipE68(2/2) AAS
>>515
必要であれば改訂する必要があるし、
不要であればそもそも心の一声に書くべきで改訂するしないの問題ではない
要不要はそれこそ論点ではなく、その中で改訂しなくていいという発言をしてしまうことが嘆かわしいんだよ
518
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:31 ID:ReTz6AXc(47/59) AAS
>>513 >>515
ポスドクは真面目な批判をIUT本スレに書かなくちゃ

こんなところで粋がって書いてると
コラッツ●違いのド素人のBLACKX に
●違い呼ばわりされるよw
519
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:34 ID:ReTz6AXc(48/59) AAS
>>516
収容所の設置、有難うございますw

所長として毎日、多くの変態たちと付き合う充実した毎日を過ごしております

なお、私、過去の所業により、スレ立てが出来ません

このスレが1000に近づきましたら、次スレの設置をお願いいたします💛
520: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:38 ID:ReTz6AXc(49/59) AAS
>>515
>IUT論文の集合論の部分が不要かどうかとかは議論してない

ここに書くなら議論しろよw

>これが無関係なのかどうか判断する能力も無いしね

え?あんた数論幾何専攻のポスドクじゃないの?

何のポスドク?異分野ならそれこそこんなところで遊んでるなよw
521: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:42 ID:ReTz6AXc(50/59) AAS
IVの§3についていえば、inter-universeの箇所は書けばいいと思うが
集合論にこじつけて基礎づけた風な文章は無意味だから要らない

まあ、そこを除くとただの思いつきだけになって
「おまえのいうことが論理的に無矛盾だっていう証拠はどこにある?」
と突っ込まれるんだろうけど、別に付け加えたって質問の答えになってないから
522
(1): BLACKX ◆SvoRwjQrNc 2020/04/25(土)18:44 ID:tte+Rsu2(2/4) AAS
>>518
僕キチガイでもしょうがないよなぁ…5万の懸賞金の為に20倍のお金かけちゃったもんなぁ…
523
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:46 ID:ReTz6AXc(51/59) AAS
>>522
ああ・・・エルデシュがかけた500ドルの懸賞金ね
外部リンク:ja.wikipedia.org

どうでもいいけど、100万円、何につかったの?
524
(1): BLACKX ◆SvoRwjQrNc 2020/04/25(土)18:51 ID:tte+Rsu2(3/4) AAS
>>523
遠征と校正会社
525
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:54 ID:ReTz6AXc(52/59) AAS
>>524
校正・・・ああ論文の
で、遠征って
526
(1): BLACKX ◆SvoRwjQrNc 2020/04/25(土)18:58 ID:tte+Rsu2(4/4) AAS
>>525
ついでだけどコラッツやってる人に会いに行ってきた。
527
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)18:59 ID:ReTz6AXc(53/59) AAS
ところで、毎回IDが変わるってどういう仕掛けなんだろ?

ケータイから?
528
(1): 2020/04/25(土)18:59 ID:dUEBtaY/(10/14) AAS
>>516
いえ、
「落人村(ヲチうどムラ)」
です。

※「落人村(ヲチうどムラ)」とは…
大学の乱において敗北し僻地に隠遁し…
「京都落ち(みやこヲチ)」
省13
529
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)19:00 ID:ReTz6AXc(54/59) AAS
>>526
遠征っていうからには、外国の人ってことだよね

どこの人?やっぱり素人(つまり大学の数学科卒でない)なの?
530: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)19:04 ID:ReTz6AXc(55/59) AAS
>>528
落人部落 いいねえw

動画リンク[YouTube]
531
(1): 2020/04/25(土)19:04 ID:dUEBtaY/(11/14) AAS
>>519
宿敵源氏の士に慈悲を乞う哀しき“落人の隠れ里(ヲチ隔離スレ)”住民...

゜。*゜○。゜。✳゜。゜
○゜。*゜。゜✳゜(ノД`)゜
532
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)19:08 ID:ReTz6AXc(56/59) AAS
>>531
なんだBBA あんたかw

いやー、大陸から来た弥生人に慈悲を乞う縄文人の末裔ですから
533: BLACKX ◆SvoRwjQrNc 2020/04/25(土)19:09 ID:9mAL47Rd(1/2) AAS
>>529
あまりその人の素性晒したくないけど、まぁ修士卒のニッチな人だよ

今はリビングにいればスマホと自室に居ればPC
534: 2020/04/25(土)19:12 ID:dUEBtaY/(12/14) AAS
★★★★★★★★★💢★
∵・Σ>>532━━🔥🔫>★
★★★★★★★★★★★

BBAではありませんね。
535: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)19:13 ID:ReTz6AXc(57/59) AAS
日本人に多い、Y染色体ハプログループD-M55に一番近い海外の人は、
なんとインド洋のアンダマン諸島のジャラワ族・オンゲ族だそうです

ジャラワ族
外部リンク:ja.wikipedia.org
オンゲ族
外部リンク:ja.wikipedia.org
536: 2020/04/25(土)19:13 ID:dUEBtaY/(13/14) AAS
失礼しました。
537: 2020/04/25(土)19:49 ID:dUEBtaY/(14/14) AAS
。。。スレ止メチャッタ…?
…(´艸`;)…ゴメンナサィ…?…

゜。○゜*。*゜○。✳゜
空気が読めなくてごめんなさ〜ぃ!
もうお邪魔しませ〜ん。。。
許して…

゜ ✳゜。 ○゜。(ノД`)゜
538
(1): 2020/04/25(土)20:07 ID:nULhaJry(4/4) AAS
これはただの妄想だが、
わざと難解かつ長大な論文をインターネット上で公開して、査読の期間を長引かせることによって、
いくらでも研究費が獲得できるんじゃないかと思った
ジャーナルに掲載されるまでの期間が長引けば長引くほど、「普及活動」と称して追加の研究費を請求することができる
さらに、あえてギャップを仕込んでおけば、反論する人が出てくることによって
「理解が進んでいない。さらなる普及活動が必要だ」として追加の研究費を(ry
539: 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)20:17 ID:ReTz6AXc(58/59) AAS
>>538
>これはただの妄想だが、

いや図☆かもよ
540: 2020/04/25(土)21:27 ID:sUhbaEiB(1) AAS
京大を視たら泥棒と思え
541
(2): 粋蕎 ◆C2UdlLHDRI 2020/04/25(土)21:28 ID:EIR0nq2C(1/2) AAS
時にBLACCX氏。此の既存組織殲滅及び組織化活動粛正式全人各者漏れなく孤立型共産主義者は
此のスレ終わったら帰還の積もりらしいんで続設を頼む

所でブラッククス氏なのかブラックス氏なのか読み方が分からんな
BlackXと改名して呉れれば一意ではあるが、どっちなんじゃろ?
542
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/25(土)21:41 ID:ReTz6AXc(59/59) AAS
>>541
誤 共産主義者
正 無政府主義者

推進するのはマルクス主義ではなく無政府共産主義

ま、工員のおめぇこそ資本主義に反抗すべきだがが

資本主義に従ってもおめぇ、餓死するだけだぞ(マジ)
543
(1): BLACKX ◆SvoRwjQrNc 2020/04/25(土)22:02 ID:9mAL47Rd(2/2) AAS
>>541
読みはブラックスやで。
りょかーい、善処する!
544
(1): 粋蕎 ◆C2UdlLHDRI 2020/04/25(土)23:33 ID:EIR0nq2C(2/2) AAS
>>543
感謝、協力する。
そうかBlackXじゃのうてBlackxか。

>>542
「理想なんて言葉は白々しいながら自らが思う世界構築」さえも無いオドレが望むんは
中庸殲滅主義どころか混沌放縦主義じゃな。餓鬼道…やっぱりガキ性分は境遇じゃのうて信念じゃったか

法治統制主義 畜生道
省8
545: ID:1lEWVa2s 2020/04/26(日)02:20 ID:Bp7jhaDB(1) AAS
>>527
遊び終わったらすまほ毎回電源きる。
546: 2020/04/26(日)05:43 ID:TiUZD0nx(1) AAS
新幹線や電車移動中にスマホ使ってるんだろ
中継基地局が変わるからID替わっちゃうからね
547
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)07:22 ID:lYMvbA3z(1/31) AAS
演習
 ∀x(x + 0)=x 
 ∀x∀y(x + sy)=s(x + y) 
 ∀x(x * 0)=0 ∀x(x * sy)=[(x * y) + x] ならば
 ∀x(0 * x)=0

 ∀x(x + 0)=x 
 ∀x∀y(x + sy)=s(x + y) 
省12
548: 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)08:09 ID:lYMvbA3z(2/31) AAS
>>547 一部修正

演習
 ∀x(x + 0)=x 
 ∀x∀y(x + sy)=s(x + y) 
 ∀x(x * 0)=0 ∀x∀y(x * sy)=[(x * y) + x] ならば
 ∀x(0 * x)=0

 ∀x(x + 0)=x 
省13
549: 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)08:12 ID:lYMvbA3z(3/31) AAS
演習
 ∀x(x + 0)=x 
 ∀x∀y(x + sy)=s(x + y) 
 ∀x∀y∀z[x + (y + z)]=[(x + y) + z]
 ∀x∀y(x + y)=(y + x)  
 ∀x(x * 0)=0 ∀x(0 * x)=0 
 ∀x∀y(x * sy)=[(x * y) + x] ならば
省27
550: 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)08:39 ID:lYMvbA3z(4/31) AAS
演習
 ∀x(x + 0)=x 
 ∀x∀y(x + sy)=s(x + y) 
 ∀x∀y(x + y)=(y + x)  
 ∀x(x * 0)=0 ∀x(0 * x)=0 
 ∀x∀y(x * sy)=[(x * y) + x]
 ∀x∀y(sx * y)=[(x * y) + y] ならば
省19
551: 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)08:53 ID:lYMvbA3z(5/31) AAS
>>544
法は要らないから、法治などない

混沌も道に沿うから、互助の精神が生まれる

自由、自然こそが大事

ま、工業高校卒の極道にはわからんか?
552
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)09:04 ID:lYMvbA3z(6/31) AAS
工業高校、工業高等専門学校、工学部の連中にとって
数学とはつまるところ計算方法である

彼らは理論には興味がない
実数や連続性の定義など知らなくても微積分の公式がわかればいい
線形空間・線形写像など知らなくても行列の計算ができればいい
計算方法が分れば何も考えず只々計算する

工学部の連中にガロア理論が理解できないのは
省4
553: BLACKX ◆SvoRwjQrNc 2020/04/26(日)09:13 ID:8tvmqbZG(1) AAS
ゴルゴジャッカル
554
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)09:14 ID:lYMvbA3z(7/31) AAS
六道は三段階に分けるのが良さげ

天道  自然自由主義
人道  自然互助主義
------
修羅道 法治強制主義
畜生道 法治盲従主義
------
省2
555: ID:1lEWVa2s 2020/04/26(日)09:23 ID:pe+FY0+0(1) AAS
きちがいどう。
556: 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)09:31 ID:lYMvbA3z(8/31) AAS
ちっ、ゾロ目取られたw

これ書き込もうと思ったのに
動画リンク[YouTube]
557
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)09:47 ID:lYMvbA3z(9/31) AAS
算術基礎論(足し算の結合法則・交換法則、掛け算の交換法則の証明!)も
おわっちまったなあwww
558
(2): ID:1lEWVa2s 2020/04/26(日)09:52 ID:on3siIGx(1) AAS
>>557
10!を計算せよ。
559
(2): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)10:03 ID:lYMvbA3z(10/31) AAS
>>558
その計算はここでは収まらない(マジ)
560
(1): ID:1lEWVa2s 2020/04/26(日)10:06 ID:lM6RpPk1(1/3) AAS
>>559
いろんなりゆうわかってるんだ。
破謝。
561
(1): ID:1lEWVa2s 2020/04/26(日)10:08 ID:lM6RpPk1(2/3) AAS
>>560
破謝ってなに。
562: ID:1lEWVa2s 2020/04/26(日)10:09 ID:lM6RpPk1(3/3) AAS
>>561
この計算はここでは収まらない。まじ。
563
(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2020/04/26(日)10:09 ID:7O7a3CML(1/3) AAS
>>558-559
>> 10!を計算せよ。
>その計算はここでは収まらない(マジ)

その計算はここに収まる(マジ)
おサルは、指を折って数えようとしたねw(^^;

(参考)
外部リンク[html]:i-o-knowledge.blogspot.com
省13
564
(1): 論理狼 ◆y7fKJ8VsjM 2020/04/26(日)10:12 ID:lYMvbA3z(11/31) AAS
0,s0,ss0,…というのは単項(unary)記法だから
小さい数でもすぐ長い表記になってしまい収拾がつかない

ああ、バイナリ記法での加法乗法の計算が
単項記法の計算と一致していることを
証明する必要があるって?

いい指摘だな
1-
あと 438 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s