Has anyone ever proven that there exists a proof or disproof that there are finitely many Fermat primes. I know that it's an unsolved problem whether there are finitely or infinitely many Fermat primes but my question is only whether it has been proven to be possible to prove or disprove it. If so, how can I access such a proof?
"Are there finitely or infinitely many Fermat primes?": decidable?
3
$\begingroup$
number-theory
logic