According to computational epistemology, the entire, standard picture just described is a tragic mistake founded on a spurious distinction. For there exist both decidable and undecidable formal ...