I have a feeling you would enjoy this paper by Scott Aaronson. It outlines some interesting issues at the intersection of philosophy and computation. Page 9 is “known integers” and touches on your argument.

https://www.scottaaronson.com/papers/philos.pdf