Q45: Fermat’s last theorem

This question is in continuation of Question #43.

Question #45: What is the output of the program discussed in Q43?

Options:

• The program always prints “hello, world\n”.
• The program prints “hello, world\n” for n = 2 only.
• The program never prints “hello, world\n”.
• We still don’t know what will be the output of this program.

Solution:

Fermat’s last theorem was proved recently and it took 300 years to prove that for n > 2, there is no solution to this equation. This was conjectured by Fermat but no proof was provided in 1637. Until Andrew Wiles proved it in 1995, nobody was able to prove this successfully. Hence, this program was thought to be undecidable before proof. So the correct option is second one.