The halting problem provides examples of true but unprovable propositions because there are some expressions that do not halt but it is unprovable that they d

The halting problem provides examples of true but unprovable propositions because there are some expressions that do not halt but it is unprovable that they do not halt.