【Ω】ゲーデルを超えて オメガ数が示す数学の限界
■ このスレッドは過去ログ倉庫に格納されています
0048132人目の素数さん
2007/10/28(日) 19:39:09>そのプログラムがいずれ停止するものである確率だ。
と
>完全に定義でき,確定値を持つのに,決して計算しきれない数
が同じ数を指してるようには思えないんだよな…
プログラムnがいずれ停止する時にpn=1、そうでない時にpn=0とおくと
前者はlim[n→∞](Σ[i<n]pi)/nで後者はΣ[n=0,∞]pn/(2^n)を指してるように思えてならない
■ このスレッドは過去ログ倉庫に格納されています