sentence2: Avsaknaden av någon sådan algoritm, fastställt av Yuri Matiyasevich 1970, innebär också ett negativt svar på avgörbarhetsproblemet.
sentence1: عدم وجود مثل هذه الخوارزمية التي أنشأها يوري ماتياسيفيتش عام 1970 يتضمن أيضا جوابا سلبيا ل Entscheidungsproblem .