Kleene, Stephen, "On notation for ordinal numbers," The Journal of Symbolic Logic,3 (1938), 150-155.
Sipser, Michael. Introduction to the Theory of Computation. Boston: PWS, 1997.
สิงหาคม 16, 2021
ทฤษฎ, บทเว, ยนบ, งเก, ดของคล, งกฤษ, kleene, recursion, theorem, ในทฤษฎ, การคำนวณได, เป, นทฤษฎ, บทเก, ยวก, บการม, อย, ของฟ, งก, นคำนวณได, ใช, คำบรรยายต, วเองในการคำนวณผลล, พธ, สต, เฟน, คล, เป, นผ, จน, ทฤษฎ, บทน, ในป, 1938, โดยม, เน, อหาด, งต, อไปน, ให, displays. thvsdibthewiynbngekidkhxngkhlin xngkvs Kleene s recursion theorem inthvsdikarkhanwnid epnthvsdibthekiywkbkarmixyukhxngfngkchnkhanwnidthiichkhabrryaytwexnginkarkhanwnphllphth stiefn khlin epnphuphisucnthvsdibthniinpi kh s 1938 odymienuxhadngtxipni ih t S S S displaystyle t Sigma times Sigma rightarrow Sigma epnfngkchnkhanwnidid aelw camiekhruxngckrthwring R displaystyle R thiemuxrb w displaystyle w epnkhxmulekha aelwcakhanwn t R w displaystyle t langle R rangle w emux R displaystyle langle R rangle khuxkhabrryaykhxng R displaystyle R exng klawkhux sahrbfngkchnkhanwnidthimikhxmulekhasxngtwid camifngkchnkhanwnidxikfngkchnhnungthiichtwexngepnkhxmulekhatwaerkodyimtxngxankhxmulcakphaynxk twxyangechn tha t x y x displaystyle t x y x ekhruxngckrthwring R displaystyle R ihkhabrryaytwexngxxkmaepnphllphth opraekrmkhxmphiwetxrthithanganehmuxnkb R displaystyle R caphimphsxrsokhdkhxngtwexngxxkma eraeriykopraekrmpraephthniwaikhwnkarphisucn aekikheraerimtnodykarphisucnbthtngtxipni mifngkchnkhanwnid q S S S displaystyle q Sigma times Sigma rightarrow Sigma thi sahrbsayxksr w displaystyle w id q w displaystyle q w epnkhabrryayekhruxngckrthwring P w displaystyle P w thirbkhxmulekha x displaystyle x aelaphimphphllphth w x displaystyle w x odyaesdngekhruxngckrthwringthikhanwn q displaystyle q ekhruxngckrthwringnnxacniyamiddngtxipni Q displaystyle Q emuxidrbkhxmulekha w displaystyle w 1 srangekhruxngckrthwring P w displaystyle P w dngtxipni P w displaystyle P w emuxidrbkhxmulekha x displaystyle x 1 eluxn x displaystyle x ihmichxngwangcaktnethpphxthicaekhiyn w displaystyle w aelaekhruxnghmay ewnwrrkh 2 phimph w displaystyle w lngbnethp 3 hyudkarthangan 2 phimph P w displaystyle langle P w rangle sahrbkarsrangekhruxngckrthwring R displaystyle R inthvsdibthnn eraaebng R displaystyle R xxkepnekhruxngckrthwringyxy samekhruxng idaek A displaystyle A B displaystyle B aela T displaystyle T odythi T displaystyle T epnekhruxngckrthwringhnungthikhanwn t displaystyle t odyekhruxngckrthngsamekhruxngmiladbkarthangankhux A displaystyle A thangancnesrcsinaelw B displaystyle B cungerimthangan aelaemux B displaystyle B thanganesrcsinaelw T displaystyle T cungerimthanganekhruxngckr B displaystyle B miniyamdngtxipni B displaystyle B emuxidrbkhxmulekha M x displaystyle langle M rangle x emux M displaystyle langle M rangle epnkhaxthibayekhruxngckrthwring M displaystyle M 1 khanwn q M displaystyle q langle M rangle odyichbthtngkhangtn 2 txetimkhaxthibayekhruxngckr M displaystyle M ihepnekhruxngckr N displaystyle N thiich q M displaystyle q langle M rangle thangankxn aelwcungich M displaystyle M thangantam 3 phimph N x displaystyle N x lngbnethp swnekhruxngckr A displaystyle A khuxekhruxngckrthiidcakkarkhanwn q B T displaystyle q langle BT rangle emux B T displaystyle langle BT rangle khuxkhabrryayekhruxngckrthiich B displaystyle B thangankxntamdwy T displaystyle T sngektwaekhruxngckr R displaystyle R tamthiidniyamkhangtnepnekhruxngckrthwringthisxdkhlxngkbthvsdibth klawkhux A P B T displaystyle A P langle BT rangle epnekhruxngckrthiphimphkhabrryaykhxng B T displaystyle BT dngnnemuxnakhabrryayniipphnwkkb q B T A displaystyle q langle BT rangle A kcaichekhruxngckr A B T displaystyle ABT sungkkhuxtw R displaystyle R nnexng channphllphthkhxng B displaystyle B khux R x displaystyle langle R rangle x aela T displaystyle T kcakhanwn t R x displaystyle t langle R rangle x tamthieratxngkarpraoychn aekikherasamarthichthvsdibthewiynbngekidkhxngkhlininkarphisucnkhxkhwamthangthvsdikarkhanwnidhlay khxkhwamxyangkrachbaelaepnthrrmchati yktwxyangechn pyhakarhyudthangan sungsamarthphisucniddngtxipnismmtiephuxkhxkhdaeyngwamiekhruxngckrthwring H displaystyle H thiaekpyhakarhyudthangan phicarnaekhruxngckr M displaystyle M dngtxipni M displaystyle M emuxidrbxinphut x displaystyle x 1 hakha M displaystyle langle M rangle odyichthvsdibthewiynbngekidkhxngkhlin 2 ih H displaystyle H thanganbnkhxmulekha M x displaystyle langle M rangle x 3 tha H displaystyle H bxkwa hyudthangan ihekhalupxnnt tha H displaystyle H bxkwa imhyudthangan ihhyudthangan enuxngcak M displaystyle M thangantrngknkhamkbkarwinicchykhxng H displaystyle H eracungidkhxkhdaeyngaelasrupidwa H displaystyle H immixyucringkhxkhwamxun thisamarthphisucniddwythvsdibthewiynbngekidkhxngkhlin echn fngkchnbiewxrkhnkhynimichfngkchnkhanwnid immiekhruxngckrthwringidthisamarthkhanwnekhruxngckrthwringthimikhnadkhxngkhabrryaysnthisudthiasmmulkbekhruxngckrthwringthiihepnkhxmulekhaid sahrbfngkchnkhanwnid t S S displaystyle t Sigma rightarrow Sigma id thithakar ddaeplng ekhruxngckrthwringthiidrbepnkhxmulekha camiekhruxngckrthwring F displaystyle F thi t F displaystyle t langle F rangle smmulkb F displaystyle F xangxing aekikhKleene Stephen On notation for ordinal numbers The Journal of Symbolic Logic 3 1938 150 155 Sipser Michael Introduction to the Theory of Computation Boston PWS 1997 ekhathungcak https th wikipedia org w index php title thvsdibthewiynbngekidkhxngkhlin amp oldid 4715082, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,
