>>31
>>37
ありとあらゆる可能なプログラム全部を桁に割り当ててそのプログラムが有限の時間で止まるか止まらないかで1とゼロを割り当てて作った実数。