[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
105: 2022/03/29(火)07:54:17.21 ID:CfzPxEsU(1) AAS
外部リンク:webcache.googleusercontent.com
math_jin
Mar 26
★ついに放送日決定★
NHKがabc予想を証明したとされる望月新一さんの周辺を10年にわたり長期取材。賛否両論を巻き起こす日本発の革新的新理論を巡る渾身の科学ドキュメンタリー!
#NHKスペシャル
『数学者は宇宙をつなげるか?abc予想証明をめぐる数奇な物語』
2022年4月10日(日) 総合テレビ 夜9時
m
@m69329
省4
136(1): 2022/04/07(木)18:47:25.21 ID:LFhtAE4e(1/6) AAS
そもそも山形底辺准教の件は
2008年に学内ハラスメントについて
守秘義務違反のネット公開して人権侵害していた件が発端
職員の学内自治ルールを一方的に破って、外部を巻き込もうとした山形底辺准教がアウト
2017年の有名人相手の訴訟恫喝(恐喝)は、底辺大学理学部へのアドバイス。
法務省と相談した上で底辺准教の錯乱状態(匿名誹謗中傷の末に親告罪訴訟恫喝をして身元確定)が確定、
この種の錯乱者が暴れる職場ではストレスが蔓延して結果的に生命を失う人が複数発生しかねないから
学内で孤立した底辺准教を親和的に受け入れ、学内トラブルが拡大し学外にまたまた迷惑をかけないようにというアドバイス。
実際に警告の翌週から2回に渡り、キャンパス内投身自殺者が出る騒動となった。下記参照
「学生がアカハラ受け自殺か…ある国立大学で起こった裁判の行方 ー学内での自殺が相次ぐ中でー」 (2018-01-23) 外部リンク:gendai.ismedia.jp 学長メッセージ(2017-10-25) 画像リンク[png]:gendai.ismcdn.jp
省6
182: 2022/04/10(日)21:11:27.21 ID:7m3EFE3f(2/3) AAS
古都の名刹と数学の隠者の庵の静謐さ溢れるひょろひょろ美術感・・・
奥深ぃッ!(卒倒)
270: 2022/04/13(水)01:48:18.21 ID:2bmDPLtf(1) AAS
天羽さんの人気が高すぎて
脂汗を額にまみれながらアンチ活動をするa_watcherを引き続きお楽しみ下さい
410: 2022/04/18(月)20:45:40.21 ID:TUyIy4XF(1) AAS
画像の編集はうまかった
442: 2022/04/21(木)14:39:44.21 ID:5uDCQIOe(1/2) AAS
>>441
もっちーの
安否確認情報は
2022年03月20日以降は
不明ですねw
外部リンク[html]:www.kurims.kyoto-u.ac.jp
望月新一の安否確認情報
2022年03月20日
・(論文)修正版を更新(修正箇所のリスト):
454: 2022/04/21(木)21:52:44.21 ID:OijqNbVA(2/3) AAS
>>453
そういや番組ではCor3.12については触れてなかったね
473(1): 2022/04/22(金)18:12:37.21 ID:0AQbOsRq(1/3) AAS
>>470
> 3億円欲しいんじゃない?
欲しいです(貰えるものならばw)
誰しもでは? 3億円辞退は勇気いりますよ
100万ドル(1億円以上)を、断った数学者がいました。フィールズ賞も断ったとかw
外部リンク:ja.wikipedia.org
グリゴリー・ペレルマン
「自分の証明が正しければ賞は必要ない」として受賞を辞退した。フィールズ賞の辞退は、彼が初めてである。
2010年3月18日に、クレイ数学研究所は、ペレルマンがポアンカレ予想を解決したと認定して、ミレニアム賞(副賞として100万ドル)授賞を発表した。彼は、2010年6月8日の授賞式に姿を見せなかったが、クレイ数学研究所の所長は「選択を尊重する」と声明を発表し、賞金と賞品は保管されるという[4]。同年7月1日にロシアのインテルファクス通信がペレルマンの話として伝えたところによると、受賞を断った理由は複数あるが、ハミルトンのリッチ・フロー発見に対する評価が十分でないことなど、数学界の不公平さに異議があることをその主たるものとして挙げたという[5]。これを受けて、クレイ数学研究所は、同年秋までに賞金の使途を数学界の利益になる形で決定すると述べた。
644: 2022/04/26(火)19:05:33.21 ID:AET6da7t(6/7) AAS
>>643
そこまで馬鹿なのか
基本的なアイデア、構造から論理的にできるのが理論
パラドックスは公理系をこねくり回してたまたまわかった欠陥
694(1): 2022/04/28(木)21:37:55.21 ID:ztGXPhc+(1) AAS
>>693
とりあえずルベーグ積分論あたりから勉強しなおしたら?
許す場合も許さない場合もあるから。
747: 2022/04/29(金)20:42:06.21 ID:Xb9y0a6v(1/4) AAS
>>君なんもしてないだろ 馬鹿か?馬鹿なのか?
一生懸命考えている。
バカかもしれないがバカなりに一生懸命
考えている。
君は何か考えてたのか?
794: 2022/04/30(土)10:27:37.21 AAS
ゲーデルの不完全性定理というのは簡単に言えば
「帰納的な自然数論の公理系では
公理系による証明可能性を算術的に定義できてしまうが
そのような証明可能性述語を用いて無矛盾性を記述すると
無矛盾性が証明できてしまうと、矛盾が証明できてしまう」
といえるんですな
したがって
『帰納的な自然数論の公理系から矛盾が証明できないとき
無矛盾性も証明できない』
といえるわけです
省9
796(2): 2022/04/30(土)10:42:04.21 ID:Vf6bDvV+(12/26) AAS
>>777 補足
>もっとやるべきこと(努力の余地)あると思うよ
例えば
IUTが、下記のように コンピュータのプログラムだとすると
プログラムの可読性を上げる方法はいくつかある
1)フローチャート作成。これ結構有効。テキストでも、最初に、各章の繋がりを図解してあったりするよね
2)プログラムに、コメントを入れる。変数の意味とか、サブルーチンに、その意図と分かり易い名前を付けるとか
(参考)
外部リンク:ja.wikipedia.org
宇宙際タイヒミュラー理論
省3
955: 2022/05/07(土)08:21:14.21 ID:yBOZLYN8(2/13) AAS
sage
962: 2022/05/07(土)10:25:19.21 ID:RvSx8gdr(1) AAS
違うわバーカ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.036s