朗報　ZEN大学、宇宙際タイヒミューラー理論の授業がある

　
望月新一監修加藤文元著宇宙と宇宙を
つなぐ数学によれば、
IUTは望月新一教授1人が望月語より
作られた。

Ivan Fesenkoは望月IUTにはど素人だし
ラスプーチンみたい

タフなことは確か

最近は一般マスコミにも出てこなくなっちゃったね
このままフェードアウト？

>>234
望月って人じゃなくて
数理研にいるまわりの人
論文査読したであろう人を
問い詰めるべきだと思うが
先日の学会講演でも誰も
そのことについて問わないのは
日本数学会が機能していない
ちうことを露呈したな
真剣な対立を嫌う日本では
解明は進むまい

IUT論文問題はSTAP論文問題より
悪質だしまた京大かw

今度ほど総合講演を聴きたくないと
思ったことはなかった

https://twitter.com/hottaqu/status/1997377234202673194

>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。

やだぁ、新展開？　興味あるぅ
https://twitter.com/thejimwatkins

>>238
zmc（zen数学センター）では計算機数学も中核にしてるらしいからそこでやるのかしら

定理証明支援ソフト「Lean（リーン）
は数学基礎論に基づき数学が対象です。

望月加藤文元が明言しているがIUTは
数学でなく全く新しい理論で未完成。
つまりトンデモで対象外です。
zen大学設立認可の宣伝にIUTの名を使いましたが、IUTはトンデモでIUT研究所は
潰れました

今年こそ新展開を期待

定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
https://itest.5ch.net/rio2016/test/read.cgi/sci/1767855741/

>>241
リーンにご期待下さい！！

いかにも薄っぺらい名前だぜ

>>240
>望月加藤文元が明言しているがIUTは
>数学でなく全く新しい理論で未完成。
>つまりトンデモで対象外です。
F1はどうなんですかね？
黒川さんが提唱する絶対数学は

F1だろうがモチーフだろうが
個人が理想的あるいは仮想的な存在を念頭に置いて
数学研究を進める分には何の問題もない
如何なる意義があるかはいずれ歴史が判断すればよいこと
ただし数学になっていない部分まで成立していると
主張しだしたりした場合は別

少なくとも筋は悪そう

最終的に失敗でした
で終わるのが研究の大半だからこそ
夢物語に価値があるのよ
だがウソはいかん

それは甘い
夢物語だけ語って成果が無いのは害悪
それを許していると
いずれ数学は夢物語を語っていれば良いことになりかねない

頭の中に置くことに問題は無いし
本当に成り立ちそうな予想を表明するのも構わないが
定義すらままならない
概念ですら無いものを
延々語るのはいかがなものかな

様相論理学と宣言型言語。

>>251
宣言型プログラミング言語とバイブコーディング。

対象となる例を1つたりとも示すこと無く、
その対象の持つ性質だけから演繹的に証明を
して対象が満たす別の性質を導く。

それではその性質を持たす対象が実際に
存在するかには関係なく議論が整然と進
められるのであれば、そのような性質を
満たす対象の存在は仮定しなくても良い
ことになる。存在していなくても、命題
は真であるから。
そうして、まだ未発見の素粒子のように、
いずれ将来このような性質を満たす数学的
対象物が発見されるかもしれないから、我
々はその発見を期待して待てば良いと言い
残せる。

15歳少女に現金渡しわいせつ　容疑でZEN大学教授を逮捕　「ニコニコ学会βの創設者」
2026/2/25 20:50

https://www.sankei.com/article/20260225-YBRLSSNO3ZKIBJPYQJM56TUZIE/

>>254
>ZEN大学教授
ZEN大学の教授って……ニコニコ関係者？ひろゆきももしや教授？

人工知能学会理事だったらしいな
https://www.ai-gakkai.or.jp/whats-new/announcement_20260226/

>>256
あんなのが？
kなんのコネ