die Berechenbarkeit

محاسبه‌پذیری، پیش‌بینی‌پذیری

Beispiele

• Die Berechenbarkeitstheorie wird oft auch als Rekursionstheorie bezeichnet. Manchmal wird letzterer Begriff auch benutzt, wenn man die Berechenbarkeitstheorie als Teilgebiet der mathematischen Logik auffasst oder um zu betonen, dass auch verallgemeinerte Formen von ''Berechenbarkeit'' und Definierbarkeit betrachtet werden.نظریه محاسبه‌پذیری اغلب به عنوان نظریه بازگشت نیز شناخته می‌شود. گاهی اوقات اصطلاح اخیر نیز زمانی استفاده می‌شود که نظریه محاسبه‌پذیری به عنوان زیرشاخه‌ای از منطق ریاضی در نظر گرفته شود یا برای تأکید بر این که اشکال تعمیم‌یافته محاسبه‌پذیری و تعریف‌پذیری نیز در نظر گرفته می‌شوند.