I've heard that these are closely related to each other. However, while the former looks totally trivial to me, the latter still puzzles me even after I read the proof of it. So I made up a scenario to check my understanding.
Let's suppose that I believe Goldbach's conjecture to be false for some reason. And I'm running a simple python program to find the counterexample of it on my desktop. The program checks each case in increasing order. When it finds a counterexample, it returns the number and stops.
Then one day, someone proved that Goldbach's conjecture is unprovable. From my understanding, it doesn't mean that I should stop the program right then. What is proven is that there is no proof stating that my program will run forever, even if Goldbach's conjecture is true and my program actually run forever. So it's reasonable to keep the program running and expect the program to find the counterexample even tomorrow. Also, I can say that there is still a chance to disprove Goldbach's conjecture.
Is that correct?