On: Spaced repetition can allow for infinite recall

[kazinator]

In logic, the soundness of a proof in fact has to do with its interpretation in some universe of discourse. To be sound, the argument has to be deductively valid, and its premises have to have true interpretations in the chosen world where it is applied.

Here we have a valid mathematical argument which is unsound in this world, where its assumptions do not hold up.

[monktastic1 → kazinator]

You're right. I should have said invalid rather than unsound. I still don't see the point of the criticism, however. Lots of interesting things can be learned by starting from approximations to actual reality.