「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

948(1): デフォルトの名無しさん [sage] 2025/02/06(木) 22:34:55.78 ID:m0cItbCE(1/2) AAS
ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった？

970: デフォルトの名無しさん [sage] 2025/02/12(水) 04:41:30.83 ID:osC1JZ7j(1) AAS
>>948
チャイティンのオメガはもっと知られてても良い筈。