Revisiting Chaitin's Incompleteness Theorem

Porter, CP

Porter, CP (corresponding author), Drake Univ, Dept Math & Comp Sci, Des Moines, IA 50311 USA.

NOTRE DAME JOURNAL OF FORMAL LOGIC, 2021; 62 (1): 147

Abstract

In the mid-1970s, Gregory Chaitin proved a novel incompleteness theorem, formulated in terms of Kolmogorov complexity, a measure of complexity that fe......

Full Text Link