The Goldbach conjecture is this: "Every even integer greater than 2 can be expressed as the sum of two primes." My program is simply constructed in such a way

The Goldbach conjecture is this: "Every even integer greater than 2 can be expressed as the sum of two primes." My program is simply constructed in such a way that it terminates if and only if the Goldbach conjecture is not true. Maybe my pseudocode is not very precise (and also english is not my mother language), but given the Goldbach conjecture anyone can construct the program more precisely if needed.