Ang teoriya ng komputabilidad (Ingles: Computability theory o recursion theory) ang sangay ng matematikal na lohika na nagmula noong mga 1930 sa pag-aaral ng mga komputableng mga punsiyon at mga digring Turing. Ang larangang ito ay lumago upang isama ang nilahat at komputabilidad at pagiging mailalarawan (definability). Sa mga sakop na ito, ang teoriya ng rekursiyon ay sumasanib sa teoriya ng pagpapatunay at teoriyang deskriptibong pangkat.
Ang lathalaing ito na tungkol sa Kompyuter at Matematika ay isang usbong. Makatutulong ka sa Wikipedia sa pagpapalawig nito.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
