[過去ログ]
Inter-universal geometry とABC 予想57 (1002レス)
Inter-universal geometry とABC 予想57 http://rio2016.5ch.net/test/read.cgi/math/1723187304/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
3: 132人目の素数さん [] 2024/08/09(金) 16:13:35.60 ID:QAloxS3v NHK スペシャル. 数学者は宇宙をつなげるか?abc予想証明をめぐる数奇な物語 2022.4.10 https://www.nhk.jp/p/special/ts/2NY2QQLPM3/episode/te/PMMKK4872L/#article http://rio2016.5ch.net/test/read.cgi/math/1723187304/3
15: 132人目の素数さん [sage] 2024/08/18(日) 21:44:00.60 ID:QJNpFYdR >>13 それで星はIUTを選ばなかったとw http://rio2016.5ch.net/test/read.cgi/math/1723187304/15
99: 132人目の素数さん [] 2024/09/10(火) 23:33:05.60 ID:cOYwTeQG 司会者は素人丸出しのような質問はしない http://rio2016.5ch.net/test/read.cgi/math/1723187304/99
226: 132人目の素数さん [] 2024/11/21(木) 04:06:03.60 ID:jU0b7pU9 でもこれだと意味ない気がしてるんだよな…… 何分AI製でコードの中身が完璧に分かってるわけではないから意味分からん事してる可能性が高い あまりにもこれだと復元が完璧すぎるからそんな予感する maxiterいじっても重くならないの意味わかんねーしな http://rio2016.5ch.net/test/read.cgi/math/1723187304/226
258: 132人目の素数さん [] 2024/11/29(金) 21:22:29.60 ID:tlJIOZ/m せめてIUT4論文を英語で一読でもした生徒が揃うと良いな。 http://rio2016.5ch.net/test/read.cgi/math/1723187304/258
380: 132人目の素数さん [] 2025/01/07(火) 20:07:22.60 ID:L4T7M/PG IUTTのように組み合わせた装置は 昔からあり人魚のミイラまで存在する。 実際は魚や布を改造し組み合わせた.なんでも 模造の一つで人魚存在の証しにならないだろう。 IUT提唱者が勧めるコンピュータ-グラフィック CGの幻想もabc conjecture証明のideaにはならないのに、、京大数理研の伝統なのだろうか? http://rio2016.5ch.net/test/read.cgi/math/1723187304/380
387: 132人目の素数さん [sage] 2025/01/17(金) 17:04:57.60 ID:KMqwBVHZ 数理研のW望月 ABCの新一、Dの拓郎 http://rio2016.5ch.net/test/read.cgi/math/1723187304/387
573: 132人目の素数さん [] 2025/05/31(土) 08:42:48.60 ID:gxTfMD+Z 五郎つながり http://rio2016.5ch.net/test/read.cgi/math/1723187304/573
604: 132人目の素数さん [] 2025/06/04(水) 12:47:31.60 ID:8zrDp/9i 査読をパスした 700ページの論文が残っていても? http://rio2016.5ch.net/test/read.cgi/math/1723187304/604
695: 132人目の素数さん [sage] 2025/06/07(土) 11:10:34.60 ID:7dNqVJgc 種がメインの話なのに擁護側も批判側も種の話してないの やっぱり誰も読めてないんじゃんw 100万トークン入る大規模言語モデルだけが何がメインなのか見抜けた http://rio2016.5ch.net/test/read.cgi/math/1723187304/695
807: 132人目の素数さん [sage] 2025/06/10(火) 13:39:04.60 キチガイ無職が警察に泣きついて法律知らないバカであることを言い聞かされるの最高に快感 知能の無さの証明になるw キチガイ無職が警察に登録されるから世のため人のため http://rio2016.5ch.net/test/read.cgi/math/1723187304/807
977: 132人目の素数さん [] 2025/06/15(日) 01:41:28.60 ID:a7iqgtnz A) 形式言語化の骨格 記号 意味 個体定数 g “神 (God)” 個体定数 ω “この世界 (world)” 個体定数 genji, murasaki 「光源氏」「紫の上」 0, S( ) 自然数 0 と後者関数(弱算術 Q) C(x,y) “x が y を創造した” L(x,y,t) “時点 t に x が y を愛している” R(r,p,t) “読者 r が時点 t に段落 p をそう読む” 聖書の命題(公理例) 1. C(g , ω) (創世記1:1) 2. ∀t R(r , ⌜C(g,ω)⌝ , t) (どの読者も創造句を正典とみなす) 源氏物語の命題(公理例) 1. Hero(genji) 2. ∀t ∃y L(genji , y , t) (いつも誰かを愛す) 3. ∀r,t R(r , ⌜L(genji,y,t)⌝ , t) (読者は恋物語として解釈) ここで ⌜φ⌝ は命題 φ の Gödel 番号。 番号づけ・量化・弱算術 Q がそろっただけで理論 T は • 再帰的可算(Henkin 1950) • 任意 r.e. 集合を Σ¹ 式で表現(Shepherdson 1961) • T ⊬ Con(T) かつ決定不能文 θ を必ず抱える(Gödel 1931/Rosser 1936) よって 「聖書・源氏物語は形式体系でない」→誤り。 どれほど主観・感情・独自解釈を加えても、 読者・段落・時刻を「1, 2, 3…」と数える骨格を排除できず、 第一不完全性定理の射程外へは逃げられない。 http://rio2016.5ch.net/test/read.cgi/math/1723187304/977
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.033s