[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 71 http://rio2016.5ch.net/test/read.cgi/math/1713536729/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
298: １３２人目の素数さん [] 2024/05/05(日) 08:23:28.58 ID:fBCTdg1W １＝ID:HvNo6+XN は基本何もわかってない 正則行列の条件も何一つわかってないし http://rio2016.5ch.net/test/read.cgi/math/1713536729/298
315: １３２人目の素数さん [sage] 2024/05/05(日) 16:04:27.52 ID:fBCTdg1W 1=ID:WLbxyLlj は問題を取り違えている 命題Pが証明可能か否か ではなく 命題Pの証明と称されるものPrfが証明担っているか否か 前者は決定不能だが 後者は決定可能 http://rio2016.5ch.net/test/read.cgi/math/1713536729/315
316: １３２人目の素数さん [sage] 2024/05/05(日) 16:05:52.43 ID:fBCTdg1W >>315 １字修正 1=ID:WLbxyLlj は問題を取り違えている 命題Pが証明可能か否か ではなく 命題Pの証明と称されるものPrfが証明になっているか否か 前者は決定不能だが 後者は決定可能 http://rio2016.5ch.net/test/read.cgi/math/1713536729/316
324: １３２人目の素数さん [] 2024/05/05(日) 19:03:36.77 ID:fBCTdg1W >>322 証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能 つまりギャップがある時点で証明ではない http://rio2016.5ch.net/test/read.cgi/math/1713536729/324
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.036s