22/02/28 22:12:33.69 GVKbOXwD.net
>>963
正しい論文を否定し、数学の発展を阻害することは許されないことだ
991:132人目の素数さん
22/02/28 23:02:51.89 ugAukdxO.net
>>949
文章がでたらめ。まともな数学の書き方でなく意味が確定してない。
ほら、反証したぞ。
理解出来ないんだろ。
992:132人目の素数さん
22/03/01 01:37:42.92 levuXaYd.net
>>964
正しいかどうかを決めるのはお前ではない
論文誌のレフェリーが決める
その当たり前のルールが死ぬまで分からん能無し
993:132人目の素数さん
22/03/01 01:59:44.80 NkvdF4qZ.net
論文の責任はあくまで著者にあるだろ。
雑誌の編集者にあるのは、掲載してお墨付きを与えるという責任。
正しくない論文の責めは著者が負う。
雑誌や編集者は、妥当でない論文を載せてしまうと信用を失う。
高木氏は、正しいと言い張ることで、ほとんど全く信用を失っている。
正しいと思っている人がいないので、責任を追及される段階になっていない。
994:132人目の素数さん
22/03/01 08:05:44.04 7E3Vnd32.net
Nスペでショルツ出てくると思う?
995:132人目の素数さん
22/03/01 09:25:17.03 MdW6NFWn.net
>>965
>>965の文章がな
>>966
正しいと論文が掲載されることに相関はないと書いている人がいたが
>>967
何度も書いて馬鹿みたいだが、「ご名答。」、「天衣無縫だ。」、「perfectだ。」、「endorsementだ。」
と誰だかは分からないが言われていて、5chで「大数学者になるかも。」という趣旨のことを書かれている。
996:132人目の素数さん
22/03/01 09:
997:27:25.02 ID:zV2pgllD.net
998:132人目の素数さん
22/03/01 09:30:49.43 BXwegUSh.net
>>969
理解出来ないんだ。低脳すぎだろ。
間違いが確定したので消えろ
999:132人目の素数さん
22/03/01 09:31:59.51 BXwegUSh.net
>>969
偉そうなこと言う前に
965に反証wwしろよ
出来ないんだろ
1000:132人目の素数さん
22/03/01 09:32:58.68 MdW6NFWn.net
>>971
誰の間違いが?
1001:132人目の素数さん
22/03/01 09:35:17.30 BXwegUSh.net
>>973
3本の論文とやらの間違いが確定したってことだよ。
クズ
1002:132人目の素数さん
22/03/01 09:44:49.38 AYAqz2ae.net
>>969
ならその自分で勝手に正しいといえば正しくなる妄想世界で生きとけバーカ
人の世に出てくんな能無し
1003:132人目の素数さん
22/03/01 10:17:23.47 WD7pYBhA.net
アマチュアが整数論の難問を初等的な解法で解けたというのは、ほぼ100%疑われる案件
1004:132人目の素数さん
22/03/01 10:33:29.56 MdW6NFWn.net
>>976
何が疑われるのですか
1005:132人目の素数さん
22/03/01 10:53:23.58 ev5M7ky9.net
>>968
ショルツェ
1006:132人目の素数さん
22/03/01 11:08:39.36 NTejpbw+.net
>>968
大きく貢献してくれているし、個人でやっている科学系の記者のメールにも快く応えてくれていた記憶があるから、
逆に全く出ないと違和感を覚える
1007:132人目の素数さん
22/03/01 12:31:20.49 gD9IF3q5.net
Yitang Zhangとかいないこともないけど、まあ疑われるよね
1008:132人目の素数さん
22/03/01 13:05:01.90 Yym3y6T/.net
番組では、シェルツォの謝罪が見れるかな~ドキドキ...!!
1009:132人目の素数さん
22/03/01 13:34:00.85 lmgINu6O.net
今日も妄想全開wwwww
能無し〜wwwwwww
1010:132人目の素数さん
22/03/01 17:25:34.54 lC3OJjey.net
まあ、Nスペ、数奇な物語ってタイトルだし、ショルツ激オココメントいい放しの感じだろうなぁ
1011:132人目の素数さん
22/03/01 17:38:15.57 WD7pYBhA.net
どう見てもヨイショなのわかるでしょ
数学者が内容に期待するようなもんじゃない
1012:132人目の素数さん
22/03/01 18:44:11.20 ev5M7ky9.net
>>983
ショルツェ
1013:132人目の素数さん
22/03/01 19:20:47.18 V4XTkXDA.net
>>983
単に数学の証明が合ってるか合ってないかだけの話をどこまで膨らませるんだろう?
1014:132人目の素数さん
22/03/01 19:25:03.10 ev5M7ky9.net
3月6日に放送予定だったのが
ウクライナ情勢の影響で3月19日以降になったというが
変な話ではないか。
1015:132人目の素数さん
22/03/01 19:36:13.43 Eks3YeZC.net
この件の暗黙の主題は
30年前に教育研究用関数型プログラミングの文脈で
オブジェクト指向等包括し得るプログラミング・モデルの描像とされた「圏論的プログラミング」の概念を
モジュール的プログラミング手法として抽象し
プログラミングとは別の文脈すなわち数学における大規模な証明技巧として成立させる事ができるのかどうか、現状ではどのような問題がネックとなっていて、その解決の見通しはどこにあるのか
という話だと理解している。
仮に、モジュール的プログラミングの手法で問題分割と分割証明を形式化できれば、これまで少数の緊密な関係にある数学者だけでは手に負えなかった規模の問題をブルートフォースで解決できるようになるかもしれない
ただし問題全体を見通す能力のある人が存在しない問題領域に突入すると、ステップバイステップでは正しそうだけど全体としてはどこかおかしな証明というのがまかり通ってしまう可能性もあり、それを2010~2020年代現在の人類はどのように克服するのか?
が多くの人の興味であろう
1016:132人目の素数さん
22/03/01 19:45:21.76 Eks3YeZC.net
ここで肝心なのは
「圏論的プログラミング」「証明的プログラミング」等の概念は
あくまでプログラミング分野における数学的概念や論理学の応用に過ぎない点。
それと対称の位置にあるであろう
数学分野や論理学におけるプログラミング概念の応用はたとえば命題自動証明プログラムの形で50~60年前から研究が行われているものの
その成果は極めて限定的であり、現時点では実用的に相互変換可能な物とはなっていない。
それが判っていないと
希望的観測では出来て当たり前だからやらない奴が怠け者だ、といった類の専門外底辺准教の愚者の空理空論になってしまう
1017:132人目の素数さん
22/03/01 19:52:12.43 Eks3YeZC.net
IUT関連スレで毎日騒いでいる底辺准教はそれが判っていないように見える。
この底辺准教は、新規分野で測定さえすれば即座に形式的学位の出る「ラマン散乱測定」で二度学位を取っただけの実力のない人間なのでしょうがない
1018:132人目の素数さん
22/03/01 20:24:45.02 qG6wiXMB.net
>>990
ラマンなんてもう古いだろ
時代はランバダだろ
1019:132人目の素数さん
22/03/01 22:00:40.35 yBGPuhcf.net
>>987
2/27に急遽ウクライナ特集
2/27→3/5に延期
3/5→3/6に延期
3/6→東日本大震災関係やパラリンピックや土曜ドラマが決まってて、3/20頃に延期、という流れらしい
1020:132人目の素数さん
22/03/01 22:16:43.10 sCik9gT4.net
さっきウクライナ生まれのフランスの数学者から
募金への協力依頼が来た。
とりあえず100ユーロ寄付させてもらった。
1021:132人目の素数さん
22/03/02 00:10:24.74 kLgFupWu.net
100ユーロとか、舐めてんのか
1022:132人目の素数さん
22/03/02 01:15:32.37 kyRANJA9.net
100円寄付そたよ。楽天ポイントで。
1023:132人目の素数さん
22/03/02 08:48:14.83 gPM2e/sG.net
>>994
閉関中なので
1024:132人目の素数さん
22/03/02 13:30:54.51 bpdJx5mD.net
HigherGeometerは当人のtwitterによるとNスペに出演してるようだね
どういう意見を述べるのか
1025:132人目の素数さん
22/03/02 13:45:35.08 MAWTHbbJ.net
>>997
ウクライナで戦闘が続いている間は
Nスぺは放送しないと思うよ
You might wish to help … Here are two possibilities.
1. a) We with my wife Larissa are members of an association «Portail de l’Ukraine»
which since 2020 is helping with medecin and other things, helping refugies,
organizing transports (bying fuel for example) to Ukraine and so on. Here is a link for
Your donations
URLリンク(www.helloasso.com)
1026:132人目の素数さん
22/03/02 17:28:43.04 kLgFupWu.net
Robertsさん、出るのか!!
こいつぁ、面白くなってきたぜ~
1027:132人目の素数さん
22/03/02 17:37:56.80 gPM2e/sG.net
Here is the list of the Organizing Committee of ICM-2022 whom I had send
my letter
luigi.ambrosio@sns.it
piccione@ime.usp.br
ramadas@cmi.ac.in
gtian@math.pku.edu.cn
ziegler@math.fu-berlin.de
helge.holden@ntnu.no
nalini.joshi@sydney.edu.au
loyiso.nongxa@wits.ac.za
hoemberg@math.tu-berlin.de
mori@kurims.kyoto-u.ac.jp
%%%%%%%%%%%%%%%%%% MY LETTER %%%%%%%%%%%%%%%%
Dear Colleges,
I'm addressing You as the members of the Organizing Committee of ICM-2022.
Don't You think that it is the moment to cancel the ICM-2022 in Russia?
And transfer it to Paris? This was an alternative option. Remember this was the case with Congress in Warsaw 1982.
Sincerely Yours,
Sergey Ivashkovich,
Prof. Math.
University of Lille
France
1028:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 125日 21時間 43分 41秒
1029:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています