[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
548(1): 2023/06/13(火)06:09 ID:QCbVeGHD(1/2) AAS
>>546
> スレ主です
またおヌシか
> おサルさん また、ウソ書いてないかな？
ここでウソ書いてるのはもっぱらおヌシだが、自覚ないのか？
> ・無矛盾性証明-バグ探し （これは可です）
> ・プログラム停止判定-不完全性定理と同じ（これは不可）
> この二つを混同しているよねｗ
否
まず、「バグの発見」は「停止判定」のことではない
省25
550: 2023/06/13(火)08:17 ID:PdPS2uC7(2/2) AAS
>>548-549
必死の論点ずらし
笑えるｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.119s*