This sounds like a good argument why making the optimal decisions in every single case is undecidable, but not why an AGI should be unable to exist.