[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
545(1): 2023/06/12(月)19:38 ID:JGs8cB1b(4/4) AAS
誤 バグがないから矛盾するから証明できる
正 バグがないなら矛盾するから証明できる
546(2): 2023/06/12(月)20:55 ID:WCNckC2q(3/3) AAS
>>544-545
スレ主です
おサルさん 2chｽﾚ:math
また、ウソ書いてないかな？
>プログラムのバグ探しは無矛盾性証明と同じ
>バグを必ず見つける方法は存在し得ない
・無矛盾性証明-バグ探し （これは可です（下記「ウェア・ツールのありかた」参照））
・プログラム停止判定-不完全性定理と同じ（これは不可（下記「停止性問題」wikipedia参照））
この二つを混同しているよねｗ
(参考)
省13
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.523s*