What Turing does, is prove that in fact there is no way of telling which will be the unprovable problems.
آنچه تورینگ انجام داد، این بود که ثابت کرد هیچ راهی برای تشخیص‌دادن مسائل اثبات‌ناپذیر وجود ندارد.