Uchapupu haina kunodiwa: muenzaniso axiom

Chii shure risingazivikanwi shoko "axiom", kubva apo vakauya uye zvazvinoreva? Wechikoro kupindura 7-8 giredhi nyore mubvunzo uyu nokuti ichangopfuura, pamwe kukura chikuru nzira ndege geometry, akanga kusarudza: ". Ndezvipi zvirevo dzinonzi axioms, ipai mienzaniso" A yakafanana mubvunzo mukuru anogona kutungamirira kunyara. The yakawanda nguva inopfuura kubva muchidzidza, kuoma kuyeuka zvinokosha nesayenzi. Zvisinei, shoko rokuti "axiom" rinowanzoshandiswa kushandiswa nezuva.

The tsananguro

Saka chii zvinonzi axioms atenderwa? Mienzaniso axioms vari siyana chaizvo uye hakugumiri munhu nzvimbo sayenzi. Akati izwi anobva mutauro wechiGiriki uye rinoreva "vatora nzvimbo".

A kuzviomesera tsanangudzo rokuti rinoti axiom - huru chinyorwa chipi dzidziso kuti haatarisiri uchapupu. Pane pfungwa kwakapararira masvomhu (kunyanya geometry), zvisingarambiki, uzivi.

More yekare Greek Aristotle akati pachena chokwadi, uchapupu harudikanwi. Somuenzaniso, hapana chokwadi kuti chiedza chezuva kuonekwa chete masikati. I yakatanga dzidziso iyi nedzimwe mathematicians - Euclid. Muenzaniso axiom pamusoro kufanana mitsetse kuti haana kuyambuka ake.

Nokufamba kwenguva, tsanangudzo zvakachinja. Zvino axiom kunzwisisa chete sezvo kutanga nesayenzi, uye zvichiguma zvenguva sezvo imwe mugumisiro, iyo inoshanda se pokutangira kuti mamwe dzidziso.

Mvumo kubva kosi yechikoro

Vadzidzi nezvevanakomana kune postulates regai zvinoda nokusimbisa zvidzidzo wemasvomhu. Naizvozvo, kana chesekondari kudzidza kupiwa basa: "Ipa mienzaniso axioms", ivo kazhinji vanofunga yamabwe geometry uye nemasvomhu. Heino mienzaniso nevakawanda mhinduro:

• yakananga pfungwa ikoko, kuti vabatwe (kureva nhema pamusoro yakarurama mutsetse) uye haushandi (regai okurutivi yakarurama mutsetse);
• ungaswedera achirurama mutsetse kuburikidza chero mbiri pfungwa;
• kuputsa ndege munzvimbo mbiri hafu-ndege, zvakakodzera kuchengeta achirurama mutsetse.

Nemasvomhu uye svomhu zvine yakajeka muchimiro kwakadaro chaitika haina chinotarisirwa, asi muenzaniso axiom anogona kuwanikwa sayenzi izvi:

• chero nhamba yakaenzana pachayo;
• chikwata kunotangira zvose zvakasikwa nhamba;
• kana K = L, ipapo l = k.

Nokudaro, kuburikidza nyore zvichemo nezvevanakomana zvikuru yepamusoro pfungwa, akaita kuferefeta uye akabvisa theorem no.

Kuvaka nesayenzi dzidziso kunobva axioms

Kuvaka yesayenzi yechokwadi (pasinei kutsvakurudza mune mubvunzo mhando), aida hwaro - Nzira Dzinovaka izvo zvichava kubuda. Musimboti wacho axiomatic nzira: ndinosika ega mashoko, muenzaniso axiom zvaitwa nemutoo pachishandiswa iyo anoratidza postulates yasara.

Scientific ega anofanira ane zvinhu pfungwa, kureva avo kuti usingagoni kurondedzerwa Via vamwe:

• Sequentially achitsanangura chimwe izwi, kupa kukosha kwayo, kusvika chero sainzi zvigadziko.
• Danho rinotevera - the kuziva panozogadzirika chikwata kutenda, izvo zvinofanira kuva zvakakwanira umbowo akasara chaitika pakati dzidziso. Sami chete zvinhu postulates vanogamuchirwa pasina kururamiswa.
• The yokupedzisira nhano - kuvaka uye vatiwo pane dzidziso.

Postulates sciences dzakasiyana-siyana

Mashoko pasina umboo hakusi chete sayenzi chaiwo, asiwo avo anowanzoshandurwa anonzi nevanhu. A muenzaniso unoshamisa - uzivi kuti inorondedzera ane axiom sezvo mashoko unogona kudzidza pasina hunobatsira zivo.

Muenzaniso axiom kuri muna jurisprudence: "haugoni kutonga mufambiro wenyu." Kubva musi tendero ichi, goho veHurumende mutemo - dare kusasarura, kureva, mutongi anogona kunzwa nyaya kana zvakananga kana zvisina kunanga kurifarira.

Havasi vose kuongwa

Kuti tinzwisise kusiyana axioms vechokwadi uye nyore kutaura izvo akazivisa chokwadi,, zvinokosha kuongorora mafungiro kwavari. Somuenzaniso, kana totaura nezvechitendero, apo zvinhu zvose kuongwa, pane kwakapararira Pfungwa nechivimbo chakazara kuti chimwe chinhu ndechechokwadi, nokuti hazvibviri kuti kuratidza. Uye masayendisiti vanoti hazvibviri aone kusvikira imwe nzvimbo, ukuwo, ichava chinhu axiom. Kuda chokwadi, tarisa shure - ndizvo anoratidza musayendisiti wechokwadi.