[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 71 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

298(1): 2024/05/05(日)08:23 ID:fBCTdg1W(1/4) AAS
１＝ID:HvNo6+XN　は基本何もわかってない
正則行列の条件も何一つわかってないし

---

315(1): 2024/05/05(日)16:04 ID:fBCTdg1W(2/4) AAS
1=ID:WLbxyLlj　は問題を取り違えている

命題Pが証明可能か否か　ではなく
命題Pの証明と称されるものPrfが証明担っているか否か　

前者は決定不能だが
後者は決定可能

---

316(1): 2024/05/05(日)16:05 ID:fBCTdg1W(3/4) AAS
>>315　１字修正

1=ID:WLbxyLlj　は問題を取り違えている

命題Pが証明可能か否か　ではなく
命題Pの証明と称されるものPrfが証明になっているか否か　

前者は決定不能だが
後者は決定可能

---

324(1): 2024/05/05(日)19:03 ID:fBCTdg1W(4/4) AAS
>>322
証明の構文規則にあてはまっているかどうかチェックするだけなので決定可能
つまりギャップがある時点で証明ではない

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 1.922s*