Halting Problem - What is an example of a halting problem?

Consider a program that continuously increases the values of a, b, c, and n, and stops if it encounters values that satisfy a^n + b^n = c^n for n > 2. This program will cease if Fermat's Last Theorem is incorrect and will run indefinitely if it's accurate.