Vumbhoni byintshwa bya leswaku Cantor u yivile Dedekind? | Mewayz Blog Skip to main content
Hacker News

Vumbhoni byintshwa bya leswaku Cantor u yivile Dedekind?

Mavonelo

17 min read Via www.quantamagazine.org

Mewayz Team

Editorial Team

Hacker News

Mphikizano Lowu Vumbeke Tinhlayo ta manguva lawa

Eka tibuku ta matimu ya tinhlayo, vuxaka byintsongo lebyi tikombiseke byi ri lebyi noneke hi tlhelo ra vutlhari — kumbe lebyi nga na njhekanjhekisano — ku fana na lebyi nga exikarhi ka Georg Cantor na Richard Dedekind. Ku tsalelana ka vona eka malembe hinkwawo yava 1870s na 1880s swihumelerisile yin’wana ya miehleketo ya ndzhundzunuko swinene eka masungulo ya tinhlayo, kusuka eka ku akiwa loku tiyeke ka tinomboro ta xiviri kuya eka ku paluxiwa loku hlamarisaka ka leswaku infinity yifika hi vukulu byo hambana. Kambe xivutiso lexi pfurhaka exikarhi ka van’wamatimu va tinhlayo ku tlula dzana ra malembe sweswinyana xi kume matimba lamantshwa: xana Cantor u kume ku dzuneka ko tala ku tlula loku a ku faneriwa, naswona xana Dedekind u kume ku dzunisiwa lokutsongo swinene? Nxopaxopo lowuntshwa wa swidyondzi wa mapapila ya vona ya le xihundleni, switshuriwa swa matsalwa ya voko, na nxaxamelo lowu kongomeke wa minkarhi ya minkandziyiso ya vona swi sindzisa vaaki va tinhlayo ku tlhela va kambisisa leswaku i mani loyi hakunene a nga tata miehleketo leyi sweswi hi yi vulaka kwalomu ka hi ndlela yo anakanyisisa eka Cantor ntsena.

Leswi a hi ku holova ka swa tidyondzo ntsena mayelana na tinhlamuselo ta le hansi. Xivutiso xa leswaku xana Cantor u yivile — kumbe hi xiringaniso a nga xiximiwi hi ndlela leyi nga ringanelangiki — Dedekind xi hlasela exikarhi ka ndlela leyi hi avela vun’wini bya vutlhari ha yona, ndlela leyi ntirhisano wu nga vonakiki ha yona eka ku averiwa, na leswaku hikokwalaho ka yini matsalwa na ku nyika swiviko swi ri swa nkoka eka ntirho wun’wana na wun’wana, ku suka eka tinhlayo to basa ku ya eka bindzu ra manguva lawa.

Leswi Rhekhodo ya Matimu Se Yi Hi Byeleke swona

Vuxaka exikarhi ka Cantor na Dedekind byi tsariwile kahle hi ku tirhisa nxaxamelo wa mapapila lama cincanaka exikarhi ka 1872 na 1899. Matsalwa ya vona, lama kandziyisiweke ro sungula eka nkandziyiso lowu hlengeletiweke hi Emmy Noether na Jean Cavaillès hi 1937, ya paluxa ku cincana lokukulu ka vutlhari. Hi 1872, vavanuna lava havambirhi hi ku tiyimela va kandziyise ku akiwa ka tinomboro ta xiviri — Cantor hi ku tirhisa leswi sweswi swi vuriwaka ntlhandlamano wa Cauchy, na Dedekind hi ku tirhisa "ku tsemiwa" ka yena loku dumeke. Kambe mapapila ya kombisa leswaku Dedekind u hluvukise ku aka ka yena loku tsemiweke ku sukela hi 1858, malembe ya 14 lama heleleke emahlweni ko kandziyisiwa, loko a ri karhi a dyondzisa calculus ePolytechnic eZürich.

Leswi van’wamatimu va swi tivaka khale hileswaku Cantor u titshege ngopfu hi Dedekind hi malembe ya ku vumbiwa ka set theory. Hi le ka papila ra 1873 leri yaka eka Dedekind laha Cantor a sunguleke ku vutisa xivutiso xa loko tinomboro ta xiviri ti nga vekiwa eka ku fambisana ka munhu hi xiyexe ni tinomboro ta ntumbuluko. Dedekind anga khutazanga ntsena vulavisisi kambe u hoxe xandla eka ku olovisiwa ka nkoka eka vumbhoni byosungula bya Cantor bya leswaku swilo swa xiviri aswi hlayeki. Hambi swi ri tano loko Cantor a kandziyisa mbuyelo lowu wa nkoka eka Crelle’s Journal hi 1874, ku hoxa xandla ka Dedekind a ku boxiwanga.

Ku tshikiwa loku a ku nga ri xiendlakalo xa nkarhi wun'we. Eka minkandziyiso yo tala eku heleni hinkwako ka malembe ya va 1870 na va 1880, Cantor u tumbuluxile miehleketo leyi a yi ri na swikombiso leswi nga kanakanisiki swa ku cincana ka yena na Dedekind — ku katsa na ku vumbiwa ko sungula ka cardinality, mhaka ya denumerability, na xivumbeko xa point-set topology — handle ko nyika muxaka wa ku amukeriwa loku swiyimo swa dyondzo ya manguva lawa swi nga ta swi lava.

Vumbhoni Lebyintshwa: Minkarhi ya Matsalwa ya Voko na Switshuriwa leswi nga kandziyisiwangiki

Vudyondzi bya sweswinyana, lebyi tirhisaka switirhisiwa swa archival eYunivhesiti ya Göttingen naswona khale a byi honisiwa marginalia eka Dedekind’s Nachlass (literary estate), byi engetele ntikelo lowukulu eka nandzu lowu. Van’wamatimu va hlawurile matsalwa ya voko lama tsariweke evokweni ra Dedekind lama hlamuselaka miehleketo ya nkoka ya set-theoretic — ku katsa na vuhundzuluxi byo sungula bya leswi nga ta va theorem ya leswaku sete a yi na makumu loko naswona ntsena loko yi nga vekiwa eka bijection na subset leyi faneleke ya yona — ku sukela eka minkarhi ya before Cantor published equivalent results.

Lexi hlamarisaka ngopfu i sete ya tinotsi ku sukela hi 1874 ku ya eka 1877 laha Dedekind a mpfampfarhutaka miehleketo mayelana na mimepe exikarhi ka tisethi ta "matimba" yo hambana (leswi sweswi hi swi vitanaka tikhadinali). Tinhla leti ti rhangele ntirho lowu kandziyisiweke wa Cantor eka miehleketo leyi fanaka hi malembe yo hlayanyana. Loko Dedekind a hlawurile ku sivela ku kandziyisiwa — xiphemu xin’wana hikwalaho ka ku lava ku hetiseka ka yena ka ntsheketo naswona xiphemu xin’wana hikuva a vona miehleketo a yi si va eka xivumbeko lexi enerisaka — Cantor, loyi a a ri na mfikelelo eka miehleketo leyi hi ku tsalelana ka yona, u fambe hi ku hatlisa ku ya kandziyisa.

Nkarhi wa nkarhi wu damning hi ku kongoma ka wona. Swidyondzi swi vekile mepe wa kwalomu ka nkombo wa swikombiso swo hambana exikarhi ka 1873 na 1885 laha mhaka yi humelelaka ro sungula eka tinotsi ta le xihundleni ta Dedekind kumbe mapapila lama yaka eka Cantor, ivi yi humelela eka maphepha lama kandziyisiweke ya Cantor ku nga si hela tin’hweti ta 6 ku ya eka 18 — handle ko tshahiwa.

Ku yiva kumbe Nkungu wa Ntirhisano?

Loko hi nga si tsutsumela ku sola Cantor, i swa nkoka ku twisisa ndhavuko wa vutlhari wa tinhlayo ta lembe xidzana ra vu-19. Mimpimanyeto ya ku tshaha ni ku vula leswaku a yi nga si endliwa hi ximfumo ku tlula leswi yi nga xiswona namuntlha. A ku ri hava tifomati ta swikombo leti ringaniseriweke, a ku ri hava tisisiteme ta ku kambisisa hi tintangha tanihilaha hi ti tivaka hakona, naswona ndzilakano exikarhi ka "ku hlohloteriwa hi mbulavurisano" na "ku lomba miehleketo" a wu nga vonaki kahle swinene. Vativi va tinhlayo va tshamela ku avelana miehleketo hi mapapila hi ku twisisa loku nga kongomangiki leswaku timfanelo ta ku kandziyisa i ta mani na mani loyi a tsaleke phepha.

"Nxaxamelo exikarhi ka nkucetelo wa vutlhari na ku yiva ka vutlhari a wu hoxiwi hi miehleketo hi yoxe, kambe hi ndlela ya matsalwa leyi yi rhendzeleke. Loko ku nga ri na tirhekhodo leti nga erivaleni, timholovo ta nkoka ti hundzuka mhaka ya nhlamuselo — naswona mukandziyisi loyi a nga na xivindzi u tala ku wina ku dzunisiwa ka matimu."

Valweri va Cantor va vula leswaku u hundzule raw material ya swibumabumelo swa Dedekind ku va theory leyi hlelekeke — leswaku Dedekind u nyikile mbewu, kambe Cantor u ake ntanga. Ku na ntiyiso eka leswi: Beiträge zur Begründung der transfiniten Mengenlehre ya Cantor ya 1895–1897 yi yimela nkatsakanyo wa xitsundzuxo lowu tlulaka swinene nchumu wun’wana na wun’wana lowu Dedekind a wu tsaleke. Kambe vumbhoni byintshwa byi ringanyeta leswaku mbewu leyi ayi vumbiwile hiku hetiseka kutlula leswi ayi tiviwa khale, naswona ku tsandzeka ka Cantor ku yi amukela, hi xiringaniso, akuri ku pfumaleka lokukulu ka mahanyelo hi swipimelo swa nguva yin’wana na yin’wana.

Ha Yini Dedekind A Tshama A Miyerile

Xin’wana xa swilo leswi tsakisaka swinene eka xitori lexi i nhlamulo ya Dedekind hi yexe — kumbe ku vula ntiyiso, ku pfumala ka yena yin’we. Hambileswi a a ri ni vumbhoni byo tala bya ku rhangisa ka yena n’wini, Dedekind a nga kalanga a hehla Cantor erivaleni hi ku yiva. Swilo swo hlayanyana swi pfuneta ku hlamusela ku siveriwa loku:

  • Ku hambana ka mikhuva: Dedekind a a ri na vuxiyaxiya, a ri na vukheta, naswona a a ri wa xihundla swinene. Cantor a a ri na vutianakanyi, a a ri na vutshila, naswona a a heleriwe hi ntshembo wo xiximiwa eka xivandla xa tinhlayo lexi a xi tala ku ala ntirho wa yena.
  • Ku va ekhombyeni ra xiphurofexinali: Cantor u hete nkarhi wo tala wa ntirho wa yena eYunivhesiti ya Halle, xivandla xa xiyimo xa vumbirhi, naswona u langutane na nkaneto wa tihanyi ku suka eka Leopold Kronecker. Dedekind, loyi a simekiweke hi ku ntshunxeka eBrunswick Polytechnic, a nga ha va a vone leswaku mpfilumpfilu wa nkoka wu ta va ehansi ka yena.
  • Ku titshega hi vun’we: Hambi leswi a ku nga ringaniseli eka swikweleti, vavanuna lava havambirhi va teke vuxaka lebyi byi ri bya nkoka. Ntirho wa vutshila wa Dedekind wa 1888 Was sind und was sollen die Zahlen? wu akiwile eka miehleketo leyi va yi tumbuluxeke swin’we, naswona ku kanetana ka le rivaleni a ku ta va ku thyakise ndzhaka leyimbirhi.
  • Filosofi ya ku kandziyisa: Dedekind a a tshemba leswaku miehleketo yi fanele ku kandziyisiwa ntsena loko yi fikelele xiyimo xa ku va erivaleni hi ku helela na ku hetiseka. Hi ku kongoma u hlawule ku nga kandziyisi vuyelo byo tala, lebyi a byi tekeke byi ri bya nkarhinyana. Hi ku vona ka yena, mianakanyo leyi nga kandziyisiwangiki a yi nga si lunghekela misava.

Mhaka leyi yo hetelela kumbexana hi yona leyi khumbaka ngopfu. Ku lava ku hetiseka ka Dedekind hi yexe ku endle leswaku ku va ni xivandla lexi nga riki na nchumu lexi Cantor a xi taleke. Vumbhoni lebyintshwa a byi paluxi ngopfu mudlayi kambe byi voningela xiphiqo xa xivumbeko: loko ku nga ri na tisisiteme ta matsalwa leti nga erivaleni, mukandziyisi loyi a nga na vutshila byo tala u khoma xikweleti, ku nga khathariseki leswaku i mani loyi a nga na miehleketo ku sungula.

💡 DID YOU KNOW?

Mewayz replaces 8+ business tools in one platform

CRM · Invoicing · HR · Projects · Booking · eCommerce · POS · Analytics. Free forever plan available.

Start Free →

Leswi Leswi Swi Vulaka swona Eka Ku Tinyiketela ka Vutlhari Namuntlha

Mhaka ya Cantor-Dedekind yi twala ku tlula matimu ya tinhlayo. Eka ntirho wun’wana na wun’wana wa ntirhisano — ku suka eka ndzavisiso wa sayense ku ya eka nhluvukiso wa software ku ya eka maqhinga ya bindzu — xivutiso xa leswaku i mani loyi a sunguleke mianakanyo naswona i mani loyi a yi hetisiseke ntsena xi tshama xi tika hi ndlela yo karhata ku xi tlhantlha. Endlelo ra manguva lawa ra swa tidyondzo ri hlamurile hi mimpimanyeto leyi yaka yi tika swinene ku rhendzela ku tshahiwa, ku tsala swin’we, na ku kandziyisiwa ka le mahlweni ka mfikelelo lowu pfulekeke. Kambe emisaveni ya mabindzu, laha swipano swi tirhisanaka siku na siku eka tiphurojeke leti avelaniwa, xiphiqo xa ha ri kona.

Xiya leswaku i swiboho swingani swa nkoka swa bindzu, vutumbuluxi bya swikumiwa, na ti-pivot ta maqhinga leswi humaka eka mabulo lama nga riki ya xivumbeko — rungula ra Slack laha, nkarhi wa bodo yo basa kwalaho, xivulavulelo xo ka xi nga ri xa xiviri eka nhlengeletano. Handle ka matsalwa lama hlelekeke, munhu loyi a tsalaka xiviko xo hetelela kumbe a nyikelaka nkulumo yo hetelela hakanyingi u kuma ku dzuneka, kasi munhu loyi a pfuxeke mianakanyo leyi u nyamalala endzhaku. Lexi i xiphiqo xa Dedekind hi xivumbeko xa nhlangano.

Tipulatifomo ta manguva lawa to fana na Mewayz ti lulamisa ntlhontlho lowu hi ku hlanganisa ntirhisano wa xipano, matsalwa ya phurojeke, na ku landzelerisa mafambelo ya ntirho eka sisiteme yin’we. Hi 207 wa mimojula leyi hlanganisiweke leyi hlanganisaka CRM, vufambisi bya phurojeke, vuhlanganisi bya xipano, na vuxopaxopi, ku hoxa xandla kun’wana na kun’wana ku logiwa, ku stemiwa nkarhi, naswona ku nga ha va kona. Loko xirho xa ntlawa xi ringanyeta maqhinga eka noti ya phurojeke, rhekhodo yoleyo ya ha ri kona. Loko endlelo ra ntirho ri cinciwile, matimu ya ku cinca ya kombisa leswaku i mani loyi a endleke ndzulamiso naswona rini. Muxaka wa xivandla xa attribution lexi a xi karhata Dedekind ku tlula lembe xidzana xi hundzuka lexi nga kotekiki hi tlhelo ra xivumbeko loko switirhisiwa swa matsalwa swi akiwile eka pulatifomo hi yoxe.

Ku kambisisa nakambe Ndzhaka ya Cantor

Ku hava na xin'we xa leswi lexi hungutaka ku vangama ka xiviri ka Georg Cantor. Nhlamuselo ya yena ya diagonal ya 1891, nhluvukiso wa yena wa tinomboro ta transfinite ordinal na cardinal, na continuum hypothesis ya yena ya ha ri ku humelela loku tlakukeke loku rhwalelaka sayina ya yena yo hlawuleka ya vutumbuluxi. Xivutiso lexi tlakusiweke hi vumbhoni lebyintshwa a hi leswaku xana Cantor a a ri mutivi lonkulu wa tinhlayo — handle ko kanakana a a ri mutivi wa tinhlayo — kambe xana xitlhokovetselo xa matimu xi hambanisiwile hi ndlela leyi nga lulamangiki.

Minyikelo ya Dedekind eka masungulo ya tinhlayo yi ya yi tiviwa tanihi ya masungulo hi ndlela ya xiviri swinene. Ku akiwa ka yena ka tinomboro ta xiviri hi ku tirhisa ku tsemiwa ku tshama ku ri endlelo leri tolovelekeke eka tibuku ta nxopaxopo wa manguva lawa. Dyondzo ya yena ya tinomboro ta algebra yi kucetele tinxaka ta vativi va tinhlayo ku sukela eka Emmy Noether ku ya eka André Weil. Naswona vutivi bya yena bya set-theoretic, lebyi sweswi byi tsariweke hi ku hetiseka hi ku tirhisa vumbhoni bya archival, byi paluxa muehleketi loyi a a nga ri mutsari wa Cantor ntsena kambe a ri ku ringana ka yena hi vutlhari — naswona, eka swiyimo swin’wana, loyi a n’wi rhangeleke.

Ku kamberiwa nakambe a hi ku hirimuxa ndzhaka yin'wana ku aka yin'wana. I mayelana no fikelela ku twisisa loku kongomeke swinene ka ndlela leyi miehleketo ya ndzhundzunuko yi hluvukaka ha yona hakunene: ku nga ri eka minkarhi leyi nga yoxe ya vutlhari, kambe hi ku tirhisa mbulavurisano lowu nga heriki, nkucetelo wa vumbirhi, na ku antswisiwa hakatsongotsongo ka miehleketo leyi avelaniwa. Khombo ra kona hileswaku rhekhodo ya tidokhumentari a yi nga talanga ngopfu, naswona mimpimanyeto ya nkandziyiso a yi olova ngopfu, ku khoma ntiyiso lowu wa ntirhisano hi nkarhi wa xiviri.

Tidyondzo ta Misava yo Sungula ya Matsalwa

Mphikizano wa Cantor-Dedekind wu nyika dyondzo ya matimba leyi hundzaka swinene eka swa tidyondzo. Eka nguva leyi ku kanetana ka nhundzu ya vutlhari ku nga boha vuyelo bya tikhamphani na mintirho, nkoka wa matsalwa yo tika, ya nkarhi wa xiviri a wu nge hundzeletiwi. Ntirhisano wun’wana na wun’wana wu humesa miehleketo, naswona miehleketo yin’wana na yin’wana yi na laha yi humaka kona. Tinhlengeletano leti humelelaka ti ta va leti khomaka vutumbuluxi byebyo tanihi mhaka ya xiviri — ku nga ri tanihi ku ehleketa endzhaku, kambe tanihi xivumbeko lexi nghenisiweke xa ndlela leyi ntirho wu endliwaka ha yona.

Eka mabindzu ya 138,000 lawa se ya tirhisaka Mewayz ku lawula matirhelo ya wona, nsinya lowu wu akiwile eka maendlelo ya ntirho ya siku na siku. Ntirhisano wun’wana na wun’wana wa tiklayenti lowu nghenisiweke eka CRM, invoyisi yin’wana na yin’wana leyi endliweke, xiendlakalo xin’wana na xin’wana xa phurojeke lexi landzelerisiweke xi tumbuluxa rhekhodo ya nkarhi hinkwawo, leyi lavisisiwaka ya leswaku i mani loyi a hoxeke xandla eka yini na rini. Hi ndlela yo karhi, i switirhisiwa leswi Dedekind a nga si tshamaka a va na swona — sisiteme leyi tiyisisaka leswaku tinyiko to hlamarisa a ti nyamalali eka tibuku to tsalela eka tona ta phurayivhete, leti yimeleke ku tlula dzana ra malembe ku tiviwa.

Matimu ma nga ha tshuka ma nyikile xiboho lexi tiyeke xa loko Cantor a yivile Dedekind. Vumbhoni lebyintshwa byi rhetela swikalo, kambe ntiyiso lowu heleleke wu lahliwile eka swilo leswi tumbeleke swa vunghana bya lembe-xidzana ra vu-19 lebyi fambisiweke hi mapapila lama tsariweke hi voko ni mabulo yo langutana hi mahlo lawa ku nga riki na ndhawu yo hlayisa rungula leyi nga yi pfuxetaka. Leswi hi nga swi dyondzaka, hambiswiritano, a swi kanakanisi: tsala hinkwaswo, u lomba hi ku hanana, naswona u aka tisisiteme leti endlaka leswaku ku nyika vuxokoxoko hi ku tisungulela. Dedekind leyi landzelaka yi faneriwa hi swo antswa.

Swivutiso Leswi Vutisiwaka Nkarhi Na Nkarhi

Hi byihi vumbhoni lebyi ringanyetaka leswaku Cantor a nga va a yivile Dedekind?

Vudyondzi bya sweswinyana byi kambisisa ku tsalelana ka vona lokukulu ku sukela hi va 1870 na va 1880, byi paluxa leswaku miehleketo yo tala ya masungulo ya Cantor eka set theory na muxaka wa infinity yi kombisa swinene miehleketo leyi Dedekind a yi avelane exihundleni khale. Van’wamatimu va kombisa ku hambana ka nkarhi exikarhi ka matsalwa ya voko lama nga kandziyisiwangiki ya Dedekind na minkandziyiso ya Cantor leyi landzeleke, kun’we na tindzimana eka mapapila ya vona laha Dedekind a hlamuseleke miehleketo ya nkoka leyi endzhaku yi humeleleke eka ntirho wa Cantor handle ko boxiwa loku faneleke.

Xana vuxaka bya Cantor-Dedekind byi kucetele njhani tinhlayo ta manguva lawa?

Ntirhisano na mphikizano wa vona hi xisekelo swi vumbe masungulo ya tinhlayo ta manguva lawa. Ku akiwa loku tiyeke ka tinomboro ta xiviri hi Dedekind hi ku tsemiwa na nhluvukiso wa Cantor wa thiyori ya transfinite set swin’we swi simeke rimba leri kwalomu ka tinhlayo hinkwato ta manguva lawa ti tshamaka eka rona. Ku cincana ka vona eka mhaka ya ku pfumala makumu, ku ya emahlweni, na muxaka wa swilo swa tinhlayo swi pfuxe minjhekanjhekisano leyi yaka emahlweni yi fambisa ndzavisiso eka logic, filosofi ya tinhlayo, na tidyondzo ta masungulo namuntlha.

Ha yini njhekanjhekisano wa ku yiva wu tlhela wu humelela sweswi?

Switirhisiwa leswintshwa swa vuhlayiselo bya xidijitali, ku katsa na mapapila lawa khale a ma nga fikeleleki na switshuriwa swa matsalwa ya voko, swi pfumelele van’wamatimu ku pfuxeta minkarhi leyi kongomeke swinene ya nhluvukiso wa miehleketo. Switirhisiwa swa xiyimo xa le henhla swa nxopaxopo wa matsalwa na tindlela to hlanganisa swikombo na swona swi endle leswaku swi olova ku landzelerisa ku khuluka ka miehleketo exikarhi ka vativi lavambirhi va tinhlayo. Swikumiwa leswi swintshwa swi pfuxe ku tsakela ka swa tidyondzo naswona swi hlohlotele minkandziyiso yo hlayanyana leyi kambisisiweke hi tintangha leyi tlhelaka yi kambisisa vusunguri bya tinyiko ta Cantor.

Xana ndzi nga swi kuma kwihi swihloko leswi dzikeke swinene eka tinhlayo na matimu ya vutlhari?

Tijenali ta swa tidyondzo, ti-archive ta le yunivhesiti, na tilayiburari ta xidijitali leti hlayisiweke i masungulo lamanene eka ndzavisiso wo dzika. Eka vatirhi va xiphurofexinali na vatumbuluxi va swilo leswi lavaka ku kandziyisa na ku lawula swilo swa vona swa dyondzo hi ndlela leyinene, Mewayz yi nyika OS ya bindzu ya timodyuli ta 207 ku sukela eka $19/mo leyi katsaka ku bloga, switirhisiwa swa SEO, na vufambisi bya vayingiseri — hinkwaswo leswi lavekaka ku aka pulatifomo ya vutivi leyi nga na vulawuri.