原理がそうなんだからそうだろ
実際ICM2022のplenary speakerの一人、kevin buzzardによるセッション「数学における形式主義の台頭」で説明している通り、
現代数学の多くの理論がコンピュータで形式化され、現実にもなりつつある
https://youtube.com/watch?v=SEID4XYFN7o
多変数函数論
■ このスレッドは過去ログ倉庫に格納されています
342１３２人目の素数さん
2022/10/12(水) 21:18:25.38ID:g1qX9SX3■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾 [冬月記者★]
- 高木豊氏 本田圭佑のＷ杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 坂口杏里、現在の体重は衝撃の94.2kg 「もうすぐ100キロ…」もダイエット決意「みにくい体型とはおさらば。応援お願いします」 [muffin★]
- 五等分の花嫁で屁が臭そうな女キャラ
- 氷系の最上級魔法はインブレイスエンドですよね？
- スマホゲームに課金したい
- 最高の景色をー🏡⚽👊😅👊⚽
- 【筋肉】アナトリーて日本人で言うと誰なの？ [993451824]
- でもぶっちゃけ自分の人生がお前らみたいな人生じゃなくてよかったと思うだろ