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

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 https://www.scottaaronson.com/papers/philos.pdf