No.1
200: IUT一派は学術界にとって有害では？ (29)
レス数: 29
概要: 学問的誠実性の欠如
No.2
No.3
No.4
No.5
No.6
No.7
No.8
No.9
No.10
https:
No.11
アマチュアの村人A
プロの村人A
在野の村人A
poem
No.12
https:
No.13
>打開策として、望月氏が示しているのが、定理証明支援ソフト「Lean（リーン）」の活用だ。
いよいよか
https://twitter.com/thejimwatkins" target="_blank" rel="noopener">https:
No.14
>> 232
＞望月氏が打開策示す
望月氏の主張は
証明になっていないと主張する側が打開しろ
と言っているに等しい内容ですから
到底打開策とは言えません
証明が理解不能という批判に開き直って
> (NwExp) entirely standard practice in professional
> mathematics for research papers to be written with
> a rather narrowly defined circle of experts in mind.
と言い放っているにもかかわらず
形式化が"narrowly defined circle of experts"によってではなく
外部の研究者によってなされるべきと言っているのですから
> (LnCom) the task of communicating the mathematical
> content of IUT to mathematicians (such as arithmetic
> geometers) with professional expertise in writing
> Lean code is one important area of currently on going
> efforts with regard to the goal of Lean-style
> formalization of IUT.
当初は歓待されたのにご存じの結果に終わった
Joshi氏やBoyd氏の顛末に鑑みて
望月氏に協力する研究者が現れるはずもありません
（標準的な遠アーベル幾何の形式化は別）
形式化できないのは外部の数学者がiutを
理解できないから・拒絶しているからだと
これまで通りに責任を転嫁して
自らを納得させることになるのではないでしょうか
No.15
>> 261 それについては>> 246にある通り
別に本人が形式化を実行する必要はありませんが
本人が音頭を取って本人の責任の下に行われるのでなければ
事態は何も進展しません
証明責任は証明を主張する側にあります
途轍もない主張には途轍もなく固い証拠が必要です（カール・セーガン）
No.16
https:
─
三次元
https:
─
暗記は運なのか
https:
─
｢優先学｣とは？
https:
─
子供が救えて
https:
─
水平思考と垂直思考でAIを越えよう。出落ち
https:
─
位相空間結晶続き。｢｢But So｣｢So But｣｣
https:
─
位相空間結晶続き。｢原始一覧or原初一覧｣｢学問一覧は理由を説明できる。これは理由を悪なる説明はできず善なる説明は沢山作れるが全ての説明が本当の所を言い当てていない説明が実在しない一覧｣｢が実在する｣。これを特定する説明
https:
─
殺陣系の戦闘
https:
No.17
No.18
ここのスレタイの同内容が他所に出たのでリンク
No.19
ご無沙汰しております。
さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。
💩💩💩💩💩💩💩 召し上がれ♩
No.20
お客様の声(クレーム)｢主にIUT学派相手にウンコ売りつけてるコーナーがあるのですが、IUT学派を原始時代の類人猿に見るような、非文明的なイデオロギーとコーナーだと思います。即刻無くすべきだと思うのですが、文明的な理由がおありなのでしょうか？｣
No.21
IUT学派は文明的
No.22
おっ、意外とイケるじゃん。
3コもペロリですよ。
良い仕事してますね〜。
💩💩💩💩
No.23
226/01/07(水) 03:10:01.55ID:w6sNuE06
質問
y^2＋x^2=r^2の円の方程式って
ブラケット記法的に、
y=xを一番簡単なブラケット記法に
円の方程式が複雑記法に表記もできるけど
円の方程式は同じく簡単な表記にもできたり
なんてしないか？
No.24
ウンコの特売セールだよ。
今が買いどきだよ。
💩💩💩💩💩💩💩💩💩
No.25
来ていないと言うなら来ていないことを証明しろ！
No.26
💩 💩 💩
No.27
https:
─
迷惑寄付とは？
https:
─
実動するは実静しない、と、実静するは実動しない
https:
─
平均台→依存
https:
─
挿入→賢者→吊→自分呼称→セルフ
https:
─
法律に公序良俗が組み込まれてる
https:
─
肉体的挙動と霊的挙動の違いわからん
https:
─
定量的と定測的。編み目拡大ｽｶｽｶ量、編み目不変ﾐﾂﾐﾂ測
https:
─
何かへ力へ
https:
No.28
https:
─
走馬灯現象の秘密とか
https:
─
雑多な宗教スレ案件
https:
─
デバッグ学と修辞学、それと雑記
https:
─
式間を繋ぐと失われるかわかる物、新たな数学式
https:
─
神話存在の神話文属性は神話創作芸術と神話利用変数挿
https:
─
この物理板は
https:
─
12月～1月の期の候
https:
─
異世界で実家となる家ができた場合って
https:
No.29
垢版 | 大砲
2026/02/15(日) 14:12:50.09ID:1wFiNabP
座学…感覚✕│頭脳○
実学…感覚○│頭脳✕
危学…感覚○│頭脳○
遊学…感覚✕│頭脳✕
遊ぶというのが馬鹿にできないと判明。危学ですら救助できない救助する力。遊ぶとは何が工夫できるかなと楽しさへ荒唐無稽。危学は工夫できなきゃ死ぬ。実学と座学はどうに？
