knowledge is not truth

Indeed, as Godel demonstrated and Hosftadter rephrased in Godel,Escher,Bach, "Truth is a stronger notion than provability," meaning that there are statements that are true but whose truth (or falsehood) cannot be proved logically.