23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層
703:１３２人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい
704:１３２人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね
705:１３２人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い
706:１３２人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる
707:１３２人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈
708:１３２人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄
709:１３２人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな
710:１３２人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない
711:１３２人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い
712:１３２人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない
713:１３２人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい
714:１３２人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない
715:１３２人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない
716:１３２人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況
717:１３２人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ
718:１３２人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を�
719:ｷいた事すらないし爆発律も知らないまま死ぬ
720:１３２人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな
721:１３２人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ
722:１３２人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
723:１３２人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという
724:１３２人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる！」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい
725:１３２人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる
726:１３２人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい
727:１３２人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう
728:１３２人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ
729:１３２人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない
730:１３２人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ
731:１３２人目の素数さん
23/11/13 23:23:57.80 Q++RkXqp.net
異なる内容に同一の記号を与えたら爆発律が成り立ち結論が無意味になるってことすらわかっていない
疑似科学はそのくらいはクリアしてるぞ
732:１３２人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの
733:対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ 反論部分は代表的な疑似科学だ この状態に耐えられる時点でマトモではない 普通なら状況を理解しで離脱する
734:１３２人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう
735:１３２人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか？
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か？
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな
736:１３２人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない
737:１３２人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない
738:１３２人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾なく言葉の意味をコロコロ変える奴とかな
739:１３２人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊
740:１３２人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。
741:１３２人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。
742:１３２人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLﾘﾝｸ(en.m.wikipedia.org)
743:１３２人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。
744:１３２人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。
745:１３２人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援
746:１３２人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む
747:１３２人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。
748:１３２人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん
数学の中に一般的なのと特殊なのがあるだけだよな？
749:１３２人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ
750:１３２人目の素数さん
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:１３２人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ
数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。
一方加藤文元はIUT語が未だに未完成とのべている。
752:１３２人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713
753:１３２人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか？
怪しいな
754:１３２人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう
755:１３２人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式
756:１３２人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか
757:１３２人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719
>文元ってIUTわかってるんか？
加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。
ただし未完成のIUT語からは矛盾していないかも？
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが？
758:１３２人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの？w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の（非可換）確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ
あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから
759:１３２人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。
760:１３２人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。
761:１３２人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。
762:１３２人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ
763:１３２人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな
764:１３２人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。
765:１３２人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで
766:１３２人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗
767:１３２人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ？
768:１３２人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何？
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ
769:１３２人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく２１世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから
770:１３２人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る
771:奴は論理を知らない低学歴だと自白してるようなもん 爆発律すら知らねーんだもん
772:１３２人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何？
また低学歴脳障害が知ったかぶりしてるの？
773:１３２人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない
774:１３２人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ
775:１３２人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない
776:１３２人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな？
俺が指摘したことを1文字も読めてない
脳障害だよ
777:１３２人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない
778:１３２人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ
779:１３２人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい
形而上学は論理的であることが不可能
そして物証がない妄想
780:１３２人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
まあ、でもマッピングすらできないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
781:１３２人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ
782:１３２人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる
783:１３２人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる
784:１３２人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
＞意識の大きさ
何を測ってるのか知らんけど、直感できるものなのかね？でないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
785:１３２人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない
786:１３２人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら
787:１３２人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてるIIT連中のが
論理論理喚いてるあんたよりは有望だろう
788:１３２人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる
789:１３２人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前
790:１３２人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話
791:１３２人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト
792:１３２人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
793:１３２人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律�
794:ﾁてことすらわからん低知能が意識とか笑えるwwwwwww
795:１３２人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな
796:１３２人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる
797:１３２人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
798:１３２人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる
799:１３２人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ？
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ？
800:１３２人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学＝爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ
801:１３２人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する
802:１３２人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ？
803:１３２人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの？
死にたくならんの？それ
804:１３２人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
805:１３２人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな
806:１３２人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある
807:１３２人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう
808:１３２人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな？
形而上学がなぜ完全否定されたかすらわかってないとかwwww
809:１３２人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか
810:１３２人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか？
811:１３２人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ
812:１３２人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ
813:１３２人目の素数さん
23/11/14 19:04:56.45 62ugfuer.net
反証可能性を科学の基準にするのは低学歴バレちゃうからやめような？
反証可能性は相手が適切に証明責任を果たせるようにするフェアな議論のために必要なことだから
政治学だろうが社会学だろうがフェアな議論には必須の概念
ポパーは無学だから科学特有だと思い込んだだけで全く意味がない主張だ
何が科学なのかを科学やった事ない素人に任せるとか
死んだ方がマシじゃね？
なんでそんな恥ずかしいことして息をしてられるのか
プロ野球選手がボールを握ったことすらない素人の解説者の妄想に従わなきゃいけないらしいwwww
814:１３２人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類
815:１３２人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない
816:１３２人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww
817:１３２人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
アドホックな仮説を指摘されてんのに逃げたから非科学確定な？
818:１３２人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw
819:１３２人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね
820:１３２人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が
821:１３２人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人！
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ！
822:１３２人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる
823:１３２人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
824:１３２人目の素数さん
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:１３２人目の素数さん
23/11/14 20:54:39.87 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
826:１３２人目の素数さん
23/11/14 20:57:21.52 wdJblonV.net
>>759
ただの大規模な力学系だとIITは定義してるよ
脳障害は因果関係の意味すらわかってないから恥晒し
827:１３２人目の素数さん
23/11/14 21:05:39.88 wdJblonV.net
因果関係が生物と関係ない事が分かってないのって
大学で遊び呆けて物理一切やってない自白だよな
828:１３２人目の素数さん
23/11/14 21:08:19.44 fIkUPXJp.net
URLﾘﾝｸ(scholar.google.co.jp)
829:１３２人目の素数さん
23/11/14 21:46:42.02 TbgJpCn0.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
830:１３２人目の素数さん
23/11/14 21:47:23.87 DStQyjN/.net
IUTはSGAと同じでZFCGの枠内で数学をやっている。
831:１３２人目の素数さん
23/11/14 21:56:46.39 CzWoFyuH.net
>>794
嘘だよ
>>713 監修が望月新一！
グロタンデュークのZFCGから異世界の
832:IUTへ転落した
833:１３２人目の素数さん
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:１３２人目の素数さん
23/11/14 22:55:26.95 TbgJpCn0.net
IUTが提供するモノイドの新しい幾何学は、一方では離散領域と連続領域の間の緊張を解決するというグロタンディークのプリンシプルと、他方ではp進ホッジ理論とheight理論との間の画期的な出会いの結果として理解され、ディオファントス幾何学と遠アーベル数論幾何学に統一的な枠組みを提供することによって、環-スキームのグロタンディーク幾何学を超える新しい研究フロンティアを開くものである。
835:１３２人目の素数さん
23/11/14 23:19:03.66 +Bb//qj/.net
2021年
京大RIMS 訪問滞在型研究 「宇宙際タイヒミュラー理論の拡がり」
望月新一監修川上量生あとがき加藤文元著
「宇宙と宇宙をつなぐ数学」はHPに掲載された公式本。>>713
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
は公式見解。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
836:１３２人目の素数さん
23/11/14 23:27:07.67 TbgJpCn0.net
>>798
>>716
837:１３２人目の素数さん
23/11/14 23:33:20.53 +Bb//qj/.net
望月新一の、
>>716 と >>713 「全く新しいフレームワークと言語・概念体系を基盤として構築」は矛盾している。
IUTはその場しのぎの類だから、
838:１３２人目の素数さん
23/11/14 23:40:24.69 TbgJpCn0.net
>>800
事実はどうなんだ？
IUTはZFCGから逸脱しているのか？
839:１３２人目の素数さん
23/11/14 23:52:40.62 +Bb//qj/.net
望月監修川上量生あとがき加藤文元の
IUT本はscholze.stixレポートへの回答だね。
何処の方向へお逃げになったのだろうか？
840:１３２人目の素数さん
23/11/15 00:24:00.49 O1VxE2ny.net
>>789
なにそれ
841:１３２人目の素数さん
23/11/15 01:03:44.96 0wu1F69C.net
>>803
IIT
842:１３２人目の素数さん
23/11/15 01:06:41.45 0wu1F69C.net
>>803
IIT4.0とかいうプレプリント出してるけどもう1年経つのにどこも査読通ってないの笑えるやろ
仮定に形而上学入れてる時点でエディターリジェクトされてる事すら理解出来てない
マトモな教育受けてないエディターしかいないレベルの低いジャーナル探してんだろな
そしてマトモない教育受けてないレビュアーに当たるまでジャーナルガチャ回してる
これ科学って呼ぶの？
843:１３２人目の素数さん
23/11/15 01:09:34.32 0wu1F69C.net
掲載拒否されて指摘された点を直さない
あり得ないだろ
844:１３２人目の素数さん
23/11/15 01:13:12.89 0wu1F69C.net
リジェクト履歴と理由を公開すべきだよな
低レベルなジャーナルを探して科学に見せかけるという行為が横行してる
ほならね？？CNSに投稿してみなさいよ
公理とか吠えてデカルトを根拠にした噴飯物のポエムをよ
845:１３２人目の素数さん
23/11/15 01:14:11.87 0wu1F69C.net
科学論文の体裁で仮定に形而上学入れたものを載せた時点でそのジャーナルは終わりだよ
査読プロセスが機能してない
低レベルなエディターと低レベルなレビュアーだらけのザル
846:１３２人目の素数さん
23/11/15 01:16:45.52 0wu1F69C.net
ガチでIIT3.0には「デカルトが「我思う故に我あり」と言ったから意識は1つに統合されていなければならない」という「公理」が書かれてる
マトモなエディターやレビュアーなら即
847:リジェクト レビュアーがちゃんと読んでない低質ジャーナルを探して投稿しまくったんだろうな
848:１３２人目の素数さん
23/11/15 01:17:20.91 0wu1F69C.net
疑似科学だなんて疑似科学に失礼だよ
疑似科学は論理学は守ってるからな
849:１３２人目の素数さん
23/11/15 01:41:09.39 FoPSXnZg.net
IUTに文句言ってる奴は、
圏論屋、基礎論屋、crank
言い換えると、
乞食と統失
850:１３２人目の素数さん
23/11/15 06:48:49.81 +CJ+qARo.net
>>809
該当箇所提示して
851:１３２人目の素数さん
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:１３２人目の素数さん
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:１３２人目の素数さん
23/11/15 07:47:05.04 0wu1F69C.net
で>>814のように「我々の認識はこうなってる」などという公理をスタートにしたら
決定論的相互作用(因果関係)のある全ての物質塊に対して計算されるΦなる数値が定義される
それが死んでようが物質塊だろうが区別しないので論文の初めと終わりで「意識」の指す内容が変化してる
854:１３２人目の素数さん
23/11/15 07:48:40.07 0wu1F69C.net
ただの物質塊でも当てはまることを批判されたら「その場合は該当しない」「神経系のサイズに限る」などと後からアドホックな仮説を垂れ流すだけ
この「理論」は意識の要素とやらが全く含まれてない
855:１３２人目の素数さん
23/11/15 07:49:54.85 0wu1F69C.net
なお「この範囲がΦという数値を計算できる対象である」という完全版はこの世界に未だに存在したことがない
完全な「アドホックな仮説」
証明責任の放棄だってわかってない
856:１３２人目の素数さん
23/11/15 07:55:19.46 0wu1F69C.net
Φを維持したまま神経回路をランダムに入れ替えれば
一般的には意識など無いとされる状態に出来るが
Φはそれを測れない
この可能性を排除するような条件はアドホックな仮説でも出すことは不可能だから逃げ続けるしかない
ほんの少しでも意識の理論なんて考えようとしたらこのくらい考えてから構築するもんだが
最も思慮が浅いので最も愚かな珍説を最も先に出しただけというね
857:１３２人目の素数さん
23/11/15 07:59:40.09 0wu1F69C.net
信号が情報としてやり取りされてて因果関係の「大きさ」さえ測れれば意識の大きさが測れるという妄想なので
脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る
このグループは因果関係というものの意味を全く理解していないらしい
858:１３２人目の素数さん
23/11/15 08:01:50.94 0wu1F69C.net
つまり理論の対象が脳神経細胞に限るという後だしジャンケン(アドホックな仮説)を追加しても
「脳神経細胞を適当に塊にして全く無意味な信号をループさせるだけでΦとやらはいくらでも大きく出来る」
という批判には一切対応できてないし
対応できる可能性も無い
859:１３２人目の素数さん
23/11/15 08:04:07.21 0wu1F69C.net
つまりパソコンの消費電力でパソコンの性能を測ろう程度の極めて幼稚な空想に過ぎない
CPUが壊れてて消費電力は大きいのに全く計算できないみたいな状況すらカバーしてない
理論になってない役立たずの妄想
860:１３２人目の素数さん
23/11/15 08:05:07.67 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
861:１３２人目の素数さん
23/11/15 08:15:57.51 0wu1F69C.net
人によって解釈が異なる単語を論理学の対象に出来ると思ってる時点で100年前の論理学のレベルにすら達してない
教育制度の失敗であるし
論文査読制度の失敗でもある
基本を身につけてない奴が基本を身につけてないレビュアーを
多数回様々なジャーナルに投稿し続けて引き当てれば「サドクズミ論文」になれる
中身を読まない素人はそれで騙されるという寸法
862:１３２人目の素数さん
23/11/15 08:17:29.95 0wu1F69C.net
なおIIT4.0なるプレプリントがあるが未だにジャーナルガチャを引き終えていないらしい
863:１３２人目の素数さん
23/11/15 08:19:46.26 0wu1F69C.net
マトモな科学って人によって解釈が異なる単語に対して
誰がみても変わらない定義をとりあえず与えてから論理を始めるんだけど
普段から論文を読めてないんだろうな
斜め読みというか
読んだつもりになってるだけ
864:１３２人目の素数さん
23/11/15 08:21:32.84 0wu1F69C.net
なぜ論理の対象に出来るのは集合に限られるのか考えた事すらないんだろうなあ
865:１３２人目の素数さん
23/11/15 08:24:12.16 0wu1F69C.net
・爆発律を防ぐには言及するたびに内容が変化する言葉は禁止しなければならない
・集合論的パラドックスを防ぐには自己そのものを自己言及と区別できるよう型理論や集合族の概念などの仕組みを用いなければならない
たったこれだけのことすら学んでない奴らが意識ねえ…
大学で何学んだの？
866:１３２人目の素数さん
23/11/15 12:53:56.83 0wu1F69C.net
消費電力でPCの性能測れるぜ！
↓
ほな電気ストーブの方が「高性能」ですなぁw
↓
じゃあ電気ストーブは禁止してCPUやメモリを積んだコンピューターに制限するぜ！
↓
ほなCPU壊れてても「高性能」ですなぁw
↓
逃亡
因果関係の大きさで意識の強さ測れるぜ！
↓
ほな塩化ナトリウム結晶の方が「高性能」ですなぁw
↓
じゃあただの物質は禁止して脳神経細胞に制限するぜ！
↓
ほな神経回路の接続壊れてても「高性能」ですなぁw
↓
逃亡
どれだけ頭悪いんだこいつら
誰もこれを指摘しないというのがヤバすぎる
867:１３２人目の素数さん
23/11/15 12:54:32.52 0wu1F69C.net
十分条件という概念を知らないレベルだこれ
868:１３２人目の素数さん
23/11/15 13:19:39.46 0wu1F69C.net
そして消費電力程度の指標で良いのなら単にfMRIのBOLD信号強度を脳全体で総和すれば良いだけなので
この論文には全く価値がない
869:１３２人目の素数さん
23/11/15 17:49:33.66 0wu1F69C.net
例えばディープニューラルネットワークを持ってきたとして
そのAIの性能指標に「ノード間の因果関係の強さの総計」を採用したとしよう
この数値にどんな意味があるか？
そのAIがどれだけ学習不足でどれだけ正解率が低くても内部ノードの因果関係が強い状態など無数にあり得るということだ
無意味な情報を無意味なループで内部で回すだけで因果関係など幾らでも強くすることが出来る
せめて因果関係を意味ある指標にしたいならそのAIにやってほしいタスクの正解を結果として
そのAIへの入力を原因としたときだろ
でもそれで取れる情報は正解率と同じだからやる価値は無いんだけどねw
因果関係なんてもんに着目した時点であり得ないくらいに頭が悪い
870:１３２人目の素数さん
23/11/15 18:18:12.08 0wu1F69C.net
結局のところ人間の意識の強さ・大きさとやらを測りたければ
「人間ならば出来るはずのこと」を結果として正解率を見ればいいので
それはチューリングテストそのものなんだよなあw
基礎論を知り尽くしたチューリングが「これで必要十分」と考え抜いたものを
なんで大学時代に遊び呆けて100年前の論理学すら学んでない怠け者の馬鹿どもが楯突いてるのか
全く意味がわからない
学んでないから思慮が浅いだけってわからんところがすごい
871:１３２人目の素数さん
23/11/15 20:22:51.15 N
872:7aYaa9r.net
873:１３２人目の素数さん
23/11/15 20:35:28.11 0wu1F69C.net
>>833
知能が低過ぎてチューリングテストの意味を理解できてないんだろうなお前は
テストするべきは「全ての問題」だ
この世に存在するありとあらゆる理論上想定し得る全ての問いが人間の意識を測る指標となる
そして有限の問題数では確率的にそれがわかるということ
バカどもは量化子という概念を知らないのでテキトーに並べた言葉が「全ての」なのか「ある」なのか読めてない
まあ発達障害も混じってるんだろうな
当然ながらチューリングテストが意味するのは「全ての」であり、リソースが有限なので「確率的にわかる」しか論理的にあり得ない
874:１３２人目の素数さん
23/11/15 20:36:33.19 0wu1F69C.net
GoogleでAIに意識あるとか吠えてクビになったアホはここがわかってない
量化子を読み取れない発達障害は雇用したら終わり
875:１３２人目の素数さん
23/11/15 20:37:01.01 0wu1F69C.net
アホの思いついた設問じゃテストになんねーのは量化子わからんと自白してるようなもん
876:１３２人目の素数さん
23/11/15 20:40:36.03 0wu1F69C.net
発達障害が量化子とか十分条件を理解できないのってなんでなんだろうな？
877:１３２人目の素数さん
23/11/15 20:55:45.42 0wu1F69C.net
頭が悪い人たちにノルマを課して成果主義を導入すると
過去に確立した歴史すら学ばず全く無意味な「新発見」をするので
頭が悪い人たちは寝ててくれないかな？
社会資源を浪費しないでくれ
878:１３２人目の素数さん
23/11/15 20:59:25.84 0wu1F69C.net
定義域が「全ての論理的可能性」であってその中からサンプリング調査するしかないのでサンプル数と分布が問題となる
それなのにバカな奴がテストを考えるとこうなる
URLﾘﾝｸ(x.com)
言語モデルのテスト作った奴が居るけどテストがマヌケすぎてテストになってないという晒し
頼むからバカは何もしないでくれた
この世界に害しか及ばさない
出来たら呼吸も止めてくれ
879:１３２人目の素数さん
23/11/15 21:00:39.48 0wu1F69C.net
量化子・必要十分条件みたいなものがわからんアホが卒業出来る大学ってなんなんw
その一点がダメなら卒業させんなよ
880:１３２人目の素数さん
23/11/15 21:17:57.06 N7aYaa9r.net
>>834
チューリングテストの類似問題の中国人の部屋のほうが適切だと思うんやな。
「全ての問題」にまでするんなら
881:１３２人目の素数さん
23/11/15 21:19:47.32 N7aYaa9r.net
>>840
イプシロンデルタ論法の二階論理よりも単射全射準同型射準同型定理のほうが数学科なんやな（笑）。
882:１３２人目の素数さん
23/11/15 21:33:01.84 0wu1F69C.net
>>841
「中国人の部屋」はサールが無知なので笑えるよな
「全ての問題」に対して「処理時間」を測ればアルゴリズムやアーキテクチャの違いが問題に対する処理時間で判別できる
サールの知識ではこのレベルの発想は出来ないが計算量理論では常識
ああいう無知の妄想を何か意味のあることだと思えてしまうのは発達障害特有
883:１３２人目の素数さん
23/11/15 21:34:25.06 Uu0Y2Bm/.net
馬の鼻先に人参をぶら下げる
川上さん
IUTに人参つけた
みなさん、頑張ってくださいと
IUT否定肯定、どちらに転んでも
100万ドル（1.5億円）
さてさて、どうなることか
URLﾘﾝｸ(www.weblio.jp)
Weblio 辞書 > 辞書・百科事典 > 日本語表現辞典 > 馬の鼻先に人参をぶら下げるの意味・解説
馬の鼻先に人参をぶら下げる
馬の鼻面に人参をぶら下げ�
884:ﾄ、馬の食欲をそそる、すると人参好きの馬は人参に食いつこうとして前進する、人参は馬に括りつけられているため馬と共に移動する、馬はなんとか食いつこうとして全力で走る、といったステレオタイプなイメージを表した言い方。 人参が馬の大好物である、人参を前にすると馬は盲目的に走り続ける、といった事柄は、ステレオタイプで多分に漫画的なイメージであり、必ずしも事実と一致しない。 「馬の鼻先に人参をぶら下げる」の表現は、やる気を示さない者に対して褒美をちらつかせることで奮起させる、といったことの喩えとして用いられることも多い。 （2013年2月13日更新）
885:１３２人目の素数さん
23/11/15 21:35:16.32 0wu1F69C.net
>>842
生物系で中学校レベルの証明問題すら出来なさそうなヤバい奴に学位を与えてるのは問題だよ
886:１３２人目の素数さん
23/11/15 21:38:15.66 0wu1F69C.net
別に100年前の論理学を知らなくても計算量理論を知らなくても罪ではないかもしれないが
知りもしないのに思いつきの妄想を垂れ流すのは大罪だろ
887:１３２人目の素数さん
23/11/15 21:56:38.86 EdFoLxb6.net
URLﾘﾝｸ(o.5ch.net)
888:１３２人目の素数さん
23/11/15 21:58:10.59 EdFoLxb6.net
チューリングゎ、最期にベッドの上で真っ赤な林檎を持って服毒自殺してたってほんと?めぅ🍎
889:１３２人目の素数さん
23/11/15 22:00:15.61 EdFoLxb6.net
🌈虹色チューリングゎソ連のスパイを疑われて迫害されて追い詰められてしんじゃったってほんと?
890:１３２人目の素数さん
23/11/15 22:01:45.62 EdFoLxb6.net
チューリング、ビューティフル・マインド🌈なジョン・ナッシュに似てる…似てなぃ？
891:１３２人目の素数さん
23/11/15 22:05:26.41 EdFoLxb6.net
ﾓﾁﾋﾟ、ちゅぅりんぐ大先生の本、買ってます!
‥にゃぴ、ちゅﾆｷゎ、顔が四角くてサイディスに似てると思った。(小並)
892:１３２人目の素数さん
23/11/15 22:09:51.45 EdFoLxb6.net
ちゅﾆｷ、ちゃんと美女に転生して幸せになってмa✞Hかね…
URLﾘﾝｸ(o.5ch.net)
893:１３２人目の素数さん
23/11/16 00:03:06.52 l7+A+mYl.net
今 ”work in progress” の " local-global Section Conjecture " の証明は、birational版ですか？
894:１３２人目の素数さん
23/11/16 07:02:50.99 HrkhmxWV.net
IUTは似非数学ですか？トンデモですか？
IUTとその周辺は砂上の楼閣です
895:１３２人目の素数さん
23/11/16 17:09:28.21 HrkhmxWV.net
>>640
PRIMS編集が論文を受理しないなら編集委員会は理由を明確に
説明すべきです。
望月IUT論文の場合。
まずRIMSは望月新一著IUT論文を現況調査票でも特別扱いをしていた。
京大RIMSの数学誌PRIMSの編集は委員が身内のRIMS教授で望月新一教授が
編集長です。
望月IUTは集合からダブルスタンダードで矛盾していますが、
望月ブログで「内部告発」がありしばらく後にPRIMSはIUT論文を受理しました。
896:１３２人目の素数さん
23/11/16 20:56:20.63 QT6bH7FC.net
引退後も在野で研究 「楽しいから」90歳過ぎても意欲：日本経済新聞
URLﾘﾝｸ(www.nikkei.com)
" 数学のノーベル賞と呼ばれるフィールズ賞を受賞した広中平祐・京大名誉教授は80歳近くになって研究を復活させた。受賞業績となった多様体の特異点の解消がテーマだ。この問題について自らの論文を超す成果が出ていないことに奮い立ち、紙と鉛筆を持ち歩いてアイデアを練った。「こんなに楽しい学問はないと思う」と語る。"
897:１３２人目の素数さん
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:１３２人目の素数さん
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:１３２人目の素数さん
23/11/18 09:18:04.18 RF3RO5Si.net
無駄な宣伝などせず、責任をとって辞任するべきだ
900:１３２人目の素数さん
23/11/18 09:35:10.98 5PkmiVHn.net
着々と進んでいっとるなぁ
901:１３２人目の素数さん
23/11/18 10:32:05.15 Cfxsgflr.net
>>858
IUT文学が発展してるなあという印象しかない
902:１３２人目の素数さん
23/11/18 11:15:03.76 VJ+mGZUx.net
文学に発展はあるか
903:１３２人目の素数さん
23/11/18 18:37:25.48 VJ+mGZUx.net
文学より音楽に近いかも
904:１３２人目の素数さん
23/11/19 07:40:05.00 SzNkD+XO.net
文学でも音楽でもなく
犯罪でしょう
905:１３２人目の素数さん
23/11/19 08:40:32.32 1bf6PfHC.net
東野圭吾であれば
現在の最新刊は、
・単行本：『ブラック・ショーマンと覚醒する女たち』(2024/1/24発売)
・文庫本：『ブラック・ショーマンと名もなき町の殺人』(2023/11/14発売)
になります。
906:１３２人目の素数さん
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:１３２人目の素数さん
23/11/20 10:55:33.00 k1Fh6Dvb.net
LiteratureのLogical Structureとは
908:１３２人目の素数さん
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:１３２人目の素数さん
23/11/20 13:09:06.76 k1Fh6Dvb.net
>>868
外部の論理と内部の論理の二重構造とか何でもありじゃないか
911:１３２人目の素数さん
23/11/20 16:41:36.86 hGeNN55n.net
ふふ、ガタリ流ポストモダン、反則技、オカルト
912:１３２人目の素数さん
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:１３２人目の素数さん
23/11/21 05:59:04.58 kwf8MZcO.net
高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、おすすめの可換環論の教科書はどれですか？
914:１３２人目の素数さん
23/11/21 07:42:36.27 3xodxCCR.net
>>868
教祖様のお言葉の引用が過剰でカルト臭いですね
改訂で出版verにはなかった仮想敵対勢力への攻撃（例「RCS」）が
加わっているのはどうしてでしょうか？
915:１３２人目の素数さん
23/11/21 09:43:25.15 v2IpFmUg.net
>>872
アティマクで十分
916:１３２人目の素数さん
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:１３２人目の素数さん
23/11/21 20:46:06.12 u+ni2dPr.net
Táfula氏と辻村氏はフィールズ賞かな。
919:１３２人目の素数さん
23/11/21 21:35:45.00 yMejUL+P.net
>467/2023.6.14.07
モチーが京都賞ってマジか？

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

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

更に京大数理研は「所員の発表論文数は査読付き論文のみ」 と査読付き論文のみ評価し
IUT論文とダブルスタンダードである。
924:１３２人目の素数さん
23/11/22 03:55:55.00 CmHC6jFq.net
>学士院 恩賜賞
IUTは数学よりポストモダンでなんでもありと指摘されている。
ここはオカルト応援スレだが、
学士院 恩賜賞はポストモダンでなんでもありのIUTは受賞対象にならないなあ〜
925:１３２人目の素数さん
23/11/22 06:24:15.68 ikAu9LZk.net
>>872
＞高校数学レベルの人が、可換環論をまず勉強してから次にハーツホーンを読むとしたら、
その前に線形代数を勉強して、抽象的な代数系にまず慣れてくださいね
高校まで「数学が得意」と言っていた連中が、
大学１年の線形代数で落ちこぼれるのは
定番コースですから
926:１３２人目の素数さん
23/11/22 06:26:26.46 ikAu9LZk.net
Atiyah-Macdonaldが読めないとしたら、
そもそも数学書の読み方が間違ってる、ということ
927:１３２人目の素数さん
23/11/22 06:58:44.92 bEYKiwgK.net
柏原や森がIUT成立を本当に認めているのなら
とっくに学士院賞くらい出てるでしょう
そうでないということは、、、
928:１３２人目の素数さん
23/11/22 15:55:15.93 +zITdyK/.net
>>881
まだお前は粘着してんのか？
文科省現況調査票厨房
このスレはお前の自作自演で成り立ってるのか？
929:１３２人目の素数さん
23/11/22 17:12:01.47 dSK2TZuP.net
やおちょー連呼マンかわいちょー
930:１３２人目の素数さん
23/11/22 17:12:21.66 dSK2TZuP.net
かわいちょ↓
931:１３２人目の素数さん
23/11/22 17:36:10.05 CmHC6jFq.net
>>886
公文書が致命傷w
チーン ♪〜
932:１３２人目の素数さん
23/11/22 20:38:27.07 c4fxVfXN.net
高校数学レベルの人に松村 可換環論は無理ですか。
933:１３２人目の素数さん
23/11/22 22:05:07.40 Mxd9kqW2.net
>>887-889
もう可換図式をチェイシングアローな矢追の数理は高専レベルの数理テクニックとして教えてもいいと思う。
934:１３２人目の素数さん
23/11/22 22:29:40.53 lcgK
935:61D0.net
936:１３２人目の素数さん
23/11/23 02:13:25.04 i5bAjERQ.net
八百長の京大数理研は解散が妥当だ。
937:１３２人目の素数さん
23/11/23 03:14:38.16 WS04GTnC.net
>>886
> 文科省現況調査票
罵倒厨房さん、
何コレ？具体的に示せよ
938:１３２人目の素数さん
23/11/23 05:34:22.93 w29jwnfs.net
やおちょー連呼マンは なんでいちいちIDコロコロすんの？
939:１３２人目の素数さん
23/11/23 06:32:48.78 6UeiqMVL.net
パラダイム現況調査票バカはいつも同じワードとテイストだからわかりやすいアホ
940:１３２人目の素数さん
23/11/24 06:43:37.12 2PiP2FUG.net
STAPスキャンダルからIUTスキャンダルへ
このスレは罵倒 もみ消しのIUTcultのサティアン
941:１３２人目の素数さん
23/11/27 03:19:40.28 E0/OAM2m.net
数学用語でglue とか glueing はどういう意味ですか。
942:１３２人目の素数さん
23/11/28 04:15:15.82 JKz+jEz3.net
>>897
There is no such thing called IUT Scandal.
943:１３２人目の素数さん
23/11/28 08:31:20.99 iOIgSpZk.net
>>899
by IUT SECT ( cult)
944:１３２人目の素数さん
23/11/30 00:28:44.58 t3bpmvFx.net
確かにな、確かに当スレのSetAみたいな理解意欲完全メクラな信者や
ネット世間で知名度が有るmath_jinとかKirti_Joshiとかの奉神論ぶちかます盲信者
でも此のスレには、もう一つが居た
査読絶対正義主義者が
アイツ、何なんだ？
人を罷め雄馬と雌鹿の仔も罷め便所虫も罷め
金汁大好きボツリヌストキシン大量発散照射飲尿便食菌と成った
当スレ現スレ過去スレ全設立初スレ創立の数学板穢れ
現示に対して、少女Aに成れずに、老人Aにも成れずに
945:１３２人目の素数さん
23/11/30 00:56:56.42 JXKkFIJZ.net
悪口が長いよ〜
946:１３２人目の素数さん
23/11/30 19:07:59.47 t3bpmvFx.net
確かにmath_jinとかKirti Joshiとか此のスレのSetAとかみたく
論拠ではなく私利私欲好適主張や個人的好感主張を論拠不足であっても
自己欺瞞的信用に基き盲信迎合する、論理学・数学・理学に背いた観念の連中の率がIUT肯定派の中には多いな｡
他にも査読絶対正義主義、此のスレでも居たよな。何度もキャラ変してるダブルスタンダード二枚舌野郎｡
特に此のスレのこいつは、出現当初は知った風な口を聞いてやがったのに、後に成って部外者ぶり始め､
今年なんかは内部関係者と知人とか言って
スレ閲覧者の中の疑う事を知らん層に尤もらしく思わせるレスしてたよな｡
査読が絶対に正しいとか言うなら全資産を担保に肯定を主張出来ると云う主張の含意に成るのも知らん、随分と半端な絶対認定してやがったよな｡
こいつも論拠じゃなくて査読を盲信する自己流下馬評論説者でやがった｡
部外者で碌な肯定者が居ねぇでやんの。どいつもこいつも東日本大震災以前の原発絶対安全論者どもと変わりゃしねぇ奴等ばっか｡
947:１３２人目の素数さん
23/11/30 19:28:31.10 t3bpmvFx.net
暫く見てなかったが相変わらずSetAは
人を罷め父馬母鹿の雄も罷め便所虫も罷め
飲尿や便食や糞尿と更に金汁（朝鮮流１年発行汁）飲み漁り
ボツリヌストキシンのスーパースプレッダーでやがるな
948:１３２人目の素数さん
23/11/30 20:12:24.57 9fVpQYA2.net
査読って利害関係のない第三者がやるから意味あるんだろ？
身内の査読ってなんか意味あんの？
949:１３２人目の素数さん
23/11/30 20:42:06.39 wC8zFJrw.net
>>904
これは、蕎麦屋さんか
お久しです
ご苦労さまです
IUTの欠陥をあばき潰した人には、100万ドル＝約1.5億円だって
チャレンジしたらどうですか？
SS文書のショルツェ氏？
彼の文書の問題は、"This will involve certain radical simplifications"としていること（下記）
つまり、IUTの定義を書き替えたら「ほら、こんな矛盾が出る」というのです
ところが、IUTの定義を書き替えて矛盾が出ると言っても、それは定義書き換え無しでの矛盾を示してはいないのです
これ、小学生でもわかること
ショルツェ氏は、「殿、ご乱心！」レベルのトンチンカンなSS文書を発行してしまったのですｗｗ
それを見た川上氏が
「ショルツェ氏のSS文書なんて、これは ど素人でもダメダメなのが分かるぞ
もっとちゃんと、議論した人に”100万ドル＝約1.5億円”だ！」と宣言したのです ；ｐ）
蕎麦屋さん、チャレンジしなよ！！
（参考：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:１３２人目の素数さん
23/11/30 21:05:59.61 sassPXH4.net
1 set Aはキチガ⚫︎
↓
0426 １３２人目の素数さん
2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
951:１３２人目の素数さん
23/11/30 21:09:55.80 sassPXH4.net
1= id:wC8zFJrw
952:１３２人目の素数さん
23/11/30 22:57:16.08 t3bpmvFx.net
>>906
本っ当、人を世の中を茶化しきった口の聞き方するテメェは。よく殺さないでくれてるよな、お前の周囲は｡
> これ、小学生でもわかること
> ショルツェ氏は、「殿、ご乱心！」レベルのトンチンカンなSS文書を発行してしまったのですｗｗ
絶対に小学生でも分かるんだな？全臓器換金代込み全資産を担保に入れて主張できる？
> それを見た川上氏が
> 「ショルツェ氏のSS文書なんて、これは ど素人でもダメダメなのが分かるぞ
> もっとちゃんと、議論した人に”100万ドル＝約1.5億円”だ！」と宣言したのです
同上。絶対に正しい事ならば全臓器換金代込み全資産を担保に主張する事が出来る上､
絶対に正しい事なので臓器売買誓約さえ罪に成らない｡
コンセンサスが取れてない認識公知されてない事をよくもまぁイケシャアシャアと
小学生でも分かるだの勝手な解釈で川上氏の代弁した積もりに成ってるわ
ソシオパスでサイコパスなだけじゃなく本質的根源的に非論理的非合理的背反断言やらかす、全き非科学的思考者だな
953:１３２人目の素数さん
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:１３２人目の素数さん
23/11/30 23:37:59.14 ttqmWEjA.net
Pop氏はJ. Stixの師匠だろ。
もう高齢だから難しいIUT理論の理解は難しいだろう。
956:１３２人目の素数さん
23/11/30 23:47:01.25 sassPXH4.net
ID.wC8zFJrw =1 set Aはキチガ⚪︎
↓
0426 １３２人目の素数さん 2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です だんだん、理解され受け入れられてきたよ 


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

958:１３２人目の素数さん
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に解説してやっているかもしれんｗ
959:１３２人目の素数さん
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:１３２人目の素数さん
23/12/01 10:24:37.70 2FwFdvyr.net
>>915 タイポ訂正
IUT⊂ 幾何学.数学
↓
IUT⊂ 遠アーベル幾何学.数学
961:１３２人目の素数さん
23/12/01 10:34:03.81 7/jDGILm.net
例えロジカルに正しくても役に立たなければ意味がない
1=1と何が違うんだ？
10年で解決できた整数論の未解決問題はどれ？
962:１３２人目の素数さん
23/12/01 10:38:17.67 e+JpX3Tc.net
>>917
>>413
963:１３２人目の素数さん
23/12/01 10:41:25.40 xhENc/t/.net
STAPスキャンダルからIUTスキャンダルへ
このスレは罵倒 もみ消しのIUTcultのサティアン
964:１３２人目の素数さん
23/12/01 10:51:39.47 jVciQaNA.net
>>917
純粋数学で“役に立たなければ意味がない”って斬新な考え方ですね
965:１３２人目の素数さん
23/12/01 10:57:55.70 7/jDGILm.net
>>920
じゃ1=1か
トートロジーか
966:１３２人目の素数さん
23/12/01 10:59:17.04 7/jDGILm.net
>>918
ゴールドバッハ予想すら解けないゴミやんけ
967:１３２人目の素数さん
23/12/01 11:00:05.35 7/jDGILm.net
>>920
むしろ有用性以外に数学の価値などあり得ないことすら知らないとか
ゲーデル不完全性定理すら知らなさそう
968:１３２人目の素数さん
23/12/01 11:15:05.23 e+JpX3Tc.net
フェセンコによれば、IUTは物理に応用される、かもしれない、だと。
969:１３２人目の素数さん
23/12/01 11:43:42.62 e+JpX3Tc.net
Minhyong Kim によれば、IUT はparticle physics に応用されるだろう、だと。
URLﾘﾝｸ(www.rnz.co.nz)
970:１３２人目の素数さん
23/12/01 12:03:29.13 2FwFdvyr.net
次スレ立てた
ここを使い切ったら、次スレへ
ｽﾚﾘﾝｸ(math板)
Inter-universal geometry と ABC予想 (応援スレ) 70
971:１３２人目の素数さん
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:１３２人目の素数さん
23/12/01 13:43:00.72 7/jDGILm.net
ゴールドバッハ予想解けないならゴミ理論では？
そんな簡単なこともわからんなら何もわからんやろ？
973:１３２人目の素数さん
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:１３２人目の素数さん
23/12/01 16:00:23.40 7/jDGILm.net
>>929
展望だけ？
975:結果は？
976:１３２人目の素数さん
23/12/01 16:01:29.68 7/jDGILm.net
>>929
これを言っていいのは2013年だろ？
10年経ってなんで展望しかないんだ？
たかがゴールドバッハ予想如きの極めて簡単なものにすら
何一つ結果を出せていない
それが現実だろ？
977:１３２人目の素数さん
23/12/01 16:08:40.45 fTl0UrQL.net
IUTはもう賞味期限切れ
2015年にはもう底が割れてた
2018年のPSの指摘で瓦解
数学者降りたIFとKFが
なにやらいってるようだが
完全なビジネストーク
そんなものに騙されてるのは
虚栄心に満ちた素人だけかと
978:１３２人目の素数さん
23/12/01 16:31:31.44 JaLofUMW.net
だいたい身内の査読って
大学紀要と何が違うん？
979:１３２人目の素数さん
23/12/01 16:35:47.16 KQ51vvhe.net
>>933 実際には自分の論文を自分で査読してるのと同じ
一応別人が査読者になってるけど読めてないから査読になってない
明らかな不正査読なのでRIMSは必死に隠蔽する
980:１３２人目の素数さん
23/12/01 16:39:27.91 JaLofUMW.net
>>934
それで査読になるならもう文元が「査読」しとるがなwwww
981:１３２人目の素数さん
23/12/01 16:49:21.30 KQ51vvhe.net
>>935
ToKo大の雑誌の論文はカトブンが査読したともっぱらの噂
982:１３２人目の素数さん
23/12/01 17:02:56.76 VuvsuLg+.net
>>933
PRIMS自体が元々数理研の紀要みたいなものじゃん
983:１３２人目の素数さん
23/12/01 17:14:03.59 VuvsuLg+.net
所属研究員の研究成果を発表するための雑誌なのだから紀要とたいしてかわらないですよね
身内向けの雑誌ですよ
984:１３２人目の素数さん
23/12/01 17:57:09.46 jVciQaNA.net
事実を知っているわけでは無い事を憶測する時に人はその人自身の内面を吐露している
って本当でしょうか？
985:１３２人目の素数さん
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:１３２人目の素数さん
23/12/01 22:21:14.28 N/kI3Qpp.net
ゴールドバッハ予想如きの極めて簡単なものにすら歯が立たないとか
988:１３２人目の素数さん
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:１３２人目の素数さん
23/12/02 01:08:56.43 Y3H2v4ZZ.net
エラい強いeffective abc不等式が出たら、FLTの証明がエラい短くなるのだろう。
エラい強いeffective abc不等式から出てくるエラい強いeffective Mordell とコンピューターを使えば有理数解を全部数え上げることもできる？
990:１３２人目の素数さん
23/12/02 09:51:55.52 NCBRCihP.net
おやおや、このスレは放棄ですか？
991:１３２人目の素数さん
23/12/02 09:52:26.96 NCBRCihP.net
いけませんよ スレッドは最後まできっちり使い切りましょうね
992:１３２人目の素数さん
23/12/02 09:52:51.94 NCBRCihP.net
まったく、どんな育ち方をしてきたんだか
993:１３２人目の素数さん
23/12/02 09:54:05.03 NCBRCihP.net
皮でも骨でも内蔵でも全て使い切る 当然のことだと思いますがねぇ
994:１３２人目の素数さん
23/12/02 09:55:39.08 NCBRCihP.net
東京でも京都・大阪でも同じだと思うんですがねぇ
995:１３２人目の素数さん
23/12/02 10:02:04.73 NCBRCihP.net
URLﾘﾝｸ(www.ynu.ac.jp)
ふーん
でも、いくべきところは大学じゃないな
三●島でも木●川でもいくらでもあるよ
大学では全く教えない現実がそこにあるから
996:１３２人目の素数さん
23/12/02 10:02:35.63 NCBRCihP.net
いったんここまで
997:１３２人目の素数さん
23/12/02 16:50:42.42 NCBRCihP.net
皮革（ひかく）は、動物の皮膚を剥いだ「皮」と、
皮から毛を除いて鞣して得られる「革」の総称である。
998:１３２人目の素数さん
23/12/02 16:51:11.26 NCBRCihP.net
毛皮は毛をつけたままなめしたもので、広義には皮革に含まれる。
999:１３２人目の素数さん
23/12/02 16:52:00.67 NCBRCihP.net
人工的に作られた人造皮革（人工皮革と合成皮革）
と区別するため、動物の皮膚をなめしたものを
天然皮革（てんねんひかく）や本革（ほんがわ）
ということもある。
1000:１３２人目の素数さん
23/12/02 16:52:19.35 NCBRCihP.net
皮革の中でも元々生えていた体毛まで利用するものは毛皮 (Fur) という。
1001:１３２人目の素数さん
23/12/02 16:53:22.66 NCBRCihP.net
皮とは生物の表面を覆う組織であり、人類は特に動物の皮を利用してきた。
動物の皮膚をそのまま剥ぎ、製品として使用したものを皮という。
皮は乾燥させると硬くなるが、乾燥中に繰り返し揉んだりほぐしたりして加工すると
柔らかさを保つ性質がある。
1002:１３２人目の素数さん
23/12/02 16:54:17.70 NCBRCihP.net
しかし、皮には高温多湿の環境では腐るという大きな欠点があるため、
これを腐らないよう鞣して（なめして）加工したものが革である。
「革」は動物の皮を両手でピンと張ったところを表した文字である。
なめして革に加工できる皮を原皮という。
1003:１３２人目の素数さん
23/12/02 16:55:08.10 NCBRCihP.net
人類の祖先は動物の皮に着目し、これを利用するようになったが、
最初はネズミやウサギなどの小動物が利用されたと考えられている。
最初の皮革の利用は毛皮であった。
皮は有機物であるため、埋蔵状態によっては崩壊してしまい
古代の遺物が残される例は少ない。
考古学としては、これらの少ない遺物、壁画、文献などから
当時の皮革について研究が行われる。
1004:１３２人目の素数さん
23/12/02 16:56:31.16 NCBRCihP.net
例として、約5300年前のミイラであるアイスマンは
革のコート、革のレギンス、毛皮の帽子、干し草を詰めた靴がある。
これらは用途によって意識的に選ばれていたパッチワークで、
コートは家畜化されたヒツジ革4頭分、家畜化されたヤギの革などで作られ、
腰布はヒツジ革、レギンスはヤギ革、靴ひもは牛革、帽子はクマの毛皮であった。
また、これらのなめしの加工としては、
動物性脂肪に漬けたあとに意図的に土に埋める方法
が採用されており、撥水性に優れた性能を持っていた
と試料を分析したグループは述べている。
1005:１３２人目の素数さん
23/12/02 16:57:10.44 NCBRCihP.net
皮革は硬質の樹脂であるプラスチックが発明されるまで
人類が入手できる最も強靭な素材だった。
1006:１３２人目の素数さん
23/12/02 16:58:12.85 NCBRCihP.net
URLﾘﾝｸ(www.hikaku.metro.tokyo.lg.jp)
1007:１３２人目の素数さん
23/12/02 17:02:01.02 NCBRCihP.net
なめして革に加工できる皮を原皮というが、
原皮になりうるものは脊椎動物の皮に限られている。
また、実用的な皮革に加工するにはコラーゲン線維が十分に絡んでいて
一定の厚みや硬さが必要である
（皮下に十分に脂肪を蓄えて食用に適するよう品種改良されてきた
ニワトリなどは不向きとされている）。
また、革製品の加工に安定供給できるような素材である必要がある。
皮革の材料としては以下の動物が挙げられる。製品種類とともに記述する。
1008:１３２人目の素数さん
23/12/02 17:03:15.97 NCBRCihP.net
牛
一般的な革であり、革靴に使用される革としては最大数量。
一般に成牛の背中から脇までの皮を使用する。
カウ・ブル等の分類があるが、基本的に全て肉牛の皮である。
表面にエンボス加工を施すことにより、
オーストリッチ（ダチョウ）・ワニ・ヘビ
などの模造をすることも可能である。
外見上の特徴は特に無い。
1009:１３２人目の素数さん
23/12/02 17:04:15.97 NCBRCihP.net
豚
非常にやわらかい革を作ることも半透明にもできる。
表皮の下には脂肪層があるので、牛革のように厚い革にはできないのが特徴。
摩耗に強いので、ランドセルや靴の内革などに使用される。
三角形にそろった毛穴は一目で豚革と判別でき、価値が低いとして扱われてきたが、
近年は海外ブランドでもデザイン性を生かした衣料製品�
1010:ﾈどに使われるようになった。 特に、柔らかくなめしてガーメント（衣料革）に使われたり、 硬く半透明にして（生皮）ランプシェードなど工作用に使われることもある。 日本から輸出される数少ない革でもある。
1011:１３２人目の素数さん
23/12/02 17:05:09.46 NCBRCihP.net
馬
臀部以外の比較的柔らかい部分は靴の内革に多く使用される。
他に羊・山羊などの皮も用いられる
1012:１３２人目の素数さん
23/12/02 17:06:15.69 NCBRCihP.net
カンガルー
近年特に使用が増えた皮革である。
軽くて丈夫なのが特徴で、サッカー選手や陸上選手のスパイクシューズや
オートバイ用ライディングスーツ（革ツナギ）などにも使用される。
世界的に肉牛の需要が減少し、副産物としての牛革が減少するに伴い、
徐々に採用された。
基本部位は肉牛と同じく背中から脇であるが、
カンガルーは二足歩行するため、革の形状も三角形に近い形を成しており、
製造過程で若干の技術的困難が見られた。
外見上は牛革と大差なく、見分けはつきにくい。
1013:１３２人目の素数さん
23/12/02 17:07:32.58 NCBRCihP.net
その他の哺乳類
ゾウ - 傷に強く頑丈な革である。ワシントン条約で輸入が規制されている。
ウサギ - 毛皮
シカ - 繊維は細いが、からみ合いが粗く、非常に柔らかい革である。
鹿革では、印伝が有名で、特殊ななめしをしたうえに、漆で模様をつけたものである。
クマ - 毛皮。かつて革としても使われていた。
水牛 -バッファローという商品名で流通している革で独特のしぼ感と柔らかさがある。
水にいる生物なので革も水に強い特徴がある。
1014:１３２人目の素数さん
23/12/02 17:08:11.61 NCBRCihP.net
ネコ - 腹側は三味線に用いられる。
イヌ - 毛皮。毛皮の中で最も保温性が高いと言われている。
トラ - 毛皮
オオカミ - 毛皮
ヒョウ - 毛皮
タヌキ - 毛皮
キツネ - 毛皮
イタチ - 毛皮。ミンク、テンなど。