It is not the case that There exist sentences (such as the Fermat-like primality claim) that are decidable in the formal sense but for which no concrete proof or refutation exists or could be manipulated by any human
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.