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.
Dab tsi ua rau tus lej suav tau?
Tus lej suav tau yog tus lej uas tuaj yeem suav los ntawm kev siv computer tsis kawg. Txhua tus lej koj tau hnov zoo li 3, √2, π, e, thiab lwm yam yog suav tau. Qee tus lej (xws li π) yog sawv cev los ntawm txoj hlua tsis kawg ntawm cov lej tsis rov ua dua.
tsis suav txhais tau li cas?
Ib yam tsis suav yog ib qhov teeb meem uas tsis muaj algorithm uas tuaj yeem siv los daws nws. Cov piv txwv nto moo tshaj plaws ntawm kev tsis suav nrog (lossis tsis tuaj yeem txiav txim siab) yog qhov teeb meem nres.
Puas muaj cov lej tsis suav nrog?
Tsis tsuas yog cov lej tsis suav nrog xwb, tab sis qhov tseeb lawv muaj ntau dua li cov lej suav tau. Ntau, ntau tus lej tiag tiag tsuas yog qhov tsis muaj qhov kawg ntawm cov lej zoo li tus lej, tsis muaj cov qauv lossis cov cuab yeej tshwj xeeb. … Raws li ib qho piv txwv zoo li no, xav txog tus lej uas nws feem ua ntej tus lej lej yog 0.
Puas yog cov lej tiag?
Tus lej tiag tiag yog suav tau yog tias thiab tsuas yog cov txheej txheem ntawm tus lej nws sawv cev(thaum sau ua binary thiab saib raws li tus yam ntxwv muaj nuj nqi) suav tau. Txhua qhov suav tautus lej yog lej lej.
