 which remains neither proved nor disproved despite the best efforts of many of the leading mathematicians since it was first raised in a letter from Goldbach to Euler in 1742. We are forced to conclude that, under the very natural decidability interpretation of P \(\vee Q\), only a stubborn optimist can retain a belief in the law of excluded middle (LEM): 