Robert Kučera

Biography / 経歴

数学においてある自然数の集合がK自明集合 であるとは、 その始切片 を2進文字列と見た時に記述しやすいことを言う。 すなわち、その接頭コルモゴロフ複雑性が可能な限り低く，計算可能集合のそれに近いことを言う。 ソロベイ は1975年に計算不可能なK自明集合の存在を示した。

Notable Works / 代表作