Tekereza ko ubuziraherezo busa nkaho budashoboka. Ariko, imibare ivuga ko ubu bumenyi buha umugabo amahirwe yo kubana ntakagira "kuri wewe." Rero, imibare ya Alexei Savvatev ahamagarira imibare binyuze mu butagira. Yandika mu gitabo cye ati: "Iterambere ry'imibare", iyi ni iyo wabaye uburebure bwa "kuri wewe." Kandi niko wowe "kuri wewe" ufite ubuziraherezo, ibyiza usobanukirwa imibare. " Kugira ngo wumve uko abahanga batekereza imibare itagira ingano, reka dusuzume urutonde rwimibare karemano 1, 2, 3, 4, 4, ... zishobora gukomeza gukomeza ubuziraherezo. Inzira zihoraho ni ingero zambere zigitekerezo kitoroshye nkubura. Hagati aho, mumibare, inzira idafite imipaka cyangwa ingingo yanyuma iboneka kenshi, kandi ikibazo cyurutanwa ubwacyo kijyanye n'imizi mumibare ya kera.
Amateka y'Umutabera
Ibitekerezo byambere ku mibare ntabwo aribwo paradoxpro ya filozofiya yikigereki ya Zenon. Umwe muri bo (yanditse mu kinyejana cya gatanu kugeza mu gihe cyacu) no guhangayikishwa na Achilles, byihuta mu Bagereki bose, bagomba kwiruka bafite inyenzi. Ukurikije paradox, achilles yihuse ntizigera ifata inyenzi zihuse niba inyenzi iri imbere ya achilles.
Aristote kandi yari ahangayikishijwe nibindi bisobanuro byerekeranye no gutandukana kutagira iherezo. Yisi yose, yatekereje, ntashobora kuba munini cyane. Niba aribyo, igice cye nacyo cyaba kitagira iherezo. Ariko niki kigira iherezo ryose rirenze kimwe cya kabiri cya kabiri? Ikigaragara ni uko ntacyo; Byombi ntibigira iherezo, hagomba rero kubaho ingano imwe. Ariko ntibashobora kuba ingano, nkuko kimwe cya kabiri kiratandukanye. Aristote ashyira izindi nzitizi kandi aje kumyanzuro ko isanzure rigomba kuba ryanyuma. Yitegereje inyenyeri hejuru ye, agera ku mwanzuro w'uko cosmos igizwe na manini (ariko irenga) kuva mu butaka hagati.
Ariko, yasabye Aristote kugirango yerekane uburyo umuntu yabajije ibiri kurundi ruhande rwumuzingi. Nubwo bimeze bityo, iki gitekerezo cyakunze abantu imyaka irenga igihumbi, muri rusange ntabwo ari bibi. Mu kinyejana cya gatatu BC, Archimade abaye umubare wumusenyi azakenera kuzuza isanzure rya Aristote, kandi mu gihe cyo hagati, Mutagatifu Thomas Aquins yashyigikiye Aristote, kandi iyi isura yabaye nyamukuru ku itorero.
Ibintu byose byahindutse ubwo Nikolai Copernicus yavuze ko igihugu atari ikigo cyisi. Nyuma mu kinyejana cya cumi na karindwi, Galileo Galileya yamenyekanye ko atekereza gutesha agaciro, kuko yagaragaye ku mugaragaro ku butagira. Isi ni itagira iherezo, ariko arabifata, kandi ni uko ibintu bimezera. BENSHI, mu myaka ya za 1920, imibare y'Ubudage David Hilbert yazanye ubushakashatsi buzwi bwo mu mutwe kugira ngo yerekane ko bigoye kumenya igitekerezo cy'ubutagira iherezo.
Ushaka guhora uzi amakuru agezweho kuva mwisi yubumenyi buzwi na tekinoroji yo hejuru? Iyandikishe kumiyoboro yacu ya telegaramu kugirango utabura amatangazo ya mashya!
Paradox ya hoteri itagira iherezo
Noneho, tuvuge ko uri muri hoteri munsi yizina ryikigereranyo "ubuziraherezo". Ibyumba byose bya hoteri, bitagira iherezo benshi, byuzuye, ariko mu buryo butunguranye umushyitsi mushya aragaragara. Ntugomba kuyirukana? Oya, ibyo ukeneye byose ni ukugira umushyitsi kuva mucyumba 1 kugeza mucyumba cya 2, naho umushyitsi uva mucyumba cya 2 ari mucyumba cya 3 nibindi. Voila - icyumba cya mbere ubu ni ubuntu kubashyitsi bashya. Ariko tuvuge iki niba hazabaho abashyitsi benshi batagira iherezo?
Biragaragara ko ushobora gukomeza kugira neza. Abapangayi bo mucyumba cya mbere bajya mucyumba nimero ya 2, kandi abapangayi bava mucyumba cya kabiri binjira mucyumba bitatu kandi cyane kuri ... kugeza ubufindo. Kubera ko ibyumba byikubye kabiri, bityo biba nimero, urashobora noneho gushira abashyitsi benshi batigira akagero (ubu kubuntu) nimero idasanzwe. Ndetse n'imibare igomba kuba imibare, kubera ko hari ibyumba bitagira akagero, utitaye ko ari cyangwa bidasanzwe. Nkigisubizo, dushobora gushyiramo imibare yose tudafite uburinganire mu "byumba", dutwarwa nimibare. Ubu bushakashatsi bwo mumutwe buzwi nka paradox ya hoteri itagira iherezo, irerekana neza imitungo ya seti zitagira akagero.
Dukurikije umuremyi w'icyitegererezo cy'amashyisiyete, imibare georg Kantor, hari umubare mwinshi, kandi uyu mubare utagira ingano usobanura ubwoko bwinshi. Kurugero, muri paradox umubare wimibare wari kimwe numubare numubare (nimibare idasanzwe, hamwe nimibare yoroshye, na miliyari nyinshi, nibindi). Uyu munsi birasa naho bigaragara, ariko ntibyagaragaye muri Aristote n'abayoboke be, batekerezaga ko ntagereranywa na siyansi itamewe.
Shiraho igitekerezo - Igice cyimibare, kigakiza ibintu rusange byashyizweho - amategeko yibintu bifatika, bifite umutungo usanzwe.
Cantor yerekanye kandi ko umubare wibice bingana nuyu mubare utagira akagero yahamagaye Aleph zeru. Ikintu kidasanzwe yerekanye (hifafashijwe n'abitwa impaka za diagonal), zibaho umubare urenze umwe utagira akagero.
Uzabyifuza: Niki cyerekana Theorem ya PoinCare kubyerekeye kugaruka
Igikorwa cya Kantor cyahuye no kurwanya cyane, ariko amaherezo gutsinda none yemewe hafi ya hose. Hano haribintu bito byimibare byitwa Abahanga cyangwa kubaka utubatse batizera ko dushobora kumva neza igitekerezo cyuzuye. Mu kinyejana cya makumyabiri, abafilozofe bahujwe, baribaza niba abalewky bareba bashobora kumvikana mu butagira. Utekereza iki kuri ibi? Ibisubizo bizategereza hano, kimwe no mubitekerezo kuriyi ngingo.