Well, no - it's the foundational problem of knowledge/epistemology. How you choose to "solve" it is up to you. The solution computer scientists like a lot is

Well, no - it's the foundational problem of knowledge/epistemology. How you choose to "solve" it is up to you. The solution computer scientists like a lot is coherentism. You pull yourself up by the bootstraps - like we do with self-hosting compilers. Of course, it's just a conceptual game (like all philosophy). The idea of "prove to me that you know..." seems a bit like "Jump for me... Higher!"