Hacker News

Nouvo prèv ki montre Cantor te plaji Dedekind?

Kòmantè

14 min read Via www.quantamagazine.org

Mewayz Team

Editorial Team

Hacker News

Rivalite ki te fòme matematik modèn

Nan annal istwa matematik yo, gen kèk relasyon ki te pwouve kòm entelektyèlman fètil - oswa kòm kontwovèsyal - tankou youn ant Georg Cantor ak Richard Dedekind. Korespondans yo atravè ane 1870 yo ak ane 1880 yo te pwodwi kèk nan lide ki pi revolisyonè nan fondasyon matematik yo, soti nan konstriksyon solid nan nimewo reyèl yo rive nan revelasyon an mayifik ke enfini vini nan diferan gwosè. Men, yon kesyon ki te mitone nan mitan istoryen matematik yo pou plis pase yon syèk te pran nouvo momantòm dènyèman: èske Cantor te resevwa plis kredi pase li te merite, epi Dedekind te resevwa anpil mwens? Nouvo analiz savan yo sou korespondans prive yo, bouyon maniskri yo, ak kwonoloji egzak piblikasyon yo ap fòse kominote matematik la re-egzamine kiyès ki vrèman te papa ide nou kounye a atribiye prèske nan reflèks a Cantor sèlman.

Sa a se pa sèlman yon diskisyon akademik sou nòt anba yo. Kesyon an pou konnen si Cantor te plagiarye - oswa omwen ensuffisamman kredite - Dedekind frape nan kè a nan fason nou bay pwopriyetè entelektyèl, ki jan kolaborasyon flou nan afektasyon, ak poukisa dokimantasyon ak atribisyon enpòtan nan chak domèn, soti nan matematik pi nan biznis modèn.

Sa Dosye Istorik la te di nou deja

Relasyon ant Cantor ak Dedekind byen dokimante atravè yon seri lèt echanj ant 1872 ak 1899. Korespondans yo, premye pibliye nan yon edisyon kolekte pa Emmy Noether ak Jean Cavaillès an 1937, revele yon echanj entelektyèl entans. An 1872, tou de gason poukont yo te pibliye konstriksyon nimewo reyèl yo - Cantor itilize sa yo rele kounye a sekans Cauchy, ak Dedekind lè l sèvi avèk pi popilè "koupe yo." Men, lèt yo montre ke Dedekind te devlope konstriksyon koupe l 'tankou 1858, yon plen 14 ane anvan piblikasyon, pandan y ap anseye kalkil nan Polytechnic nan Zürich.

Sa istoryen yo konnen depi lontan se ke Cantor te apiye anpil sou Dedekind pandan ane fòmasyon teyori seri yo. Se nan yon lèt 1873 bay Dedekind ke Cantor te poze premye kesyon si nonm reyèl yo ta ka mete nan korespondans youn-a-yon ak nimewo natirèl yo. Dedekind pa sèlman ankouraje ankèt la, men li te kontribye yon senplifikasyon kle nan premye prèv Cantor ki montre reyèl yo pa konte. Men, lè Cantor te pibliye rezilta enpòtan sa a nan Crelle's Journal an 1874, kontribisyon Dedekind pa t janm mansyone.

Omisyon sa a pa t yon sèl fwa. Nan plizyè piblikasyon atravè fen ane 1870 yo ak ane 1880 yo, Cantor te devlope lide ki te genyen tras enkonitab nan echanj li yo ak Dedekind - ki gen ladan fòmilasyon bonè nan kardinalite, konsèp nan denumerability, ak estrikti nan topoloji pwen-set - san yo pa bay kalite rekonesans ke estanda akademik modèn ta mande.

Nouvo prèv la: delè maniskri ak bouyon ki pa pibliye

Dènye bous etid, desen sou materyèl achiv nan University of Göttingen ak deja neglije marginalia nan Dedekind nan Nachlass (byen literè), te ajoute gwo pwa nan ka a. Istoryen yo te idantifye bouyon maniskri nan men Dedekind ki dekri konsèp teyorik kle yo - ki gen ladan yon vèsyon byen bonè nan sa ki ta vin teyorèm nan ke yon seri se enfini si epi sèlman si li ka mete nan bijeksyon ak yon sous-ensemble apwopriye nan tèt li - date nan peryòd anvan Cantor pibliye rezilta ekivalan.

Se yon seri nòt ki soti 1874 pou rive 1877, kote Dedekind fè desen ide sou kat ant seri "pouvwa" diferan (sa nou rele kounye a kardinalite). Nòt sa yo anvan travay Cantor te pibliye sou menm konsèp yo pa plizyè ane. Pandan ke Dedekind te chwazi pou anpeche piblikasyon - an pati nan pèfeksyonis lejand li yo ak an pati paske li te santi lide yo pa t 'ankò nan fòm satisfezan - Cantor, ki te gen aksè a lide sa yo atravè korespondans yo, deplase rapidman nan pibliye.

Delè a se akasan nan espesifik li yo. Entelektyèl yo te trase omwen sèt ka diferanant 1873 ak 1885 kote yon konsèp parèt an premye nan nòt prive Dedekind yo oswa lèt yo bay Cantor, epi answit parèt nan papye Cantor yo pibliye nan lespas 6 a 18 mwa — san sitasyon.

Plaji oswa bwouya kolaborasyon?

Anvan kouri kondane Cantor, li enpòtan pou w konprann kilti entelektyèl matematik 19yèm syèk la. Nòm sitasyon ak atribisyon yo te byen mwens ofisyèlman pase jodi a. Pa te gen okenn fòma referans estanda, pa gen okenn sistèm revizyon kanmarad jan nou konnen yo, ak fwontyè ki genyen ant "enspire pa yon konvèsasyon" ak "prete yon lide" te konsiderableman flou. Matematisyen yo regilyèman pataje lide nan lèt ak konpreyansyon implicite ke dwa piblikasyon se pou moun ki ekri papye a.

"Liy ki genyen ant enfliyans entelektyèl ak vòl entelektyèl trase pa lide yo tèt yo, men pa chemen dokiman ki antoure yo. Nan absans dosye klè, diskisyon priyorite vin yon kesyon de entèpretasyon - ak Piblikatè a odasyeu souvan genyen kredi istorik la."

Defansè Cantor yo diskite ke li te transfòme matyè premyè obsèvasyon Dedekind yo nan yon teyori sistematik - ke Dedekind te bay grenn, men Cantor te bati jaden an. Gen verite nan sa a: Cantor 1895–1897 Beiträge zur Begründung der transfiniten Mengenlehre reprezante yon sentèz moniman ki ale pi lwen pase nenpòt bagay Dedekind te ekri. Men, nouvo prèv la sijere semans yo te fòme plis nèt pase anvan te rekonèt, e echèk Cantor pou rekonèt yo te, omwen, yon echèk etik enpòtan pa estanda nenpòt epòk la.

Poukisa Dedekind rete an silans

Youn nan aspè ki pi kaptivan nan istwa sa a se repons pwòp Dedekind la - oswa pito, mank li nan youn. Malgre li te gen anpil prèv ki montre pwòp priyorite li, Dedekind pa janm akize piblikman Cantor de plagiat. Plizyè faktè ede eksplike kontrent sa a:

  • Diferans tanperaman: Dedekind te rezève, metikuleu, ak pwofondman prive. Cantor te anbisye, prolifique, ak dezespere pou rekonesans nan yon etablisman matematik ki souvan rejte travay li.
  • Vinerabilite pwofesyonèl: Cantor te pase anpil nan karyè li nan University of Halle, yon enstitisyon dezyèm nivo, epi li te fè fas ak opozisyon mechan nan men Leopold Kronecker. Dedekind, ki te byen etabli nan Brunswick Polytechnic, ka te santi ke yon diskisyon priyorite ta dwe anba l '.
  • Depandans mityèl: Malgre dezekilib nan kredi, tou de gason te apresye relasyon an. 1888 zèv Dedekind te Was sind und was sollen die Zahlen? te bati sou lide yo te devlope ansanm, epi yon diskisyon piblik t ap tache tou de eritaj yo.
  • Filozofi Piblikasyon: Dedekind kwè lide yo ta dwe pibliye sèlman lè yo te rive nan yon eta de klète total ak konplè. Li klèman te chwazi pa pibliye anpil rezilta, ke li konsidere kòm pwovizwa. Dapre li, yon lide ki pa pibliye pa t 'ankò pare pou mond lan.

Dènye pwen sa a se petèt pi poyan an. Pwòp pèfeksyonism Dedekind te kreye vakyòm ke Cantor te ranpli. Nouvo prèv la pa tèlman revele yon mechan kòm li eklere yon pwoblèm estriktirèl: nan absans la nan sistèm dokimantasyon transparan, Piblikatè a ki pi prolifique kaptire kredi a, kèlkeswa ki moun ki te gen lide an premye.

💡 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 →

Ki sa sa vle di pou atribisyon entelektyèl jodi a

Ka Cantor-Dedekind nan rezonans pi lwen pase istwa matematik la. Nan chak domèn kolaborasyon - soti nan rechèch syantifik nan devlopman lojisyèl ak estrateji biznis - kesyon an sou ki moun ki soti yon lide ak ki moun ki jis egzekite li rete vexingly difisil pou rezoud. Sistèm akademik modèn lan te reponn ak nòm de pli zan pli solid konsènan sitasyon, ko-otè, ak preprint ak aksè ouvè. Men, nan mond biznis la, kote ekip yo kolabore chak jou sou pwojè pataje, pwoblèm nan pèsiste.

Konsidere konbyen desizyon biznis enpòtan, inovasyon pwodwi, ak pivot èstratejik ki soti nan konvèsasyon enfòmèl - yon mesaj Slack isit la, yon sesyon whiteboard la, yon remak dezagreyab nan yon reyinyon. San yo pa dokimantasyon sistematik, moun ki ekri rapò final la oswa ki delivre prezantasyon final la souvan resevwa kredi a, pandan ke moun ki te pwovoke lide a disparèt nan background nan. Sa a se pwoblèm nan Dedekind nan fòm antrepriz.

Platfòm modèn tankou Mewayz adrese defi sa a lè yo santralize kolaborasyon ekip, dokiman pwojè, ak swiv workflow nan yon sèl sistèm. Avèk 207 modil entegre ki kouvri CRM, jesyon pwojè, kominikasyon ekip, ak analytics, chak kontribisyon yo konekte, ak horodatage, ak atribiye. Lè yon manm ekip pwopoze yon estrateji nan yon nòt pwojè, dosye sa a pèsiste. Lè yon workflow modifye, istwa chanjman an montre ki moun ki fè ajisteman an ak ki lè. Kalite diferans nan atribisyon ki te soufri Dedekind pandan plis pase yon syèk la vin strukturalman enposib lè enfrastrikti dokimantasyon an bati nan platfòm la li menm.

Reevalye eritaj Cantor

Okenn nan sa yo pa diminye otantik klere Georg Cantor. Agiman dyagonal li nan 1891, devlopman li nan nimewo transfini ordinal ak kadinal, ak ipotèz kontinyèl li rete reyalizasyon imans ki pote siyati kreyatif diferan li. Kesyon nouvo prèv la soulve se pa si Cantor te yon gwo matematisyen - li san dout se te - men si naratif istorik la te enjis dezagreman.

Kontribisyon Dedekind nan fondasyon matematik yo de pli zan pli rekonèt kòm fondasyon nan sans ki pi literal. Konstriksyon li nan nimewo reyèl yo atravè koupe rete apwòch estanda nan liv analiz modèn. Teyori nimewo aljebrik li a te enfliyanse jenerasyon matematisyen soti nan Emmy Noether rive nan André Weil. Ak lide teyorik li yo, kounye a plis dokimante atravè prèv achiv la, revele yon moun ki panse ki pa sèlman korespondan Cantor a men ki te egal entelektyèl li - e, nan kèk ka, predesesè li.

Reevalyasyon an se pa sou kraze yon eritaj pou konstwi yon lòt. Li se sou reyalize yon konpreyansyon ki pi egzak sou fason lide revolisyonè aktyèlman devlope: pa nan moman izole nan jeni, men atravè dyalòg soutni, enfliyans mityèl, ak rafineman gradyèl nan konsèp pataje. Trajedi a se ke dosye dokimantè a te twò ra, ak nòm piblikasyon yo twò laks, pou kaptire reyalite kolaborasyon sa a an tan reyèl.

Leson pou yon Dokimantasyon-Premye Monn

Konfli Cantor-Dedekind la ofri yon leson pwisan ki pwolonje byen pi lwen pase akademik. Nan yon laj kote diskisyon pwopriyete entelektyèl ka detèmine sò konpayi yo ak karyè, enpòtans ki genyen nan dokiman solid, an tan reyèl pa ka egzajere. Chak kolaborasyon jenere lide, epi chak lide gen yon pwovens. Òganizasyon ki pwospere yo pral moun ki pran pwovens sa a kòm yon kesyon de kou - pa kòm yon apre reflechi, men kòm yon karakteristik entegre nan fason travay ap fèt.

Pou 138,000 biznis ki deja itilize Mewayz pou jere operasyon yo, prensip sa a entegre nan workflow chak jou. Chak entèraksyon kliyan ki konekte nan CRM a, chak fakti ki te pwodwi, chak etap enpòtan nan pwojè yo swiv kreye yon dosye pèmanan ki ka chèche kiyès ki te kontribye ak ki lè. Se, nan yon sans, enfrastrikti ke Dedekind pa janm te genyen - yon sistèm ki asire kontribisyon briyan pa disparèt nan kaye prive, ap tann plis pase yon syèk yo rekonèt.

Istwa pa janm ka bay yon vèdik definitif sou si Cantor te plagiati Dedekind. Nouvo prèv la panche balans lan, men tout verite a kache nan sibtilite yon amitye 19yèm syèk la ki te fèt atravè lèt ekri alamen ak konvèsasyon fas a fas ke okenn achiv pa ka rekonstwi. Sa nou ka aprann, sepandan, se klè: dokimante tout bagay, kredi san gad dèyè, epi bati sistèm ki fè atribisyon otomatik. Dedekind kap vini an merite pi bon.

Kesyon yo poze souvan

Ki prèv ki montre ke Cantor te plagiye Dedekind?

Dènye bous etid yo egzamine anpil korespondans yo nan ane 1870 ak ane 1880 yo, revele ke anpil nan lide fondasyon Cantor yo sou teyori seri ak nati a nan enfini byen miwa konsèp Dedekind te pataje an prive davans. Istoryen yo montre diferans ki genyen ant maniskri Dedekind ki poko pibliye yo ak piblikasyon ki vin apre Cantor yo, ansanm ak pasaj nan lèt yo kote Dedekind te dekri lide kle ki te parèt pita nan travay Cantor a san yo pa bay bon atribisyon.

Kijan relasyon Cantor-Dedekind te enfliyanse matematik modèn?

Kolaborasyon ak rivalite yo te fòme fondamantalman fondasyon matematik modèn yo. Konstriksyon rijid Dedekind nan nonm reyèl yo atravè koupe ak devlopman teyori seri transfinite Cantor ansanm te etabli kad la sou ki pratikman tout matematik kontanporen chita. Echanj yo sou konsèp infini, kontinwite, ak nati objè matematik yo te pwovoke deba ki kontinye mennen rechèch nan lojik, filozofi matematik, ak etid fondasyon jodi a.

Poukisa deba sou plaji a ap repare kounye a?

Materyèl achiv ki fèk nimerik, ki gen ladan lèt ki te deja pa aksesib ak bouyon maniskri, te pèmèt istoryen yo rekonstwi delè pi presi nan devlopman lide. Zouti avanse analiz tèks ak metòd kwa-referans yo te tou fè li pi fasil pou trase koule nan konsèp ant de matematisyen yo. Nouvo dekouvèt sa yo te relanse enterè akademik e yo te pouse plizyè piblikasyon revize parèg yo re-evalye orijinalite kontribisyon Cantor yo.

Ki kote mwen ka jwenn plis atik apwofondi sou matematik ak istwa entelektyèl?

Journal akademik, achiv inivèsite, ak bibliyotèk dijital òganize yo se ekselan pwen depa pou rechèch pwofon. Pou pwofesyonèl ak kreyatè kontni kap pibliye ak jere pwòp kontni edikasyon yo avèk efikasite, Mewayz ofri yon OS biznis 207 modil kòmanse nan $ 19 / mwa ki gen ladan blog, zouti SEO, ak jesyon odyans - tout sa ki nesesè yo bati yon platfòm konesans otorite.