喻良:Some more results on relativized Chaitin's Ω.

[视频作者] 哈工大数学研究院IASM

[视频时长] 37:12

[视频类型] 科学科普

主讲人：喻良（南京大学）摘要：We prove that, assuming ZF and restricted to any pointed set P, Chaitin's ΩU is not injective for any universal prefix-free Turing machine U, and that ΩU x fails to be degree invariant in a very strong sense, answering several recent questi