أمثلة
  • Die Church-Turing-These stellt die Grundlage für die Theorie der Berechenbarkeit dar.
    تعد رسالة تشرش-تورينغ أساساً لنظرية الحساب.
  • Laut der Church-Turing-These kann alles, was prinzipiell berechenbar ist, auch von einem Turing-Computer berechnet werden.
    وفقا لأطروحة تشرش-تورينغ، يمكن لكل ما يمكن حسابه بشكل مبدئي أن يتم حسابه أيضا بواسطة كمبيوتر تورينغ.
  • Die Church-Turing-These wird oft als die formale Definition dessen genommen, was es bedeutet, dass ein Problem algorithmisch lösbar ist.
    غالبًا ما يتم أخذ أطروحة تشرش-تورينغ كتعريف رسمي لما يعنيه أن مشكلة يمكن حلها بواسطة خوارزمية.
  • Die Church-Turing-These ist keine mathematische Theorie, sie ist eher eine Hypothese über die Natur der physikalischen Realität.
    أطروحة تشرش-تورينغ ليست نظرية رياضية، بل هي فرضية عن طبيعة الواقع الفيزيائي.
  • Die Church-Turing-These besagt, dass eine Funktion genau dann effektiv berechenbar ist, wenn sie von einer Turing-Maschine berechnet werden kann.
    تنص أطروحة تشرش-تورينغ أن الدالة يمكن حسابها بفعالية عندما يمكن لآلة تورينغ حسابها.