Is recursive self-improvement mathematically possible?