"You can visit him if and only if you or your girlfriend knows where he lives."
"Goddammit, we both know, so now we can't visit him!"
Fixed
Sorry, but I'm a mathematician... so everything you physicists do is just a model to me. Ever since I realized (via Goedel) that there aren't even any complete and consistent theories for logic, I sort of figured that there would never be a complete and consistent theory for physics. (Let me know if you find one.) In the mean time, I'm still really impressed with the work physicists do! I really should finish working through Gravitation some day... that's cool stuff.
Doesn't the Goedel just require an axiom taken to be true but not provable? Science has that: The Principal of Uniformity of Nature, which is the logical basis of all scientific induction.
Happiness is twin floppies.