Sind Entscheidbarkeitsresultate nur die Entscheidungsprobleme?