| Arabic |
| lexicalization | ara: نظرية العودية |
| Bengali |
| has gloss | ben: কম্পিউটার বিজ্ঞানে গণনীয়তা তত্ত্ব (ইংরেজি ভাষায়: Computability Theory) বলতে গণনা তত্ত্বের একটি শাখাকে বোঝায় যেখানে গণনার বিভিন্ন মডেল ব্যবহার করে কোন সমস্যাগুলি গণনামূলকভাবে সমাধান করা সম্ভব, তা বের করা করা হয়। |
| lexicalization | ben: গণনীয়তা তত্ত্ব |
| Czech |
| lexicalization | ces: Teorie rekurze |
| Esperanto |
| lexicalization | epo: Rekursia teorio |
| Persian |
| lexicalization | fas: نظریه بازگشت |
| Hebrew |
| has gloss | heb: תורת הרקורסיה היא תחום במתמטיקה העוסק ברמת החישוביות והאי-פתירות של פונקציות מהטבעיים לעצמם, כמייצגים של מאגרי מידע אינסופיים. תחום זה קשור בקשר הדוק לתורת הקבוצות וללוגיקה מתמטית. במרכז תורת הרקורסיה נמצא מושג דרגות טיורינג. |
| lexicalization | heb: רקורסיה |
| lexicalization | heb: תורת הרקורסיה |
| Italian |
| has gloss | ita: La teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi. Fra i suoi fondatori vi è Alan Turing. |
| lexicalization | ita: computabilità |
| Japanese |
| has gloss | jpn: 再帰理論（さいきりろん、）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は計算可能性や定義可能性全般を対象に含むようになった。これらの領域においては、再帰理論は証明論や effective 記述集合論( )とも密接に関係する。 |
| lexicalization | jpn: 再帰理論 |
| Polish |
| has gloss | pol: Teoria rekursji to dział logiki matematycznej, którego początki sięgają lat trzydziestych XX wieku. Do jego powstania i rozwoju w znacznym stopniu przyczynili się między innymi Alan Turing i Stephen Cole Kleene. |
| lexicalization | pol: Teoria rekursji |
| Russian |
| has gloss | rus: Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают». |
| lexicalization | rus: Теорема Клини |
| Serbian |
| lexicalization | srp: Теорија рекурзије |
| Swedish |
| lexicalization | swe: Rekursivitet |
| Thai |
| lexicalization | tha: การคำนวณได้ |
| Turkish |
| lexicalization | tur: Yinelge kuramı |
| Chinese |
| has gloss | zho: 递归论或可计算性理论，是一个数理逻辑分支。它起源于可计算函数和图灵度的研究。它的领域增长为包括一般性的可计算性和可定义性的研究。在这些领域中，这门理论同证明论和能行描述集合论(effective descriptive set theory)有所重叠。 |
| lexicalization | zho: 递归论 |
