Strictly speaking the problem of induction is a deeper question concerning the justification of inductive methods; for the sake of clarity I’ve edited it to “due to the limits of induction”, though I find this to border semantic pedantry...
But the issue applies even to non-inductive knowledge. An AGI tasked to calculate pi to ten decimal places will still eat up the lightcone to check, due to the limits on deductive knowledge.
Strictly speaking the problem of induction is a deeper question concerning the justification of inductive methods; for the sake of clarity I’ve edited it to “due to the limits of induction”, though I find this to border semantic pedantry...
But the issue applies even to non-inductive knowledge. An AGI tasked to calculate pi to ten decimal places will still eat up the lightcone to check, due to the limits on deductive knowledge.
Fair point; I overlooked that aspect. In any case, I’ve removed the (redundant) sentence altogether.