Txoj kev xav ntawm kev rov ua haujlwm tau tsim los ntawm 20th-xyoo pua Norwegian Thoralf Albert Skolem, tus pioneer hauv metalogic, ua ib qho kev zam ntawm kev zam lub npe hu ua paradoxes ntawm qhov tsis paub kawg. uas tshwm sim nyob rau hauv tej yam ntsiab lus thaum "tag nrho" yog siv rau cov dej num uas muaj ntau tshaj infinite chav kawm; nws ua li ntawd los ntawm kev qhia qhov…
Dab tsi yog qhov ua haujlwm rov ua dua?
Page 1. Cov ntsiab lus rov ua dua ntawm kev ua haujlwm. Recursive Integer Functions. Intuitively, ib txoj haujlwm recursive f yog ib qho uas nws cov zis tuaj yeem txhais tau rau qhov muab tswv yim los ntawm kev sib npaug ntawm nws cov txiaj ntsig cuam tshuam rau qhov kev qhia uas suav nrog cov txiaj ntsig ntawm f rau cov khoom siv me me.
Yuav ua li cas yog txoj kev xam pom hauv computer science?
Computability theory, tseem hu ua recursion theory, yog ib ceg ntawm lej logic, computer science, thiab txoj kev xav ntawm kev suav uas tau tshwm sim hauv xyoo 1930 nrog kev kawm txog kev suav ua haujlwm. thiab Turing degrees.
Lub tswvyim ntawm kev rov ua dua yog dab tsi?
Recursion is tus txheej txheem ntawm rov ua cov khoom hauv tus kheej zoo ib yam. Hauv cov lus programming, yog tias qhov program tso cai rau koj hu rau ib qho haujlwm hauv tib txoj haujlwm, ces nws yog hu ua recursive call of function.
Yuav ua li cas recursive hauv txoj kev xav ntawm kev suav?
Cov haujlwm μ-recursive (lossis cov haujlwm dav dav rov ua haujlwm) yog cov haujlwm ib nrab uas siv cov tuples ntawm cov lej ntuj thiabxa rov qab ib tus lej. Lawv yog cov chav kawm tsawg tshaj plaws ntawm cov haujlwm ib nrab uas suav nrog cov haujlwm pib thiab raug kaw raws li muaj pes tsawg leeg, kev rov ua dua qub, thiab μ tus neeg teb xov tooj.
