Программа Колмогорова, интеллектуальные системы и теоремы Гёделя о неполнотестатья