23/11/13 21:58:48.75 Q++RkXqp.net
>>665
低学歴みーっけ
IITは形而上学を仮定してるから論理学を満たさないオカルトだよ
あまりにも無知すぎる
701:132人目の素数さん
23/11/13 21:59:18.15 Q++RkXqp.net
>>667
全く意味がない
形而上学を仮定してる時点でオカルト
バカすぎて形而上学の意味すらわかってないのだろうけどw
702:132人目の素数さん
23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層
703:132人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい
704:132人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね
705:132人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い
706:132人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる
707:132人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈
708:132人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄
709:132人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな
710:132人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない
711:132人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い
712:132人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない
713:132人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい
714:132人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない
715:132人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない
716:132人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況
717:132人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ
718:132人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を�
719:キいた事すらないし爆発律も知らないまま死ぬ
720:132人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな
721:132人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ
722:132人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLリンク(i.imgur.com)
URLリンク(i.imgur.com)
723:132人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという
724:132人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる!」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい
725:132人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる
726:132人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい
727:132人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう
728:132人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ
729:132人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない
730:132人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ
731:132人目の素数さん
23/11/13 23:23:57.80 Q++RkXqp.net
異なる内容に同一の記号を与えたら爆発律が成り立ち結論が無意味になるってことすらわかっていない
疑似科学はそのくらいはクリアしてるぞ
732:132人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの
733:対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ 反論部分は代表的な疑似科学だ この状態に耐えられる時点でマトモではない 普通なら状況を理解しで離脱する
734:132人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう
735:132人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか?
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か?
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな
736:132人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない
737:132人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない
738:132人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾なく言葉の意味をコロコロ変える奴とかな
739:132人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊
740:132人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。
741:132人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。
742:132人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLリンク(en.m.wikipedia.org)
743:132人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。
744:132人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。
745:132人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援
746:132人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む
747:132人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。
748:132人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん
数学の中に一般的なのと特殊なのがあるだけだよな?
749:132人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ
750:132人目の素数さん
23/11/14 11:00:57.32 KnubwXxQ.net
もっちーは、” 単なる「新しく発見された一数学的現象」として理解し、淡々と論理的に受け入れればよいはずのものですが、” と言っている。
it is important to remember that, just like SGA, IUT is formulated entirely in the framework of
“ZFCG”
(i.e., ZFC + Grothendieck’s axiom on the existence of universes),
とも言っている。
751:132人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ
数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。
一方加藤文元はIUT語が未だに未完成とのべている。
752:132人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713
753:132人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか?
怪しいな
754:132人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう
755:132人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式
756:132人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか
757:132人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719
>文元ってIUTわかってるんか?
加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。
ただし未完成のIUT語からは矛盾していないかも?
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが?
758:132人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの?w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の(非可換)確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ
あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから
759:132人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。
760:132人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。
761:132人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。
762:132人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ
763:132人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな
764:132人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。
765:132人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで
766:132人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗
767:132人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ?
768:132人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何?
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ
769:132人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく21世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから
770:132人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る
771:奴は論理を知らない低学歴だと自白してるようなもん 爆発律すら知らねーんだもん
772:132人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何?
また低学歴脳障害が知ったかぶりしてるの?
773:132人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない
774:132人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ
775:132人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない
776:132人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな?
俺が指摘したことを1文字も読めてない
脳障害だよ
777:132人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない
778:132人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ
779:132人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい
形而上学は論理的であることが不可能
そして物証がない妄想
780:132人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
まあ、でもマッピングすらできないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
781:132人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ
782:132人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる
783:132人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる
784:132人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
>意識の大きさ
何を測ってるのか知らんけど、直感できるものなのかね?でないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
785:132人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない
786:132人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら
787:132人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてるIIT連中のが
論理論理喚いてるあんたよりは有望だろう
788:132人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる
789:132人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前
790:132人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話
791:132人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト
792:132人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
793:132人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律�
794:チてことすらわからん低知能が意識とか笑えるwwwwwww
795:132人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな
796:132人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる
797:132人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ?ん?
699 132人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
798:132人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる
799:132人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ?
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ?
800:132人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学=爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ
801:132人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する
802:132人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ?
803:132人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの?
死にたくならんの?それ
804:132人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害?
805:132人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな
806:132人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある
807:132人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう
808:132人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな?
形而上学がなぜ完全否定されたかすらわかってないとかwwww
809:132人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか
810:132人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか?
811:132人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ
812:132人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ
813:132人目の素数さん
23/11/14 19:04:56.45 62ugfuer.net
反証可能性を科学の基準にするのは低学歴バレちゃうからやめような?
反証可能性は相手が適切に証明責任を果たせるようにするフェアな議論のために必要なことだから
政治学だろうが社会学だろうがフェアな議論には必須の概念
ポパーは無学だから科学特有だと思い込んだだけで全く意味がない主張だ
何が科学なのかを科学やった事ない素人に任せるとか
死んだ方がマシじゃね?
なんでそんな恥ずかしいことして息をしてられるのか
プロ野球選手がボールを握ったことすらない素人の解説者の妄想に従わなきゃいけないらしいwwww
814:132人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類
815:132人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない
816:132人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww
817:132人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害?
アドホックな仮説を指摘されてんのに逃げたから非科学確定な?
818:132人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw
819:132人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね
820:132人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が
821:132人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人!
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ!
822:132人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる
823:132人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ?ん?
699 132人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
824:132人目の素数さん
23/11/14 20:06:56.13 fIkUPXJp.net
Anabelian Arithmetic Geometry – A new Geometry of Forms and Numbers:
Inter-universal Teichm¨uller theory or “beyond Grothendieck’s vision”
B. Collas
As already reported in [Hos21b], a “Galois orbit Inter-universal Teichm¨uller” theory is expected to establish decisive progress in the birational local-to-global Grothendieck section conjecture (for an introduction, see [Sa¨ı12] and [Hos14]).
One can thus only expect Mochizuki’s Inter-universal Teichm¨uller geometry and philosophy to act as one of the long-term beacons in the present general harmonization process of arithmetic and homotopic Galois theory.
今度証明が発表されるセクション予想は、birationalバージョンだと思われていたようだ。
825:132人目の素数さん
23/11/14 20:54:39.87 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
826:132人目の素数さん
23/11/14 20:57:21.52 wdJblonV.net
>>759
ただの大規模な力学系だとIITは定義してるよ
脳障害は因果関係の意味すらわかってないから恥晒し
827:132人目の素数さん
23/11/14 21:05:39.88 wdJblonV.net
因果関係が生物と関係ない事が分かってないのって
大学で遊び呆けて物理一切やってない自白だよな
828:132人目の素数さん
23/11/14 21:08:19.44 fIkUPXJp.net
URLリンク(scholar.google.co.jp)
829:132人目の素数さん
23/11/14 21:46:42.02 TbgJpCn0.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
830:132人目の素数さん
23/11/14 21:47:23.87 DStQyjN/.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
831:132人目の素数さん
23/11/14 21:56:46.39 CzWoFyuH.net
>>794
嘘だよ
>>713 監修が望月新一!
グロタンデュークのZFCGから異世界の
832:IUTへ転落した
833:132人目の素数さん
23/11/14 22:49:07.26 TbgJpCn0.net
The new geometry of monoids furnished by IUT may be understood as the result of a seminal encounter between Grothendieck’s principle of resolving the tension between the discrete and continuous realms, on the one hand, and p-adic Hodge theory and height theory, on the other, and opens a new research frontier that goes beyond the Grothendieck geometry of rings-schemes by providing a unifying framework for Diophantine and anabelian arithmetic geometry.
834:132人目の素数さん
23/11/14 22:55:26.95 TbgJpCn0.net
IUTが提供するモノイドの新しい幾何学は、一方では離散領域と連続領域の間の緊張を解決するというグロタンディークのプリンシプルと、他方ではp進ホッジ理論とheight理論との間の画期的な出会いの結果として理解され、ディオファントス幾何学と遠アーベル数論幾何学に統一的な枠組みを提供することによって、環-スキームのグロタンディーク幾何学を超える新しい研究フロンティアを開くものである。
835:132人目の素数さん
23/11/14 23:19:03.66 +Bb//qj/.net
2021年
京大RIMS 訪問滞在型研究 「宇宙際タイヒミュラー理論の拡がり」
望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学」はHPに掲載された公式本。>>713
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
は公式見解。
URLリンク(www.kurims.kyoto-u.ac.jp)
836:132人目の素数さん
23/11/14 23:27:07.67 TbgJpCn0.net
>>798
>>716
837:132人目の素数さん
23/11/14 23:33:20.53 +Bb//qj/.net
望月新一の、
>>716 と >>713 「全く新しいフレームワークと言語・概念体系を基盤として構築」は矛盾している。
IUTはその場しのぎの類だから、
838:132人目の素数さん
23/11/14 23:40:24.69 TbgJpCn0.net
>>800
事実はどうなんだ?
IUTはZFCGから逸脱しているのか?
839:132人目の素数さん
23/11/14 23:52:40.62 +Bb//qj/.net
望月監修川上量生あとがき加藤文元の
IUT本はscholze.stixレポートへの回答だね。
何処の方向へお逃げになったのだろうか?
840:132人目の素数さん
23/11/15 00:24:00.49 O1VxE2ny.net
>>789
なにそれ
841:132人目の素数さん
23/11/15 01:03:44.96 0wu1F69C.net
>>803
IIT
842:132人目の素数さん
23/11/15 01:06:41.45 0wu1F69C.net
>>803
IIT4.0とかいうプレプリント出してるけどもう1年経つのにどこも査読通ってないの笑えるやろ
仮定に形而上学入れてる時点でエディターリジェクトされてる事すら理解出来てない
マトモな教育受けてないエディターしかいないレベルの低いジャーナル探してんだろな
そしてマトモない教育受けてないレビュアーに当たるまでジャーナルガチャ回してる
これ科学って呼ぶの?
843:132人目の素数さん
23/11/15 01:09:34.32 0wu1F69C.net
掲載拒否されて指摘された点を直さない
あり得ないだろ
844:132人目の素数さん
23/11/15 01:13:12.89 0wu1F69C.net
リジェクト履歴と理由を公開すべきだよな
低レベルなジャーナルを探して科学に見せかけるという行為が横行してる
ほならね??CNSに投稿してみなさいよ
公理とか吠えてデカルトを根拠にした噴飯物のポエムをよ
845:132人目の素数さん
23/11/15 01:14:11.87 0wu1F69C.net
科学論文の体裁で仮定に形而上学入れたものを載せた時点でそのジャーナルは終わりだよ
査読プロセスが機能してない
低レベルなエディターと低レベルなレビュアーだらけのザル
846:132人目の素数さん
23/11/15 01:16:45.52 0wu1F69C.net
ガチでIIT3.0には「デカルトが「我思う故に我あり」と言ったから意識は1つに統合されていなければならない」という「公理」が書かれてる
マトモなエディターやレビュアーなら即
847:リジェクト レビュアーがちゃんと読んでない低質ジャーナルを探して投稿しまくったんだろうな
848:132人目の素数さん
23/11/15 01:17:20.91 0wu1F69C.net
疑似科学だなんて疑似科学に失礼だよ
疑似科学は論理学は守ってるからな
849:132人目の素数さん
23/11/15 01:41:09.39 FoPSXnZg.net
IUTに文句言ってる奴は、
圏論屋、基礎論屋、crank
言い換えると、
乞食と統失
850:132人目の素数さん
23/11/15 06:48:49.81 +CJ+qARo.net
>>809
該当箇所提示して
851:132人目の素数さん
23/11/15 07:43:19.04 0wu1F69C.net
>>812
もうこの時点で形而上学だから論理学を満たさない
Axioms.
The central axioms, which are taken to be immediately evident, are as follows:
EXISTENCE: Consciousness exists – it is an undeniable aspect of reality. Paraphrasing Descartes, “I experience therefore I am”.
URLリンク(journals.plos.org)
852:132人目の素数さん
23/11/15 07:44:47.48 0wu1F69C.net
>>812
これも100%形而上学
INTEGRATION: Consciousness is integrated: each experience is (strongly) irreducible to non-interdependent components. Thus, experiencing the word “SONO” written in the middle of a blank page is irreducible to an experience of the word “SO” at the right border of a half-page, plus an experience of the word “NO” on the left border of another half page – the experience is whole. Similarly, seeing a red triangle is irreducible to seeing a triangle but no red color, plus a red patch but no triangle.
こんなもん書いてあったらマトモなジャーナルではエディターリジェクト
853:132人目の素数さん
23/11/15 07:47:05.04 0wu1F69C.net
で>>814のように「我々の認識はこうなってる」などという公理をスタートにしたら
決定論的相互作用(因果関係)のある全ての物質塊に対して計算されるΦなる数値が定義される
それが死んでようが物質塊だろうが区別しないので論文の初めと終わりで「意識」の指す内容が変化してる
854:132人目の素数さん
23/11/15 07:48:40.07 0wu1F69C.net
ただの物質塊でも当てはまることを批判されたら「その場合は該当しない」「神経系のサイズに限る」などと後からアドホックな仮説を垂れ流すだけ
この「理論」は意識の要素とやらが全く含まれてない
855:132人目の素数さん
23/11/15 07:49:54.85 0wu1F69C.net
なお「この範囲がΦという数値を計算できる対象である」という完全版はこの世界に未だに存在したことがない
完全な「アドホックな仮説」
証明責任の放棄だってわかってない
856:132人目の素数さん
23/11/15 07:55:19.46 0wu1F69C.net
Φを維持したまま神経回路をランダムに入れ替えれば
一般的には意識など無いとされる状態に出来るが
Φはそれを測れない
この可能性を排除するような条件はアドホックな仮説でも出すことは不可能だから逃げ続けるしかない
ほんの少しでも意識の理論なんて考えようとしたらこのくらい考えてから構築するもんだが
最も思慮が浅いので最も愚かな珍説を最も先に出しただけというね
857:132人目の素数さん
23/11/15 07:59:40.09 0wu1F69C.net
信号が情報としてやり取りされてて因果関係の「大きさ」さえ測れれば意識の大きさが測れるという妄想なので
脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る
このグループは因果関係というものの意味を全く理解していないらしい
858:132人目の素数さん
23/11/15 08:01:50.94 0wu1F69C.net
つまり理論の対象が脳神経細胞に限るという後だしジャンケン(アドホックな仮説)を追加しても
「脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る」
という批判には一切対応できてないし
対応できる可能性も無い
859:132人目の素数さん
23/11/15 08:04:07.21 0wu1F69C.net
つまりパソコンの消費電力でパソコンの性能を測ろう程度の極めて幼稚な空想に過ぎない
CPUが壊れてて消費電力は大きいのに全く計算できないみたいな状況すらカバーしてない
理論になってない役立たずの妄想
860:132人目の素数さん
23/11/15 08:05:07.67 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
861:132人目の素数さん
23/11/15 08:15:57.51 0wu1F69C.net
人によって解釈が異なる単語を論理学の対象に出来ると思ってる時点で100年前の論理学のレベルにすら達してない
教育制度の失敗であるし
論文査読制度の失敗でもある
基本を身につけてない奴が基本を身につけてないレビュアーを
多数回様々なジャーナルに投稿し続けて引き当てれば「サドクズミ論文」になれる
中身を読まない素人はそれで騙されるという寸法
862:132人目の素数さん
23/11/15 08:17:29.95 0wu1F69C.net
なおIIT4.0なるプレプリントがあるが未だにジャーナルガチャを引き終えていないらしい
863:132人目の素数さん
23/11/15 08:19:46.26 0wu1F69C.net
マトモな科学って人によって解釈が異なる単語に対して
誰がみても変わらない定義をとりあえず与えてから論理を始めるんだけど
普段から論文を読めてないんだろうな
斜め読みというか
読んだつもりになってるだけ
864:132人目の素数さん
23/11/15 08:21:32.84 0wu1F69C.net
なぜ論理の対象に出来るのは集合に限られるのか考えた事すらないんだろうなあ
865:132人目の素数さん
23/11/15 08:24:12.16 0wu1F69C.net
・爆発律を防ぐには言及するたびに内容が変化する言葉は禁止しなければならない
・集合論的パラドックスを防ぐには自己そのものを自己言及と区別できるよう型理論や集合族の概念などの仕組みを用いなければならない
たったこれだけのことすら学んでない奴らが意識ねえ…
大学で何学んだの?
866:132人目の素数さん
23/11/15 12:53:56.83 0wu1F69C.net
消費電力でPCの性能測れるぜ!
↓
ほな電気ストーブの方が「高性能」ですなぁw
↓
じゃあ電気ストーブは禁止してCPUやメモリを積んだコンピューターに制限するぜ!
↓
ほなCPU壊れてても「高性能」ですなぁw
↓
逃亡
因果関係の大きさで意識の強さ測れるぜ!
↓
ほな塩化ナトリウム結晶の方が「高性能」ですなぁw
↓
じゃあただの物質は禁止して脳神経細胞に制限するぜ!
↓
ほな神経回路の接続壊れてても「高性能」ですなぁw
↓
逃亡
どれだけ頭悪いんだこいつら
誰もこれを指摘しないというのがヤバすぎる
867:132人目の素数さん
23/11/15 12:54:32.52 0wu1F69C.net
十分条件という概念を知らないレベルだこれ
868:132人目の素数さん
23/11/15 13:19:39.46 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
869:132人目の素数さん
23/11/15 17:49:33.66 0wu1F69C.net
例えばディープニューラルネットワークを持ってきたとして
そのAIの性能指標に「ノード間の因果関係の強さの総計」を採用したとしよう
この数値にどんな意味があるか?
そのAIがどれだけ学習不足でどれだけ正解率が低くても内部ノードの因果関係が強い状態など無数にあり得るということだ
無意味な情報を無意味なループで内部で回すだけで因果関係など幾らでも強くすることが出来る
せめて因果関係を意味ある指標にしたいならそのAIにやってほしいタスクの正解を結果として
そのAIへの入力を原因としたときだろ
でもそれで取れる情報は正解率と同じだからやる価値は無いんだけどねw
因果関係なんてもんに着目した時点であり得ないくらいに頭が悪い
870:132人目の素数さん
23/11/15 18:18:12.08 0wu1F69C.net
結局のところ人間の意識の強さ・大きさとやらを測りたければ
「人間ならば出来るはずのこと」を結果として正解率を見ればいいので
それはチューリングテストそのものなんだよなあw
基礎論を知り尽くしたチューリングが「これで必要十分」と考え抜いたものを
なんで大学時代に遊び呆けて100年前の論理学すら学んでない怠け者の馬鹿どもが楯突いてるのか
全く意味がわからない
学んでないから思慮が浅いだけってわからんところがすごい
871:132人目の素数さん
23/11/15 20:22:51.15 N
872:7aYaa9r.net
873:132人目の素数さん
23/11/15 20:35:28.11 0wu1F69C.net
>>833
知能が低過ぎてチューリングテストの意味を理解できてないんだろうなお前は
テストするべきは「全ての問題」だ
この世に存在するありとあらゆる理論上想定し得る全ての問いが人間の意識を測る指標となる
そして有限の問題数では確率的にそれがわかるということ
バカどもは量化子という概念を知らないのでテキトーに並べた言葉が「全ての」なのか「ある」なのか読めてない
まあ発達障害も混じってるんだろうな
当然ながらチューリングテストが意味するのは「全ての」であり、リソースが有限なので「確率的にわかる」しか論理的にあり得ない
874:132人目の素数さん
23/11/15 20:36:33.19 0wu1F69C.net
GoogleでAIに意識あるとか吠えてクビになったアホはここがわかってない
量化子を読み取れない発達障害は雇用したら終わり
875:132人目の素数さん
23/11/15 20:37:01.01 0wu1F69C.net
アホの思いついた設問じゃテストになんねーのは量化子わからんと自白してるようなもん
876:132人目の素数さん
23/11/15 20:40:36.03 0wu1F69C.net
発達障害が量化子とか十分条件を理解できないのってなんでなんだろうな?
877:132人目の素数さん
23/11/15 20:55:45.42 0wu1F69C.net
頭が悪い人たちにノルマを課して成果主義を導入すると
過去に確立した歴史すら学ばず全く無意味な「新発見」をするので
頭が悪い人たちは寝ててくれないかな?
社会資源を浪費しないでくれ
878:132人目の素数さん
23/11/15 20:59:25.84 0wu1F69C.net
定義域が「全ての論理的可能性」であってその中からサンプリング調査するしかないのでサンプル数と分布が問題となる
それなのにバカな奴がテストを考えるとこうなる
URLリンク(x.com)
言語モデルのテスト作った奴が居るけどテストがマヌケすぎてテストになってないという晒し
頼むからバカは何もしないでくれた
この世界に害しか及ばさない
出来たら呼吸も止めてくれ
879:132人目の素数さん
23/11/15 21:00:39.48 0wu1F69C.net
量化子・必要十分条件みたいなものがわからんアホが卒業出来る大学ってなんなんw
その一点がダメなら卒業させんなよ
880:132人目の素数さん
23/11/15 21:17:57.06 N7aYaa9r.net
>>834
チューリングテストの類似問題の中国人の部屋のほうが適切だと思うんやな。
「全ての問題」にまでするんなら
881:132人目の素数さん
23/11/15 21:19:47.32 N7aYaa9r.net
>>840
イプシロンデルタ論法の二階論理よりも単射全射準同型射準同型定理のほうが数学科なんやな(笑)。
882:132人目の素数さん
23/11/15 21:33:01.84 0wu1F69C.net
>>841
「中国人の部屋」はサールが無知なので笑えるよな
「全ての問題」に対して「処理時間」を測ればアルゴリズムやアーキテクチャの違いが問題に対する処理時間で判別できる
サールの知識ではこのレベルの発想は出来ないが計算量理論では常識
ああいう無知の妄想を何か意味のあることだと思えてしまうのは発達障害特有
883:132人目の素数さん
23/11/15 21:34:25.06 Uu0Y2Bm/.net
馬の鼻先に人参をぶら下げる
川上さん
IUTに人参つけた
みなさん、頑張ってくださいと
IUT否定肯定、どちらに転んでも
100万ドル(1.5億円)
さてさて、どうなることか
URLリンク(www.weblio.jp)
Weblio 辞書 > 辞書・百科事典 > 日本語表現辞典 > 馬の鼻先に人参をぶら下げるの意味・解説
馬の鼻先に人参をぶら下げる
馬の鼻面に人参をぶら下げ�
884:ト、馬の食欲をそそる、すると人参好きの馬は人参に食いつこうとして前進する、人参は馬に括りつけられているため馬と共に移動する、馬はなんとか食いつこうとして全力で走る、といったステレオタイプなイメージを表した言い方。 人参が馬の大好物である、人参を前にすると馬は盲目的に走り続ける、といった事柄は、ステレオタイプで多分に漫画的なイメージであり、必ずしも事実と一致しない。 「馬の鼻先に人参をぶら下げる」の表現は、やる気を示さない者に対して褒美をちらつかせることで奮起させる、といったことの喩えとして用いられることも多い。 (2013年2月13日更新)
885:132人目の素数さん
23/11/15 21:35:16.32 0wu1F69C.net
>>842
生物系で中学校レベルの証明問題すら出来なさそうなヤバい奴に学位を与えてるのは問題だよ
886:132人目の素数さん
23/11/15 21:38:15.66 0wu1F69C.net
別に100年前の論理学を知らなくても計算量理論を知らなくても罪ではないかもしれないが
知りもしないのに思いつきの妄想を垂れ流すのは大罪だろ
887:132人目の素数さん
23/11/15 21:56:38.86 EdFoLxb6.net
URLリンク(o.5ch.net)
888:132人目の素数さん
23/11/15 21:58:10.59 EdFoLxb6.net
チューリングゎ、最期にベッドの上で真っ赤な林檎を持って服毒自殺してたってほんと?めぅ🍎
889:132人目の素数さん
23/11/15 22:00:15.61 EdFoLxb6.net
🌈虹色チューリングゎソ連のスパイを疑われて迫害されて追い詰められてしんじゃったってほんと?
890:132人目の素数さん
23/11/15 22:01:45.62 EdFoLxb6.net
チューリング、ビューティフル・マインド🌈なジョン・ナッシュに似てる…似てなぃ?
891:132人目の素数さん
23/11/15 22:05:26.41 EdFoLxb6.net
モチピ、ちゅぅりんぐ大先生の本、買ってます!
‥にゃぴ、ちゅニキゎ、顔が四角くてサイディスに似てると思った。(小並)
892:132人目の素数さん
23/11/15 22:09:51.45 EdFoLxb6.net
ちゅニキ、ちゃんと美女に転生して幸せになってмa✞Hかね…
URLリンク(o.5ch.net)
893:132人目の素数さん
23/11/16 00:03:06.52 l7+A+mYl.net
今 ”work in progress” の " local-global Section Conjecture " の証明は、birational版ですか?
894:132人目の素数さん
23/11/16 07:02:50.99 HrkhmxWV.net
IUTは似非数学ですか?トンデモですか?
IUTとその周辺は砂上の楼閣です
895:132人目の素数さん
23/11/16 17:09:28.21 HrkhmxWV.net
>>640
PRIMS編集が論文を受理しないなら編集委員会は理由を明確に
説明すべきです。
望月IUT論文の場合。
まずRIMSは望月新一著IUT論文を現況調査票でも特別扱いをしていた。
京大RIMSの数学誌PRIMSの編集は委員が身内のRIMS教授で望月新一教授が
編集長です。
望月IUTは集合からダブルスタンダードで矛盾していますが、
望月ブログで「内部告発」がありしばらく後にPRIMSはIUT論文を受理しました。
896:132人目の素数さん
23/11/16 20:56:20.63 QT6bH7FC.net
引退後も在野で研究 「楽しいから」90歳過ぎても意欲:日本経済新聞
URLリンク(www.nikkei.com)
" 数学のノーベル賞と呼ばれるフィールズ賞を受賞した広中平祐・京大名誉教授は80歳近くになって研究を復活させた。受賞業績となった多様体の特異点の解消がテーマだ。この問題について自らの論文を超す成果が出ていないことに奮い立ち、紙と鉛筆を持ち歩いてアイデアを練った。「こんなに楽しい学問はないと思う」と語る。"
897:132人目の素数さん
23/11/18 03:12:02.10 Zntj/SOJ.net
Anabelian Arithmetic Geometry – A new Geometry of Forms and Numbers:
Inter-universal Teichm¨uller theory or “beyond Grothendieck’s vision”
B. Collas
As already reported in [Hos21b], a “Galois orbit Inter-universal Teichm¨uller” theory is expected to establish decisive progress in the birational local-to-global Grothendieck section conjecture (for an introduction, see [Sa¨ı12] and [Hos14]).
最近アップデートされた
As was already reported in [Hos21b], a “Galois-orbit version of Inter-universal Teichmüller theory” is expected to yield decisive progress on the local-to-global Grothendieck Section Conjecture – for an introduction, see [Saï12] and [Hos14].
birational版ではないようだ。
898:132人目の素数さん
23/11/18 03:14:35.68 Zntj/SOJ.net
URLリンク(collas.perso.math.cnrs.fr)
Anabelian Arithmetic Geometry - A new geometry of forms and numbers: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Revised version Nov. 2023 [PDF]
899:132人目の素数さん
23/11/18 09:18:04.18 RF3RO5Si.net
無駄な宣伝などせず、責任をとって辞任するべきだ
900:132人目の素数さん
23/11/18 09:35:10.98 5PkmiVHn.net
着々と進んでいっとるなぁ
901:132人目の素数さん
23/11/18 10:32:05.15 Cfxsgflr.net
>>858
IUT文学が発展してるなあという印象しかない
902:132人目の素数さん
23/11/18 11:15:03.76 VJ+mGZUx.net
文学に発展はあるか
903:132人目の素数さん
23/11/18 18:37:25.48 VJ+mGZUx.net
文学より音楽に近いかも
904:132人目の素数さん
23/11/19 07:40:05.00 SzNkD+XO.net
文学でも音楽でもなく
犯罪でしょう
905:132人目の素数さん
23/11/19 08:40:32.32 1bf6PfHC.net
東野圭吾であれば
現在の最新刊は、
・単行本:『ブラック・ショーマンと覚醒する女たち』(2024/1/24発売)
・文庫本:『ブラック・ショーマンと名もなき町の殺人』(2023/11/14発売)
になります。
906:132人目の素数さん
23/11/20 10:46:30.00 laorme5z.net
>>858
スレ主です
ありがとうございます。
それいい
”P16 § Universe, Species & Logical Structure.”
が、特に良かった
URLリンク(collas.perso.math.cnrs.fr)
ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF
FORMS AND NUMBERS: Inter-universal Teichmüller theory or
“beyond Grothendieck’s vision”
Benjamin Collas‡ Version 11/15/2023
P16
§ Universe, Species & Logical Structure.
907:132人目の素数さん
23/11/20 10:55:33.00 k1Fh6Dvb.net
LiteratureのLogical Structureとは
908:132人目の素数さん
23/11/20 13:05:10.49 laorme5z.net
>>867
>LiteratureのLogical Structureとは
下記かな
URLリンク(collas.perso.math.cnrs.fr)
P16
§ Universe, Species & Logical Structure.
The foundational basis of IUT geometry can be approached at two distinct levels: an “external”one that deals with the proper and logical articulation of sequences of statements,
and an “internal”one that ensures the correct interaction of objects, morphisms, categories, and functors that appear
in the theory.
As presented in detail and in multiple contexts in [EssLgc], the former “external one” boils down to a sequence of logical “OR” and “AND” relations
– we refer to § 3. The logical structure of inter-universal Teichmüller theory ibid.
<google訳>
IUT ジオメトリの基礎は 2 つの異なるレベルでアプローチできます。1 つはステートメントのシーケンスの適切かつ論理的な表現を扱う「外部」レベルです。
もう 1 つは、表示されるオブジェクト、射、カテゴリ、関手の正しい相互作用を保証する�
909:u内部」ものです。 理論では。 [EssLgc] で複数のコンテキストで詳細に説明されているように、前者の「外部のもの」は、要約すると、一連の論理「OR」および「AND」関係になります。 – § 3 を参照します。同上、宇宙間タイヒミュラー理論の論理構造。
910:132人目の素数さん
23/11/20 13:09:06.76 k1Fh6Dvb.net
>>868
外部の論理と内部の論理の二重構造とか何でもありじゃないか
911:132人目の素数さん
23/11/20 16:41:36.86 hGeNN55n.net
ふふ、ガタリ流ポストモダン、反則技、オカルト
912:132人目の素数さん
23/11/20 22:38:23.87 yBR5V05G.net
" Granville and Stark (Invent. Math. 139 (2000), 509-523) proved that a uniform version of the abc conjecture for number fields eliminates Siegel zeros for L-functions associated with quadratic characters of negative discriminant. "
この ”uniform version of the abc conjecture” とはどういうものでしょうか?
913:132人目の素数さん
23/11/21 05:59:04.58 kwf8MZcO.net
高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、おすすめの可換環論の教科書はどれですか?
914:132人目の素数さん
23/11/21 07:42:36.27 3xodxCCR.net
>>868
教祖様のお言葉の引用が過剰でカルト臭いですね
改訂で出版verにはなかった仮想敵対勢力への攻撃(例「RCS」)が
加わっているのはどうしてでしょうか?
915:132人目の素数さん
23/11/21 09:43:25.15 v2IpFmUg.net
>>872
アティマクで十分
916:132人目の素数さん
23/11/21 11:07:27.33 Gy0Enbv8.net
>>871
>この ”uniform version of the abc conjecture” とはどういうものでしょうか?
Granville, Andrew; Stark, H. (2000)のPDFが下記にあるので
それを見るのが早そうです
URLリンク(ja.wikipedia.org)
ABC予想
得られる結果の例
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点(英語版)を持たないこと
正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。
URLリンク(dms.umontreal.ca)
Granville, Andrew; Stark, H. (2000). “ABC implies no "Siegel zeros" for L-functions of characters with negative exponent” (英語) (pdf). Inventiones Mathematicae 139: 509–523 2021年3月5日閲覧。
P1
The uniform abc- conjecture for number fields. For any given ε>0 ,
略
ついでに
URLリンク(www.ams.org)
Granville, Andrew; Tucker, Thomas J. (2002). “It’s As Easy As abc” (英語) (pdf). Notices of the AMS 49 (10): 1224–1231 2021年3月5日閲覧。. - 著者の1人であるThomas J. Tuckerは、Thomas W. Tuckerの息子である。
ついでに
URLリンク(en.wikipedia.org)
Siegel zero
"No Siegel zeros" for D < 0
Lower bounds for h(D)
This can be extended to an equivalence, as it is a consequence of Theorem 3 in Granville–Stark (2000):[16]
Using this, Granville and Stark showed that a certain uniform formulation of the abc conjecture for number fields implies "no Siegel zeros" for negative discriminants.
Comple
917:x multiplication The number j(τD) generates the Hilbert class field of Q (√D), which is its maximal unramified abelian extension.[18] This equivalence is a direct consequence of the results in Granville–Stark (2000),[16] and can be seen in C. Táfula (2019).[19]
918:132人目の素数さん
23/11/21 20:46:06.12 u+ni2dPr.net
Táfula氏と辻村氏はフィールズ賞かな。
919:132人目の素数さん
23/11/21 21:35:45.00 yMejUL+P.net
>467/2023.6.14.07
モチーが京都賞ってマジか?

>468 /2023.6.14.08
モッチーおめ
実際はデマ。
望月IUTTは京都賞にかすりもしなかった。
920:132人目の素数さん
23/11/21 21:36:41.41 yMejUL+P.net
>467/2023.6.14.07
モチーが京都賞ってマジか?

>468 /2023.6.14.08
モッチーおめ
実際はデマ。
望月IUTTは京都賞にかすりもしなかった。
921:132人目の素数さん
23/11/21 21:41:58.08 9eYgPv8Z.net
もっちーの業績は、
abc予想の証明
エラい強いeffective abc不等式の導出
セクション予想の証明
ジーゲル零点の非存在の証明
これだけでも学士院 恩賜賞30個分くらいの価値がある。
922:132人目の素数さん
23/11/22 01:11:22.13 Q1Eb38BF.net
ZFCG体系を丸ごと学ぶには何読めばいい?
923:132人目の素数さん
23/11/22 03:44:07.47 CmHC6jFq.net
>>879
八百長の京大数理研は解散が妥当だ。
IUTによるabc予想の証明は八百長。
京大数理研ではabc予想の証明が目的のIUT論文の査読中に、望月新一に よる「宇宙際
タイヒミューラー理論」の構築とその結果としてのABC予想の解決は、特筆すべき
出来事である。」と現況調査表に明記した。
京大数理研はabc予想が証明される前からabc予想が解決したと自画自賛しており
これはabc予想が証明されることは予定調和の八百長をしめしている。

更に京大数理研は「所員の発表論文数は査読付き論文のみ」 と査読付き論文のみ評価し
IUT論文とダブルスタンダードである。
924:132人目の素数さん
23/11/22 03:55:55.00 CmHC6jFq.net
>学士院 恩賜賞
IUTは数学よりポストモダンでなんでもありと指摘されている。
ここはオカルト応援スレだが、
学士院 恩賜賞はポストモダンでなんでもありのIUTは受賞対象にならないなあ〜
925:132人目の素数さん
23/11/22 06:24:15.68 ikAu9LZk.net
>>872
>高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、
その前に線形代数を勉強して、抽象的な代数系にまず慣れてくださいね
高校まで「数学が得意」と言っていた連中が、
大学1年の線形代数で落ちこぼれるのは
定番コースですから
926:132人目の素数さん
23/11/22 06:26:26.46 ikAu9LZk.net
Atiyah-Macdonaldが読めないとしたら、
そもそも数学書の読み方が間違ってる、ということ
927:132人目の素数さん
23/11/22 06:58:44.92 bEYKiwgK.net
柏原や森がIUT成立を本当に認めているのなら
とっくに学士院賞くらい出てるでしょう
そうでないということは、、、
928:132人目の素数さん
23/11/22 15:55:15.93 +zITdyK/.net
>>881
まだお前は粘着してんのか?
文科省現況調査票厨房
このスレはお前の自作自演で成り立ってるのか?
929:132人目の素数さん
23/11/22 17:12:01.47 dSK2TZuP.net
やおちょー連呼マンかわいちょー
930:132人目の素数さん
23/11/22 17:12:21.66 dSK2TZuP.net
かわいちょ↓
931:132人目の素数さん
23/11/22 17:36:10.05 CmHC6jFq.net
>>886
公文書が致命傷w
チーン ♪〜
932:132人目の素数さん
23/11/22 20:38:27.07 c4fxVfXN.net
高校数学レベルの人に松村 可換環論は無理ですか。
933:132人目の素数さん
23/11/22 22:05:07.40 Mxd9kqW2.net
>>887-889
もう可換図式をチェイシングアローな矢追の数理は高専レベルの数理テクニックとして教えてもいいと思う。
934:132人目の素数さん
23/11/22 22:29:40.53 lcgK
935:61D0.net
936:132人目の素数さん
23/11/23 02:13:25.04 i5bAjERQ.net
八百長の京大数理研は解散が妥当だ。
937:132人目の素数さん
23/11/23 03:14:38.16 WS04GTnC.net
>>886
> 文科省現況調査票
罵倒厨房さん、
何コレ?具体的に示せよ
938:132人目の素数さん
23/11/23 05:34:22.93 w29jwnfs.net
やおちょー連呼マンは なんでいちいちIDコロコロすんの?
939:132人目の素数さん
23/11/23 06:32:48.78 6UeiqMVL.net
パラダイム現況調査票バカはいつも同じワードとテイストだからわかりやすいアホ
940:132人目の素数さん
23/11/24 06:43:37.12 2PiP2FUG.net
STAPスキャンダルからIUTスキャンダルへ
このスレは罵倒 もみ消しのIUTcultのサティアン
941:132人目の素数さん
23/11/27 03:19:40.28 E0/OAM2m.net
数学用語でglue とか glueing はどういう意味ですか。
942:132人目の素数さん
23/11/28 04:15:15.82 JKz+jEz3.net
>>897
There is no such thing called IUT Scandal.
943:132人目の素数さん
23/11/28 08:31:20.99 iOIgSpZk.net
>>899
by IUT SECT ( cult)
944:132人目の素数さん
23/11/30 00:28:44.58 t3bpmvFx.net
確かにな、確かに当スレのSetAみたいな理解意欲完全メクラな信者や
ネット世間で知名度が有るmath_jinとかKirti_Joshiとかの奉神論ぶちかます盲信者
でも此のスレには、もう一つが居た
査読絶対正義主義者が
アイツ、何なんだ?
人を罷め雄馬と雌鹿の仔も罷め便所虫も罷め
金汁大好きボツリヌストキシン大量発散照射飲尿便食菌と成った
当スレ現スレ過去スレ全設立初スレ創立の数学板穢れ
現示に対して、少女Aに成れずに、老人Aにも成れずに
945:132人目の素数さん
23/11/30 00:56:56.42 JXKkFIJZ.net
悪口が長いよ〜
946:132人目の素数さん
23/11/30 19:07:59.47 t3bpmvFx.net
確かにmath_jinとかKirti Joshiとか此のスレのSetAとかみたく
論拠ではなく私利私欲好適主張や個人的好感主張を論拠不足であっても
自己欺瞞的信用に基き盲信迎合する、論理学・数学・理学に背いた観念の連中の率がIUT肯定派の中には多いな。
他にも査読絶対正義主義、此のスレでも居たよな。何度もキャラ変してるダブルスタンダード二枚舌野郎。
特に此のスレのこいつは、出現当初は知った風な口を聞いてやがったのに、後に成って部外者ぶり始め、
今年なんかは内部関係者と知人とか言って
スレ閲覧者の中の疑う事を知らん層に尤もらしく思わせるレスしてたよな。
査読が絶対に正しいとか言うなら全資産を担保に肯定を主張出来ると云う主張の含意に成るのも知らん、随分と半端な絶対認定してやがったよな。
こいつも論拠じゃなくて査読を盲信する自己流下馬評論説者でやがった。
部外者で碌な肯定者が居ねぇでやんの。どいつもこいつも東日本大震災以前の原発絶対安全論者どもと変わりゃしねぇ奴等ばっか。
947:132人目の素数さん
23/11/30 19:28:31.10 t3bpmvFx.net
暫く見てなかったが相変わらずSetAは
人を罷め父馬母鹿の雄も罷め便所虫も罷め
飲尿や便食や糞尿と更に金汁(朝鮮流1年発行汁)飲み漁り
ボツリヌストキシンのスーパースプレッダーでやがるな
948:132人目の素数さん
23/11/30 20:12:24.57 9fVpQYA2.net
査読って利害関係のない第三者がやるから意味あるんだろ?
身内の査読ってなんか意味あんの?
949:132人目の素数さん
23/11/30 20:42:06.39 wC8zFJrw.net
>>904
これは、蕎麦屋さんか
お久しです
ご苦労さまです
IUTの欠陥をあばき潰した人には、100万ドル=約1.5億円だって
チャレンジしたらどうですか?
SS文書のショルツェ氏?
彼の文書の問題は、"This will involve certain radical simplifications"としていること(下記)
つまり、IUTの定義を書き替えたら「ほら、こんな矛盾が出る」というのです
ところが、IUTの定義を書き替えて矛盾が出ると言っても、それは定義書き換え無しでの矛盾を示してはいないのです
これ、小学生でもわかること
ショルツェ氏は、「殿、ご乱心!」レベルのトンチンカンなSS文書を発行してしまったのですww
それを見た川上氏が
「ショルツェ氏のSS文書なんて、これは ど素人でもダメダメなのが分かるぞ
もっとちゃんと、議論した人に”100万ドル=約1.5億円”だ!」と宣言したのです ;p)
蕎麦屋さん、チャレンジしなよ!!
(参考:SS文書)
URLリンク(www.math.uni-bonn.de)
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date:July16,2018.
P4 2.1
This will involve certain radical simplifications, and it might be argued that suchsimplifications strip awayall the interesting mathematics that forms the core of Mochizuki’s proof.
950:132人目の素数さん
23/11/30 21:05:59.61 sassPXH4.net
1 set Aはキチガ⚫︎
↓
0426 132人目の素数さん
2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
951:132人目の素数さん
23/11/30 21:09:55.80 sassPXH4.net
1= id:wC8zFJrw
952:132人目の素数さん
23/11/30 22:57:16.08 t3bpmvFx.net
>>906
本っ当、人を世の中を茶化しきった口の聞き方するテメェは。よく殺さないでくれてるよな、お前の周囲は。
> これ、小学生でもわかること
> ショルツェ氏は、「殿、ご乱心!」レベルのトンチンカンなSS文書を発行してしまったのですww
絶対に小学生でも分かるんだな?全臓器換金代込み全資産を担保に入れて主張できる?
> それを見た川上氏が
> 「ショルツェ氏のSS文書なんて、これは ど素人でもダメダメなのが分かるぞ
> もっとちゃんと、議論した人に”100万ドル=約1.5億円”だ!」と宣言したのです
同上。絶対に正しい事ならば全臓器換金代込み全資産を担保に主張する事が出来る上、
絶対に正しい事なので臓器売買誓約さえ罪に成らない。
コンセンサスが取れてない認識公知されてない事をよくもまぁイケシャアシャアと
小学生でも分かるだの勝手な解釈で川上氏の代弁した積もりに成ってるわ
ソシオパスでサイコパスなだけじゃなく本質的根源的に非論理的非合理的背反断言やらかす、全き非科学的思考者だな
953:132人目の素数さん
23/11/30 23:27:19.19 wC8zFJrw.net
Florian Popという男がいる
”MFO-RIMS Tandem workshop 2023 - Arithmetic Homotopy and Galois Theory”で
「Site Oberwolfach, Germany」で参加した
954:とか Benjamin CollasのIUTレビュー中に”in the US with the work of Pop on anabelian birational geometry”とある 「ニュージャージー州のプリンストン高等研究所(1996年 - 2003年)に所属」とあるから、大物みたいだね https://ahgt.math.cnrs.fr/activities/workshops/MFO-RIMS23/ MFO-RIMS Tandem workshop 2023 - Arithmetic Homotopy and Galois Theory Sep. 24 to 29 (GE)/ Sep. 25 to 29 (JP), 2023 Oberwolfach & RIMS Kyoto Org.: B. Collas (RIMS), P. Dèbes (Lille), Y. Hoshi (RIMS), A. Mézard (ENS) Site Oberwolfach, Germany Florian Pop Pennsylvania University https://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf ANABELIAN ARITHMETIC GEOMETRY-A NEW GEOMETRY OF FORMS AND NUMBERS:Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version11/15/2023 P3 What began as multiple isolated research directions in the international community4– for example, in France with the work of Lochak and Schneps on Grothendieck-Teichmüllertheory, in Germany then in the US with the work of Pop on anabelian birational geometry and the work of Fried on Regular Inverse Galois theory https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%AD%E3%83%AA%E3%82%A2%E3%83%B3%E3%83%BB%E3%83%9D%E3%83%83%E3%83%97 フロリアン・ポップ(Florian Pop、1952年 - ) ポップは1987年に博士号を取得[1]、1991年にはハイデルベルク大学からハビリテーションを受けた。ポップは以前、ニュージャージー州のプリンストン高等研究所(1996年 - 2003年)に所属し、ペンシルベニア大学の教員になる前はボン大学の教授を務めていた[2]。 ポップの研究は代数幾何学、数論幾何学、遠アーベル幾何学、およびガロア理論を対象とする。クールマンは、論文(クールマン&マーシャル(2003))で、特定のフィールドの絶対ガロア群による特性化に関する彼のハビリテーション論文を「マイルストーン」と呼んでいる[3] 1996年、ポップはゲイ・リュサック・フンボルト賞(英語版)を受賞し、2003年にはルーマニア功労勲章を受賞した。2012年にアメリカ数学会のフェローになった[2][4]。
955:132人目の素数さん
23/11/30 23:37:59.14 ttqmWEjA.net
Pop氏はJ. Stixの師匠だろ。
もう高齢だから難しいIUT理論の理解は難しいだろう。
956:132人目の素数さん
23/11/30 23:47:01.25 sassPXH4.net
ID.wC8zFJrw =1 set Aはキチガ⚪︎
↓
0426 132人目の素数さん 2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ 


957:132人目の素数さん
23/11/30 23:55:27.61 sassPXH4.net
IUT≠ 遠アーベル幾何学.数学
IUT.トンデモ≠数学

958:132人目の素数さん
23/12/01 09:50:23.70 2FwFdvyr.net
>>911
>Pop氏はJ. Stixの師匠だろ。
これか
みんな詳しいね
URLリンク(www.genealogy.math.ndsu.nodak.edu)
Florian Pop Mathematics Genealogy Project
Stix, Jakob Rheinische Friedrich-Wilhelms-Universität Bonn 2002 5
>もう高齢だから難しいIUT理論の理解は難しいだろう。
Stixに解説してもらえるかも
いや、逆にStixに解説してやっているかもしれんw
959:132人目の素数さん
23/12/01 10:15:49.99 2FwFdvyr.net
>>913
>IUT≠ 遠アーベル幾何学.数学
IUT⊂ 幾何学.数学
だね
>IUT.トンデモ≠数学

IUT ≠トンデモ数学

だね
>>910より
URLリンク(ahgt.math.cnrs.fr)
MFO-RIMS Tandem workshop 2023 - Arithmetic Homotopy and Galois Theory
Org.: B. Collas (RIMS), P. Dèbes (Lille), Y. Hoshi (RIMS), A. Mézard (ENS)
オーガナイザーの Collas、Dèbes、Hoshiらは、IUT支持者
A. Mézard (ENS)もそうらしい。女性数学者だね
”Analyse complexe
Le cours discute notamment la notion de fonction holomorphe,”
か(下記)
このMFO-RIMS Tandem workshop 2023の趣旨は、参加する数学者には分かっているはず
遠アーベルの分野で、近年大きなブレークスルーがあった
それは、いわずとしれた望月IUT
何が大きなブレークスルーか?
フェセンコ氏の説では、類体論の拡張であり、ラングランズ予想とも関連するという
望月IUTの遠アーベルから、楕円曲線の評価式が得られて、abc予想を解決した
望月IUTは、abc予想解決にとどまらない
だから、みんなMFO-RIMS Tandem workshop 2023に集まった
(参考)
URLリンク(www.math.ens.psl.eu)
Ariane Mézard Directeur de l'enseignement Professeur département Mathématiques de l'ENS
PROFESSEUR
Cours
Analyse complexe
Le cours discute notamment la notion de fonction holomorphe,
URLリンク(www.ens.psl.eu)
« J'ai eu la chance de me former auprès de scientifiques d'origines et de cultures si diverses »
Créé le 11 avril 2023
960:132人目の素数さん
23/12/01 10:24:37.70 2FwFdvyr.net
>>915 タイポ訂正
IUT⊂ 幾何学.数学
↓
IUT⊂ 遠アーベル幾何学.数学
961:132人目の素数さん
23/12/01 10:34:03.81 7/jDGILm.net
例えロジカルに正しくても役に立たなければ意味がない
1=1と何が違うんだ?
10年で解決できた整数論の未解決問題はどれ?
962:132人目の素数さん
23/12/01 10:38:17.67 e+JpX3Tc.net
>>917
>>413
963:132人目の素数さん
23/12/01 10:41:25.40 xhENc/t/.net
STAPスキャンダルからIUTスキャンダルへ
このスレは罵倒 もみ消しのIUTcultのサティアン
964:132人目の素数さん
23/12/01 10:51:39.47 jVciQaNA.net
>>917
純粋数学で“役に立たなければ意味がない”って斬新な考え方ですね
965:132人目の素数さん
23/12/01 10:57:55.70 7/jDGILm.net
>>920
じゃ1=1か
トートロジーか
966:132人目の素数さん
23/12/01 10:59:17.04 7/jDGILm.net
>>918
ゴールドバッハ予想すら解けないゴミやんけ
967:132人目の素数さん
23/12/01 11:00:05.35 7/jDGILm.net
>>920
むしろ有用性以外に数学の価値などあり得ないことすら知らないとか
ゲーデル不完全性定理すら知らなさそう
968:132人目の素数さん
23/12/01 11:15:05.23 e+JpX3Tc.net
フェセンコによれば、IUTは物理に応用される、かもしれない、だと。
969:132人目の素数さん
23/12/01 11:43:42.62 e+JpX3Tc.net
Minhyong Kim によれば、IUT はparticle physics に応用されるだろう、だと。
URLリンク(www.rnz.co.nz)
970:132人目の素数さん
23/12/01 12:03:29.13 2FwFdvyr.net
次スレ立てた
ここを使い切ったら、次スレへ
スレリンク(math板)
Inter-universal geometry と ABC予想 (応援スレ) 70
971:132人目の素数さん
23/12/01 12:13:06.59 2FwFdvyr.net
>>924-625
ありがとうございます。
こんなのがあるね
//ivanfesenko.org/?page_id=80
News – Ivan Fesenko
//ivanfesenko.org/wp-content/uploads/qar.pdf
On new interactions between quantum theories and arithmetic geometry, October 2023
972:132人目の素数さん
23/12/01 13:43:00.72 7/jDGILm.net
ゴールドバッハ予想解けないならゴミ理論では?
そんな簡単なこともわからんなら何もわからんやろ?
973:132人目の素数さん
23/12/01 15:16:24.37 2FwFdvyr.net
>>928
URLリンク(www.kurims.kyoto-u.ac.jp)(MFO-RIMS23%20Oberwolfach%20Report).pdf
Inter-universal Teichmuller Theory as an Anabelian Gateway to Diophantine Geometry and Analytic Number Theory
(MFO-RIMS23 Oberwolfach Report). PDF NEW!! (2023-10-20)
974:132人目の素数さん
23/12/01 16:00:23.40 7/jDGILm.net
>>929
展望だけ?
975:結果は?
976:132人目の素数さん
23/12/01 16:01:29.68 7/jDGILm.net
>>929
これを言っていいのは2013年だろ?
10年経ってなんで展望しかないんだ?
たかがゴールドバッハ予想如きの極めて簡単なものにすら
何一つ結果を出せていない
それが現実だろ?
977:132人目の素数さん
23/12/01 16:08:40.45 fTl0UrQL.net
IUTはもう賞味期限切れ
2015年にはもう底が割れてた
2018年のPSの指摘で瓦解
数学者降りたIFとKFが
なにやらいってるようだが
完全なビジネストーク
そんなものに騙されてるのは
虚栄心に満ちた素人だけかと
978:132人目の素数さん
23/12/01 16:31:31.44 JaLofUMW.net
だいたい身内の査読って
大学紀要と何が違うん?
979:132人目の素数さん
23/12/01 16:35:47.16 KQ51vvhe.net
>>933 実際には自分の論文を自分で査読してるのと同じ
一応別人が査読者になってるけど読めてないから査読になってない
明らかな不正査読なのでRIMSは必死に隠蔽する
980:132人目の素数さん
23/12/01 16:39:27.91 JaLofUMW.net
>>934
それで査読になるならもう文元が「査読」しとるがなwwww
981:132人目の素数さん
23/12/01 16:49:21.30 KQ51vvhe.net
>>935
ToKo大の雑誌の論文はカトブンが査読したともっぱらの噂
982:132人目の素数さん
23/12/01 17:02:56.76 VuvsuLg+.net
>>933
PRIMS自体が元々数理研の紀要みたいなものじゃん
983:132人目の素数さん
23/12/01 17:14:03.59 VuvsuLg+.net
所属研究員の研究成果を発表するための雑誌なのだから紀要とたいしてかわらないですよね
身内向けの雑誌ですよ
984:132人目の素数さん
23/12/01 17:57:09.46 jVciQaNA.net
事実を知っているわけでは無い事を憶測する時に人はその人自身の内面を吐露している
って本当でしょうか?
985:132人目の素数さん
23/12/01 22:12:13.94 0I279DU9.net
>>931
>たかがゴールドバッハ予想如きの極めて簡単なものにすら
まあ、物事には、向き不向き、得意不得意がありましてね
遠アーベルと、ゴールドバッハは相性が悪いみたいだな
かわりにあっさりと、ABC予想を切って、ついでにフェルマーの最終定理の別証明
次のターゲットは、Ivan Fesenko氏は ”Tate-BSD conjecture”らしい
「ミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている」
URLリンク(www.icbs.cn)
ICBS Satellite Conference on Algebraic and Arithmetic Geometry
2023 July 12th
Ivan Fesenko (Warwick University and Tsinghua University)
Higher adelic approach to the Tate-BSD conjecture
I will first present basics of two adelic structures on relative elliptic surfaces over Spec of the ring of integers of a number field or a smooth projective irreducible curve over a finite field and of the higher adelic zeta integral. Then I will concentrate on the higher adelic program to prove the equality of the arithmetic and analytic ranks of the generic fibre.
URLリンク(ja.wikipedia.org)
バーチ・スウィンナートン=ダイアー予想(バーチ・スウィンナートン=ダイアーよそう、英語: Birch and Swinnerton-Dyer conjecture)は、数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれ、最も難しい数学の問題の 1 つであると広く認められている。予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている[1]�
986:B
987:132人目の素数さん
23/12/01 22:21:14.28 N/kI3Qpp.net
ゴールドバッハ予想如きの極めて簡単なものにすら歯が立たないとか
988:132人目の素数さん
23/12/01 23:55:26.21 0I279DU9.net
>>941
>ゴールドバッハ予想如きの極めて簡単なものにすら歯が立たないとか
ぼくね
数学においては、見かけが極めて簡単なものが、結構深い内容につながる予想は多いってことなんだよ
昔はフェルマーの最終定理とか
ゴールドバッハ予想も、リーマン予想を仮定するとか、プロ数学者も苦労しているらしい
URLリンク(ja.wikipedia.org)
ゴールドバッハの予想
すべての 2 よりも大きな偶数は2つの素数の和として表すことができる[3]。このとき、2つの素数は同じであってもよい。
現在までの主な進歩
・ハーディとリトルウッドは1923年に、L関数に対する一般化されたリーマン予想(の若干弱い形を)を仮定して、全ての奇数 n ≧ n0 が3個の素数の和となるような下限 n0 が存在することを証明し、またその表現の個数の漸近公式を得た。また同様の仮定のもとにほとんどすべての偶数が二つの奇素数で表されること、すなわち例外的な数全体は零集合であることを証明。しかし偶数を二つの奇素数で表す仕方の数の漸近公式については予想するにとどまった。
・2002年、ヒース=ブラウン(英語版)とシュラーゲ=プフタは十分大きなすべての偶数は2個の素数と13個の2の冪の和で表され、一般化されたリーマン予想が正しいならば、十分大きなすべての偶数は2個の素数と7個の2の冪の和で表されることを示した。
・2015年、4 × 10^18 までの4以上の全ての偶数について成立することが確認された[5]。
989:132人目の素数さん
23/12/02 01:08:56.43 Y3H2v4ZZ.net
エラい強いeffective abc不等式が出たら、FLTの証明がエラい短くなるのだろう。
エラい強いeffective abc不等式から出てくるエラい強いeffective Mordell とコンピューターを使えば有理数解を全部数え上げることもできる?
990:132人目の素数さん
23/12/02 09:51:55.52 NCBRCihP.net
おやおや、このスレは放棄ですか?
991:132人目の素数さん
23/12/02 09:52:26.96 NCBRCihP.net
いけませんよ スレッドは最後まできっちり使い切りましょうね
992:132人目の素数さん
23/12/02 09:52:51.94 NCBRCihP.net
まったく、どんな育ち方をしてきたんだか
993:132人目の素数さん
23/12/02 09:54:05.03 NCBRCihP.net
皮でも骨でも内蔵でも全て使い切る 当然のことだと思いますがねぇ
994:132人目の素数さん
23/12/02 09:55:39.08 NCBRCihP.net
東京でも京都・大阪でも同じだと思うんですがねぇ
995:132人目の素数さん
23/12/02 10:02:04.73 NCBRCihP.net
URLリンク(www.ynu.ac.jp)
ふーん
でも、いくべきところは大学じゃないな
三●島でも木●川でもいくらでもあるよ
大学では全く教えない現実がそこにあるから
996:132人目の素数さん
23/12/02 10:02:35.63 NCBRCihP.net
いったんここまで
997:132人目の素数さん
23/12/02 16:50:42.42 NCBRCihP.net
皮革(ひかく)は、動物の皮膚を剥いだ「皮」と、
皮から毛を除いて鞣して得られる「革」の総称である。
998:132人目の素数さん
23/12/02 16:51:11.26 NCBRCihP.net
毛皮は毛をつけたままなめしたもので、広義には皮革に含まれる。
999:132人目の素数さん
23/12/02 16:52:00.67 NCBRCihP.net
人工的に作られた人造皮革(人工皮革と合成皮革)
と区別するため、動物の皮膚をなめしたものを
天然皮革(てんねんひかく)や本革(ほんがわ)
ということもある。
1000:132人目の素数さん
23/12/02 16:52:19.35 NCBRCihP.net
皮革の中でも元々生えていた体毛まで利用するものは毛皮 (Fur) という。
1001:132人目の素数さん
23/12/02 16:53:22.66 NCBRCihP.net
皮とは生物の表面を覆う組織であり、人類は特に動物の皮を利用してきた。
動物の皮膚をそのまま剥ぎ、製品として使用したものを皮という。
皮は乾燥させると硬くなるが、乾燥中に繰り返し揉んだりほぐしたりして加工すると
柔らかさを保つ性質がある。
1002:132人目の素数さん
23/12/02 16:54:17.70 NCBRCihP.net
しかし、皮には高温多湿の環境では腐るという大きな欠点があるため、
これを腐らないよう鞣して(なめして)加工したものが革である。
「革」は動物の皮を両手でピンと張ったところを表した文字である。
なめして革に加工できる皮を原皮という。
1003:132人目の素数さん
23/12/02 16:55:08.10 NCBRCihP.net
人類の祖先は動物の皮に着目し、これを利用するようになったが、
最初はネズミやウサギなどの小動物が利用されたと考えられている。
最初の皮革の利用は毛皮であった。
皮は有機物であるため、埋蔵状態によっては崩壊してしまい
古代の遺物が残される例は少ない。
考古学としては、これらの少ない遺物、壁画、文献などから
当時の皮革について研究が行われる。
1004:132人目の素数さん
23/12/02 16:56:31.16 NCBRCihP.net
例として、約5300年前のミイラであるアイスマンは
革のコート、革のレギンス、毛皮の帽子、干し草を詰めた靴がある。
これらは用途によって意識的に選ばれていたパッチワークで、
コートは家畜化されたヒツジ革4頭分、家畜化されたヤギの革などで作られ、
腰布はヒツジ革、レギンスはヤギ革、靴ひもは牛革、帽子はクマの毛皮であった。
また、これらのなめしの加工としては、
動物性脂肪に漬けたあとに意図的に土に埋める方法
が採用されており、撥水性に優れた性能を持っていた
と試料を分析したグループは述べている。
1005:132人目の素数さん
23/12/02 16:57:10.44 NCBRCihP.net
皮革は硬質の樹脂であるプラスチックが発明されるまで
人類が入手できる最も強靭な素材だった。
1006:132人目の素数さん
23/12/02 16:58:12.85 NCBRCihP.net
URLリンク(www.hikaku.metro.tokyo.lg.jp)
1007:132人目の素数さん
23/12/02 17:02:01.02 NCBRCihP.net
なめして革に加工できる皮を原皮というが、
原皮になりうるものは脊椎動物の皮に限られている。
また、実用的な皮革に加工するにはコラーゲン線維が十分に絡んでいて
一定の厚みや硬さが必要である
(皮下に十分に脂肪を蓄えて食用に適するよう品種改良されてきた
ニワトリなどは不向きとされている)。
また、革製品の加工に安定供給できるような素材である必要がある。
皮革の材料としては以下の動物が挙げられる。製品種類とともに記述する。
1008:132人目の素数さん
23/12/02 17:03:15.97 NCBRCihP.net
牛
一般的な革であり、革靴に使用される革としては最大数量。
一般に成牛の背中から脇までの皮を使用する。
カウ・ブル等の分類があるが、基本的に全て肉牛の皮である。
表面にエンボス加工を施すことにより、
オーストリッチ(ダチョウ)・ワニ・ヘビ
などの模造をすることも可能である。
外見上の特徴は特に無い。
1009:132人目の素数さん
23/12/02 17:04:15.97 NCBRCihP.net
豚
非常にやわらかい革を作ることも半透明にもできる。
表皮の下には脂肪層があるので、牛革のように厚い革にはできないのが特徴。
摩耗に強いので、ランドセルや靴の内革などに使用される。
三角形にそろった毛穴は一目で豚革と判別でき、価値が低いとして扱われてきたが、
近年は海外ブランドでもデザイン性を生かした衣料製品�
1010:ネどに使われるようになった。 特に、柔らかくなめしてガーメント(衣料革)に使われたり、 硬く半透明にして(生皮)ランプシェードなど工作用に使われることもある。 日本から輸出される数少ない革でもある。
1011:132人目の素数さん
23/12/02 17:05:09.46 NCBRCihP.net
馬
臀部以外の比較的柔らかい部分は靴の内革に多く使用される。
他に羊・山羊などの皮も用いられる
1012:132人目の素数さん
23/12/02 17:06:15.69 NCBRCihP.net
カンガルー
近年特に使用が増えた皮革である。
軽くて丈夫なのが特徴で、サッカー選手や陸上選手のスパイクシューズや
オートバイ用ライディングスーツ(革ツナギ)などにも使用される。
世界的に肉牛の需要が減少し、副産物としての牛革が減少するに伴い、
徐々に採用された。
基本部位は肉牛と同じく背中から脇であるが、
カンガルーは二足歩行するため、革の形状も三角形に近い形を成しており、
製造過程で若干の技術的困難が見られた。
外見上は牛革と大差なく、見分けはつきにくい。