Revisiting Chaitin's incompleteness theorem
scientific article; zbMATH DE number 7391969
scientific article