Axiom vs Postulate
Yog tias koj tau nyeem phau ntawv lej dhau ntawm kev ua lej hauv tsev kawm theem siab, koj yuav tau ntsib yam tsawg kawg ib qho ntawm cov ntsiab lus postulate thiab axiom. Tshwj xeeb tshaj yog nyob rau hauv thaum pib ntawm ib co elaborate lej pov thawj los yog txoj kev xav peb pom cov ntsiab lus. Yog tias koj paub txog Euclid's Geometry, koj paub tias tag nrho cov kev xav tau tsim los ntawm ntau lub axioms thiab postulates. Yog li ntawd, lawv nteg lub hauv paus rau ib tug zoo kawg li txoj hauj lwm ntawm kev ua lej uas piav txog cov khoom ntawm qhov chaw nyob rau hauv ob thiab peb qhov ntev. Tej zaum koj kuj yuav tau hnov tias physicist postulate tias muaj lub ntiaj teb sib npaug. Yog li dab tsi yog tag nrho cov no tseem ceeb, tab sis kab txawv axioms thiab postulates?
Axiom yog dab tsi?
Ib qho axiom yog ib yam uas suav tias yog qhov tseeb tab sis tsis muaj pov thawj qhia meej. Koj tsuas paub tias muaj tseeb; txhua leej txhua tus pom zoo nrog nws, tab sis tsis muaj leej twg tuaj yeem ua pov thawj tias qhov tseeb lossis tsis lees paub tias nws tsis raug. Hauv daim ntawv tshaj tawm, lub ntsiab lus ntawm axiom tuaj yeem muab tau raws li qhov kev pom zoo uas yog qhov tseeb ntawm tus kheej. Piv txwv li, Euclid lub thib tsib axiom "Tag nrho yog ntau dua qhov" yog pom tseeb rau leej twg raws li cov lus tseeb.
Postulate yog dab tsi?
Ib qho lus qhia yog tib yam li axiom, ib qho lus qhia uas yog qhov tseeb ntawm tus kheej. Cov nqe lus "Ib ntu kab ncaj tuaj yeem kos koom nrog ob lub ntsiab lus" yog thawj zaug hauv Euclid phau ntawv "Elements".
Qhov txawv ntawm cov ntsiab lus axiom thiab postulates tsis yog nyob rau hauv nws txhais tab sis nyob rau hauv kev xaav thiab kev txhais. Ib qho axiom yog ib nqe lus, uas yog ntau thiab dav, thiab muaj qhov tseem ceeb thiab qhov hnyav. Ib qho postulate yog ib nqe lus uas muaj qhov tseem ceeb dua thiab cuam tshuam rau ib qho chaw tshwj xeeb. Txij li thaum axiom muaj ntau qhov dav dav, nws feem ntau siv thoob plaws ntau yam kev tshawb fawb thiab lwm yam.
Axiom yog ib lo lus qub (ntau) cov lus qub thaum postulate yog lo lus tshiab hauv lej.
Dab tsi yog qhov txawv ntawm Axiom thiab Postulate?
• Axiom thiab Postulate yog tib yam thiab muaj tib lub ntsiab lus.
• Lawv txawv raws li cov ntsiab lus uas lawv tau siv lossis txhais. Lub sij hawm axiom yog siv los xa mus rau ib nqe lus uas ib txwm muaj tseeb hauv ntau yam. Ib qho postulate yog siv nyob rau hauv ib cheeb tsam uas muaj tsawg heev.
• Axiom yog lo lus qub thaum postulate kuj tseem niaj hnub siv.
