2024 Tus sau: Elizabeth Oswald | [email protected]. Kawg hloov kho: 2024-01-13 00:07
(Undecidable Undecidable Nyob rau hauv kev tshawb xav computability, ib qho teeb meem undecidable yog ib hom kev xam cov teeb meem uas yuav tsum tau ib tug muaj / tsis teb, tab sis qhov twg muaj tsis tau tej zaum yuav muaj tej computer program uas ib txwm. muab cov lus teb kom raug; uas yog, txhua qhov kev pab cuam yuav qee zaum muab cov lus teb tsis raug lossis khiav mus ib txhis yam tsis tau muab lus teb. https://en.wikipedia.org › wiki › List_of_undecidable_problems
Tseem teeb meem tsis txaus ntseeg - Wikipedia
tsuas yog txhais tau tias tsis suav nrog hauv cov ntsiab lus ntawm qhov teeb meem kev txiav txim siab, nws cov lus teb (lossis cov zis) yog "tseeb" lossis "false"). Ib tug tsis-computable yog ib qho teeb meem uas tsis muaj algorithm uas yuav siv tau los daws nws.
Dab tsi yog teeb meem tsis suav nrog?
In computability theory, ib qho teeb meem tsis tuaj yeem txiav txim siab yog hom teeb meem kev suav uas yuav tsum tau muaj / tsis teb, tab sis qhov twg tsis tuaj yeem muaj ib qho khoos phis tawj uas ib txwm muab qhov tseeb teb; uas yog, tej yam kev pab cuam tej zaum yuav muab cov lus teb tsis ncaj ncees lawm los yog khiav mus ib txhis tsis tau teb.
Tus lej tsis suav yog dab tsi?
Chaitin qhov tsis tu ncua yog qhov piv txwv (qhov tseeb yog tsev neeg ntawm cov piv txwv) ntawm tus lej tsis suav. Nws sawv cev qhov tshwm sim uas qhov kev ua haujlwm tsim los (hauv ib qho qauv) yuav nres. Nws tuaj yeem suav kwv yees li, tab sis muaj (provably) tsis muaj algorithm rau kev suav nrog qhov tseeb.
Qhov teeb meem twg yogsuav tau?
Ib qhov teeb meem lej yog suav tau yog tias nws tuaj yeem daws tau los ntawm lub tshuab xam zauv. Qee cov lus sib piv rau "computable" yog "solvable", "decidable", thiab "recursive". Hilbert ntseeg tias tag nrho cov teeb meem kev ua lej daws tau, tab sis nyob rau xyoo 1930's Gödel, Turing, thiab lub Koom Txoos tau qhia tias qhov no tsis yog li ntawd.
Puas Empty set computable?
Cov khoom khoob yog computable. Tag nrho cov txheej txheem ntawm cov lej yog suav tau. Txhua tus naj npawb (raws li tau hais tseg hauv cov txheej txheem txheej txheem) yog suav tau; uas yog, cov txheej txheem ntawm cov lej tsawg dua li tus lej uas tau muab los suav tau.
Pom zoo:
Puas suav suav suav thov dob?
Peb nug txog hnub nyoog thiab hnub yug kom nkag siab qhov loj thiab tus yam ntxwv ntawm pawg hnub nyoog sib txawv thiab nthuav tawm lwm cov ntaub ntawv raws hnub nyoog. … Cov txheeb cais no kuj pab tswj cov cai, kev cai, thiab cov cai tiv thaiv hnub nyoog kev ntxub ntxaug hauv tsoomfwv cov haujlwm thiab hauv zej zog.
Qhov twg yog qhov tsis raug zam lossis zam tsis tau?
As adjectives qhov txawv ntawm inexcusable thiab unexcusable. yog tias inexcusable tsis excusable thaum unexcusable yog inexcusable. Yuav ua li cas sau Unexcusable? un-eks-kū′za-bl, adj. Is excusable ib adverb? Los ntawm Longman Dictionary of Contemporary Englishin‧ex‧cu‧sa‧ble /ˌɪnɪkˈskjuːzəbəl◂/ adjective Tus cwj pwm phem lossis kev txiav txim siab zam txim rau tus cwj pwm phem dhau los zam txim rau kev ua phem tsis txaus ntseegPiv txwv los ntawm Corpusinexcu
Dab tsi yog qhov tsis paub qhov muag tsis tau txhais tau li cas?
Lub suab nrov me ntsis 'Tsis Paub Tsis Paub Tsis Paub' txawv ntawm ntau ntawm peb cov npe rau ua lus cog tseg rau cov neeg siv khoom tsis yog lus ntuas rau lawv yuav coj li cas. Hloov chaw ntawm kev txib peb kom 'Tsuas Ua Nws' lossis 'Xav Sib Txawv', nws tsuas yog sib txuas lus John Lewis' mus kom ze rau tus nqi.
Qhov twg hauv qab no yog qhov piv txwv ntawm qhov tsis suav nrog cov lej tsis suav nrog?
Pi is a non-terminating, non-repeating decimal. π=3.141 592 653 589 793 238 462 643 383 279 … e is a non-terminating, non-repeating decimal. Ib qho piv txwv ntawm tus lej tsis suav nrog yog dab tsi? Piv txwv: 0.5, 2.456, 123.456, thiab lwm yam.
Lub sijhawm suav suav suav suav suav cov neeg txawv tebchaws?
Puas yog cov neeg tuaj txawv teb chaws tsis raug tso cai suav nrog cov neeg nyob hauv suav? Yog, txhua tus neeg (cov pej xeem thiab cov neeg tsis yog pej xeem) uas muaj chaw nyob ib txwm nyob hauv Tebchaws Meskas suav nrog cov neeg nyob hauv kev suav pej xeem.