कम्प्यूटेबिलिटी सिद्धांत , गणितीय तर्क की शाखा , जिसे रिकर्शन सिद्धांत कहा जाता है , से निकट रूप से संबंधित है , जो उस प्रतिबंध को हटाता है जिसके तहत अभिकलन के सिर्फ उन मॉडलों का अध्ययन किया जाता है जिन्हें ट्यूरिंग मशीन के योग्य किया जा सकता है ।
Entity: गणितीय — Type: /art/music, /programming_language, /art