Գեորգ Կանտոր

Վիքիպեդիայից՝ ազատ հանրագիտարանից
Jump to navigation Jump to search

Այս էջը ներկայացված է գնահատման

Այս հոդվածը ներկայացված է գնահատման։ Խնդրում ենք հայտնել ձեր կարծիքը գնահատման ենթաէջում։
Գեորգ Կանտոր
գերմ.՝ Georg Ferdinand Ludwig Philipp Cantor
Georg Cantor2.jpg
Ծնվել էփետրվարի 19 (մարտի 3), 1845[1]
Սանկտ Պետերբուրգ, Ռուսական կայսրություն[2][3]
Մահացել էհունվարի 6, 1918(1918-01-06)[2][1][4][5][6] (72 տարեկանում)
Հալե, Մերսբուրգ վարչական շրջան, Սաքսոնիա (նահանգ), Պրուսիա[2]
բնական մահով
Բնակության վայր(եր)Ռուսական կայսրություն և Գերմանական կայսրություն
ՔաղաքացիությունFlag of the German Empire.svg Գերմանական կայսրություն
Ազգությունհրեա
Դավանանքլյութերականություն
Մասնագիտությունմաթեմատիկոս, փիլիսոփա և համալսարանի պրոֆեսոր
Հաստատություն(ներ)Հալլե-Վիտենբերգի համալսարան
Գործունեության ոլորտբազմությունների տեսություն և մաթեմատիկա
ԱնդամակցությունԼեոպոլդինա, Գյոթինգենի Գիտությունների ակադեմիա, Էդինբուրգի թագավորական ընկերություն[7] և Լոնդոնի մաթեմատիկական ընկերություն[7]
Ալմա մատերԲեռլինի համալսարան, Հումբոլդտի համալսարան և Հալլե-Վիտենբերգի համալսարան
Գիտական աստիճանփիլիսոփայության դոկտոր[8] (1867) և հաբիլիտացիա (1869)
Տիրապետում է լեզուներինգերմաներեն[1]
Գիտական ղեկավարԷռնստ Էդուարդ Կումմեր և Կառլ Վայերշտրաս
ՊարգևներՍիլվեստրի մեդալ
Georg Cantor Վիքիպահեստում

Գեորգ Ֆերդինանդ Լյուդվիգ Ֆիլիպ Կանտոր (փետրվարի 19 (մարտի 3), 1845[1], Սանկտ Պետերբուրգ, Ռուսական կայսրություն[2][3] - հունվարի 6, 1918(1918-01-06)[2][1][4][5][6], Հալե, Մերսբուրգ վարչական շրջան, Սաքսոնիա (նահանգ), Պրուսիա[2]), գերմանացի մաթեմատիկոս։ Ստեղծել է բազմությունների տեսությունը, որը դարձել է ժամանակակից մաթեմատիկայի հիմնային տեսություն։ Կանտորը ցույց է տվել երկու բազմությունների անդամների միջև փոխմիարժեք համապատասխանության կարևորությունը, սահմանել է անվերջ և լավ կարգավորված բազմությունները, ապացուցել է, որ իրական թվերը բնական թվերից «ավելի շատ են»։ Սահմանել է կարդինալ և օրդինալ թվերը և դրանց թվաբանությունը։ Կանտորի աշխատանքները մեծ փիլիսոփայական կարևորություն ունեն, ինչի մասին նա տեղյակ էր[9]։

Կանտորի տրանսֆինիտ թվերի տեսությունը սկզբում համարվում էր ոչ ինտուիտիվ և քննադատվել է բազմաթիվ մաթեմատիկոսների և փիլիսոփաների կողմից, մինչև օրինակ՝ Լեոպոլդ Կրոնեկեր, Անրի Պուանկարե[10], Հերման Վեյլ, Լ․ Է․ Յ․ Բրաուեր և Լյուդվիգ Վիտգենշթայն։ Կանտորը, լինելով նվիրված լյութերական[11], հավատում էր, որ տեսությունը իրեն փոխանցվել է Աստծո միջոցով[12]։ Որոշ քրիստոնյա աստվածաբաններ (հատկապես՝ ներոսխոլաստիկներ) կարծում էին, որ Կանտորի աշխատանքները հակասում են Աստծո էության մեջ բացարձակ անվերջության միակության գաղափարին[13], և համեմատում էին տրանսֆինիտ թվերի տեսությունը պանթեիզմի հետ[14]։

Լեոպոլդ Կրոնեկերը Կանտորին անվանել է «գիտական շառլատան», «դավաճան» և «երիտասարդության շփոթեցնող»[15]։ Կրոնեկերը չի ընդունել հանրահաշվական թվերի հաշվելիության և տրանսցենդենտ թվերի անհաշվելիության Կանտորի ապացույցները (այս արդյունքները այժմ մաթեմատիկայի ուսուցման ստանդարտ ծրագրում են)։ Կանտորի մահից տասնամյակներ անց Վիտգենշթայնը բազմությունների տեսության հասկացությունները անվանել է «բացարձակ անհեթեթություն», որը «ծիծաղելի է» և «սխալ»[16]։ 1884 թվականից մինչև կյանքի վերջ կրկնվող դեպրեսիայի ցնցումների պատճառ է համարվել ժամանակակիցների քննադատությունները[17], սակայն որոշ հետազոտողներ կարծում են, որ այն հավաբանար երկբևեռ աֆեկտիվ խանգարման հետևանք է եղել[18]։

1904 թվականին Լոնդոնի թագավորական ընկերությունը Կանտորին արժանացրել է Սիլվեստրի մեդալին, որը մաթեմատիկայի բնագավառում ընկերության ամենահեղինակավոր մրցանակն էր[19]։ Դավիթ Հիլբերտը պաշտպանել է քննադատներից՝ ասելով՝ «Ոչ ոք չի կարող հեռացնել մեզ Կանտորի ստեղծած դրախտից»[20][21]։

Կյանք[խմբագրել | խմբագրել կոդը]

Երիտասարդություն և կրթություն[խմբագրել | խմբագրել կոդը]

Կանտորը մոտ 1870 թվականին

Գեորգ Կանտորը ծնվել է 1845 թվականին Ռուսաստանի Սանկտ Պետերբուրգ քաղաքում և ապրել է այնտեղ մինչև տասնմեկ տարեկանը։ Կանտորը ընտանիքի վեց երեխաներից ամենամեծն էր և համարվում էր տաղանդավոր ջութակահար։ Պապը՝ Ֆրանս Բոհմը (1788-1846), հայտնի երաժիշտ մենակատար էր Ռուսական կայսրական նվագախմբում[22]։ Կանտորի հայրը Սանկտ Պետերբուգի ֆոնդային բորսայի անդամ էր։ Ընտանիքը 1856 թվականին Կանտորի հիվանդության պատճառով տեղափոխվել է Գերմանիա՝ սկզբում Վիսբադեն, իսկ հետո՝ Մայնի Ֆրանկֆուրտ, քանի որ այս քաղաքները Սանկտ Պետերբուրգից ավելի մեղմ ձմեռներ ունեին։ 1860 թվականին Կանտորն ավարտել է Դարմշտադտի «Ռեալշուլը»[23], որտեղ աչքի է ընկել բարձր առաջադիմությամբ, հատկապես մաթեմատիկայի և եռանկյունաչափության բնագավառում։ 1862 թվականին Կանտորը ընդունվել է Ցյուրիխի տեխնիկական բարձրագույն դպրոց։ 1863 թվականի հունիսին մահացել է Կանտորի հայրը՝ նրան թողնելով նշանակալի ժառանգություն[24], որից հետո նա կրթությունը շարունակել է Բեռլինի Հումբոլդտի անվան համալսարանում՝ հաճախելով Լեոպոլդ Կրոնեկերի, Կառլ Վայերշտրասի և Էռնստ Էդուարդ Կումմերի դասախոսություններին։ 1866 թվականի ամառը անցկացրել է Գյոթինգենի համալսարանում, որն այդ ժամանակ մաթեմատիկական հետազոտությունների կենտրոն էր։ Կանտորը հիանալի ուսանող էր և դոկտորի աստիճան է ստացել 1867 թվականին[24][25]։

Ուսուցում և հետազոտություն[խմբագրել | խմբագրել կոդը]

Բեռլինի համալսարանում Կանտորի դիպլոմային աշխատանքը (1867 թվական) վերաբերում էր թվերի տեսությանը։ Բեռլինի աղջիկների դպրոցում կարճ ժամանակ դասավանդելուց հետո Կանտորը աշխատանքի է անցել Հալլեի համալսարանում, որտեղ անցկացրել է իր ամբողջ գործունեությունը։ Իր հաբիլիտացիան նույնպես վերաբերում էր թվերի տեսությանը, որը նա ներկայացրել է 1869 թվականին՝ Հալլեի համալսարանում աշխատանքի անցնելու ժամանակ[25][26]։

1874 թվականին Կանտորը ամուսնացել է Վալլե Գութմանի հետ։ Նրանք ունեցել են վեց երեխա, վերջինը (Ռուդոլֆ) ծնվել է 1886 թվականին։ Չնայած ակադեմիական համեստ աշխարավարձին՝ Կանտորը կարողացել է բավարարել ընտանիքի պահանջները հոր ժառանգության միջոցով։ Հարցի լեռներում իրենց մեղրամսի ընթացքում Կանտորը ժամանակի մեծ մասն անցկացրել է Ռիխարդ Դեդեկինդի հետ մաթեմատիկական քննարկումերի վրա, որի հետ նա ծանոթացել է երկու տարի առաջ։ Կանտորը 1872 թվականին դարձել է լրացուցիչ պրոֆեսոր (գերմ.՝ außerordentlicher Professor, ao. Prof.) իսկ 1879 թվականին՝ լրիվ պրոֆեսոր[25][24]: 34 տարեկանում նման բարձր աստիճանի հասնելը նշանավոր նվաճում էր, բայց Կանտորը ցանկանում էր կոչում ստանալ ավելի հեղինակավոր համալսարանից, մասնավորապես՝ Բեռլինից, որը այդ ժամանակ Գերմանիայի առաջատար համալսարանն էր։ Այնուամենայնիվ, նրա աշխատությունները շատ քննադատություններ ունեցան, ինչը խոչընդոտել են Կանտորի ցանկությանը[27]։ Կրոնեկերը, որն այդ ժամանակ Բեռլինի համալսարանի մաթեմատիկայի բաժնի ղեկավարն էր, չէր ցանկանում Կանտորին որպես կոլեգա տեսնել[28]՝ նրան ընկալելով որպես «երիտասարդության շփոթեցնող»[29]։ Ավելին, Կրոնեկերը, լինելով Կանտորի նախկին դասախոսը և մաթեմատիկական հասարակության մեջ հարգված անձ, հիմնովին մերժում էր Կանտորի աշխատանքները, նույնիսկ դիտավորյալ հետաձգում էր Կանտորի առաջին խոշոր աշխատանքի հրատարակումը 1874 թվականին[25]։ Կրոնեկերը, որն այժմ համարվում է կոնստրուկտիվ մաթեմատիկայի հիմնադիրներից մեկը, չէր ընդունում բազմությունների տեսության վերաբերյալ Կանտորի աշխատանքների մեծ մասը, քանի որ դրանք ենթադրում էին որոշակի հատկությունների բավարարող բազմությունների գոյությունը՝ առանց մասնավոր օրինակներ տալու։ Բեռլինի համալսարանի դիմումները միշտ մերժվել են, հիմնականում Կրոնեկերի ազդեցությամբ[25], ինչի պատճառով Կանտորը սկսեց մտածել, որ Կրոնեկերի դիրքորոշումը անհնար կդարձնի Հալլեից հեռանալը։ 1881 թվականին մահացել է Հալլեում Կանտորի կոլեգա Էդուարդ Հեյնը՝ ստեղծելով թափուր պաշտոն։ Հալլեի համալսարանը ընդունել է Կանտորի առաջարկը, ըստ որի՝ պաշտոնը պետք է առաջարկվեր Դեդեկինդին, Հենրիխ Մ․ Վաբերին և Ֆրանս Մերթենսին համապատասխան հերթականությամբ, սակայն բոլորը մերժել են աշխատանքի հրավերը։ Ի վերջո, թափուր պաշտոնում նշանակվել է Ֆրիդրիխ Վանգերինը, որը երեբեք Կանտորի հետ մոտ չի եղել։

1882 թվականին ավարտվել է Կանոտրի և Դեդեկինդի նամակագրությունը, ըստ էության՝ Դեդեկինդի պաշտոնազրկման պատճառով[30]։ Կանտորը նոր կարևոր նամակագրություն է սկսել շվեդ մաթեմատիկոս Մագնուս Միտտագ-Լեֆլերի հետ և շուտով սկսել է տպագրվել Միտտագ-Լեդլերի ամսագրում՝ «Acta Mathematica»-ում։ Սակայն 1885 թվականին Միտտագ-Լեդլերը անհանգստացած էր Կանտորի ուղարկած հոդվածի փիլիսոփայական բնույթի և նոր տերմինաբանության պատճառով[31]։ Նա Կանտորին խնդրել է հետ վերցնել հոդվածը՝ ասելով, որ այն «․․․մոտավորապես 100 տարի առաջ է»։ Կանտորը համաձայնվել է, սակայն հետագայում խզել է Միտտագ-Լեդլերի հետ հարաբերությունները և նամակագրությունը։ Երրորդ կողմի հետ նամակագրություններից մեկում Կանտորը գրել է. «․․․Ես պետք է սպասեմ մինչև 1984 թվականը, ինչը ինձ համար մեծ պահանջ է թվում... Բայց իհարկե ես այլևս չեմ ցանկանում լսել «Acta Mathematica»-ի մասին որևէ բան»[32]։

Կանտորի առաջին տևական դեպրեսիան եղել է 1884 թվականի մայիսին[24][33]։ Իր աշխատանքների քննադատությունը մեծ ազդեցություն է ունեցել Կանտորի վրա․ 1884 թվականի ընթացքում Միտտագ-Լեդլերին գրած 52 նամակներից բոլորում նա հիշատակել է Կրոնեկերին։ Նամակներից մեկում Կանտորը գրել է.

Aquote1.png ...Ես չգիտեմ՝ երբ կկարողանամ շարունակել իմ գիտական աշխատանքը։ Այս պահին ես բացարձակ ոչինչ չեմ կարող անել դրա հետ և սահմանափակել եմ ինձ իմ դասախոսությունների ամենակարևոր պարտականությամբ․ ինչքան երջանիկ կլինեի ես գիտականորեն ակտիվ լինելու դեպքում, եթե միայն ունենայի անհարաժեշտ մտավոր թարմությունը[34]։ Aquote2.png


Այս ճգնաժամի արդյունքում նա սկսել է հաճախել փիլիսոփայության դասախոսությունների։ Նա նաև սկսել է ակտիվ ուսումնասիրել Էլիզաբեթյան ժամանակաշրջանի գրականությունը՝ հույս ունենալով, որ կարող է գտնել փաստեր, որոնք կապացուցեն, որ Ուիլյամ Շեքսպիրին վերագրվող ստեղծագործությունների հեղինակը Ֆրենսիս Բեկոնն է (տես՝ Շեքսպիրի հեղինակության հարց)։ Արդյունքում 1896 և 1897 թվականներից հրատարակել է երկու բրոշյուր[35]։

Չնայած հետագայում շարունակել է կարևոր ներդրումները մաթեմատիկայում, այդ թվում Կանտորի անկյունային արգումենտը և Կանտորի թեորեմը, սակայն երբեք չի վերականգնել 1874-1884 թվականների ուշագրավ հոդվածների բարձր մակարդակը նույնիսկ Կրոնեկերի մահից հետո (1891 թվականի դեկտեմբերի 29)[25]։ Ի վերջո նա կարողացել է հաշտվել Կրոնեկերի հետ, սակայն փիլիսոփայական անհամաձայնությունները և դժվարությունները շարունակեցին բաժանել նրանց։

1889 թվականին Կանտորը նպաստել է Գերմմանիայի մաթեմատիկական ընկերության ստեղծմանը[25] և ղեկավարել է դրա առաջին հանդիպումը Հալլեում (1891 թվական), որտեղ նա առաջին անգամ ներկայացրել է անկյունային արգումենտը։ Չնայած նրա աշխատությունների հանդեպ Կրոնեկերի ընդդիմությանը՝ նրա հեղինակությունը բավական բարձր էր ընկերության առաջին նախագահ ընտրվելու համար։ Մի կողմ դնելով Կրոնեկերի թշնամանքը՝ Կանտորը նրան հանդիպման է հրավիրել, սակայն Կրոնեկերը չի կարողացել մասնակցել կնոջ առողջական վիճակի պատճառով։ Կանտորը նաև օժանդակել է Մաթեմատիկոսների առաջին միջազգային կոնֆերանսին, որը տեղի է ունցել 1897 թվականին Ցյուրիխում[25]։

Հետագա կյանք և մահ[խմբագրել | խմբագրել կոդը]

1884 թվականի հոսպիտալացումից հետո մինչև 1899 թվականը ոչ մի հիշատակում չկա, որ նա եղել է որևէ առողջարանում[33]։ Երկրորդ հոսպիտալացումից կարճ ժամանակ անց՝ դեկտեմբերի 16-ին, մահացել է Կանտորի փոքր տղան՝ Ռուդոլֆը (Կանտորը դասախոսություն էր կարդում Բեկոնյան տեսության և Ուիլյամ Շեքսպիրի վերաբերյալ իր տեսակետների մասին), որից հետո մարել է մաթեմատիկայի հանդեպ Կանտորի հետաքրքրությունը[36]։ Մի քանի տարի անց՝ 1903 թվականին, կրկին հոսպիտալացվել է։ Մեկ տարի անց՝ Մաթեմատիկոսների երրորդ միջազգային կոնֆերանսի ընթացքում, Հուլիոս Կյունինգը ներկայացրել է հոդված, որով փորձում էր ապացուցել, որ տրանսֆինիտ բազմությունների տեսության հիմնական սկզբունքները սխալ են։ Քանի որ հոդվածը կարդացվել էր իր դստեր և կոլեգաների ներկայությամբ, Կանտորը իրեն հանրայնորեն ստորացված էր զգում[37]։ Չնայած Էռնստ Ցերմելոն դեռ մեկ օր չանցած ցույց է տվել, որ Կյունինգի ապացույցը սխալ է, Կանտորը ցնցված էր[19]։ Կանտորը կյանքի մնացած տարիներին տառապել է քրոնիկական դեպրեսիայով, որի պատճառով բաց է թողել բազմաթիվ դասախոսություններ և հաճախակի այցելել տարբեր առողջարաններ։ 1904 թվականի իրադարձությունները հանգեցրել են երկու կամ երեք տարվա միջակայքերով բազմաթիվ հոսպիտալացումների[38]։ Սակայն նա ամբողջությամբ չի հրաժարվել մաթեմատիկայից․ 1903 թվականի «Deutsche Mathematiker–Vereinigung» հանդիպմանը դասախոսություն է կարդացել բազմությունների տեսության պարադոքսների վերաբերյալ (Ռասելի պարադոքս, Կանտորի պարադոքս և Բուրալի-Ֆորտիի պարադոքս) և մասնակցել է 1904 թվականի Մաթեմատիկոսների միջազգային կոնֆերանսին (Հայդելբերգ

1911 թվականին հրավիրվել է Շոտլանդիայի Սբ. Էնդրյուսի համալսարանի հիմնադրման 500-ամյակի տարեդարձին։ Կանտորը ընդունել է հրավերը՝ հույս ունենալով հանդիպել Բերտրան Ռասելին, որի նոր լույս տեսած «Principia Mathematica» աշխատության մեջ բազմաթիվ հղումներ կային Կանտորի աշխատանքներին, սակայն հանդիպումը չի կայացել։ Հաջորդ տարի Սբ. Էնդրյուսի համալսարանը Կանտորին պատվավոր դոկտերի կոչում է շնորհել, բայց հիվանդության պատճառով նա չի կարողացել անձամբ ընդունել այն։

Կանտորը 1913 թվականին թոշակի է անցել՝ ապրելով աղքատության մեջ և Առաջին համաշխարհային պատերազմի տարիներին տառապել է թերսնուցումից[39]։ Իր 70-ամյակի տոնակատարությունները չեղյալ են համարվել պատերազմի պատճառով։ 1917 թվականի հունվարին վերջին անգամ տեղափոխվել է առողջարան, որտեղից նա շարունակաբար խնդրում էր կնոջը իրեն տուն տանել։ 1918 թվականի հունվարի 6-ին առողջարանում, որտեղ անցկացրել էր կյանքի վերջին տարիները, սրտի կաթվածից մահացել է Գեորգ Կանտորը[24]։

Մաթեմատիկական աշխատանք[խմբագրել | խմբագրել կոդը]

Կանտորի 1874-1884 թվականների աշխատանքերը բազմությունների տեսության ստեղծման հիմք են դարձել[40]։ Նախքան իր աշխատությունները՝ բազմության գաղափարը էլեմենտար բնույթ էր կրում և անուղղակիորեն օգտագործվել էր Արիստոտելի ժամանակներից սկսած։ Ոչ ոք չէր մտածում, որ բազմությունների տեսությունը կարող է ոչ տրիվիալ բովանդակություն ունենալ։ Մինչև Կանտորը գոյություն ունեին վերջավոր բազմությունները (որոնք հեշտ է հասկանալ) և «անվերջ բազմությունը» (որը համարվում էր փիլիսոփայական թեմա, ոչ թե մաթեմատիկական)։ Ապացուցելով, որ գոյություն ունեն (անվերջ) տարբեր չափի անվերջ բազմություններ՝ Կանտորը ցույց է տվել, որ բազմությունների տեսությունը տրիվիալ չէ և ուսումնասիրության կարիք ունի։ Բազմությունների տեսությունը այժմ համարվում է ժամանակակից մաթեմատիկայի հիմնային տեսություն, քանի որ այն հնարավորություն է տալիս մաթեմատիկայի տարբեր բաժինների (օրինակ՝ հանրահաշիվ, մաթեմատիկական անալիզ, տոպոլոգիա) օբյեկտների (օրինակ՝ թվեր, ֆունկցիաներ) վերաբերյալ պնդումները ներկայացնել մեկ տեսության միջոցով[41]։

Իր առաջին հոդվածներից մեկում Կանտորն ապացուցել է, որ իրական թվերի բազմությունը բնական թվերի բազմությունից «ավելի մեծ» է[42]․ սա պատմության մեջ առաջին անգամ ցույց է տվել, որ գոյություն ունեն տարբեր չափի անվերջություններ։ Նա նաև առաջինն էր, որ գնահատել է փոխմիարժեք համապատասխանության կարևորությունը բազմությունների տեսությունում։ Օգտագործելով այս գաղափարը՝ նա բազմությունները բաժանել է վերջավոր և անվերջ խմբերի, վերջինս էլ՝ հաշվելի և անհաշվելի խմբերի։

Կանտորը մշակել է տոպոլոգիայի կարևոր հասկացությունները և ցույց է տվել նրանց և բազմության հզորության կապը։ Օրինակ՝ նա ցույց է տվել, որ Կանտորի բազմությունը (հայտնաբերել է Հենրի Ջոն Սթիվեն Սմիթը 1875 թվականին[43]) ոչ մի տեղ խիտ չէ, բայց ունի նույն կարդինալ թիվը ինչ բոլոր իրական թվերի բազմությունը, մինչդեռ ռացիոնալ թվերը բոլոր կետերում խիտ են, բայց հաշվելի են։

Կանտորը ներկայացրել է բազմությունների տեսության հիմնարար հասկացություններ, օրինակ՝ բոլոր ենթաբազմությունների բազմությունը։ Հետագայում նա ապացուցել է, որ A բազմության բոլոր ենթաբազմությունների բազմությունը ավելի մեծ է, քան A բազմությունը՝ անգամ եթե A բազմությունը անվերջ է (տես՝ Կանտորի թեորեմ)։ Կանտորը մշակել է կարդինալ և օրդինալ թվերի տեսությունը։ Կարդինալ թվերի համար նա օգտագործում էր եբրայերենի (ալեֆ) տառը, իսկ օրդինալների համար՝ հունարեն տառը։ Այս նշանակումը մինչև այժմ օգտագործվում է։

Հիլբերտի առաջին խնդիրը (կամ կոնտինուումի վարկած) ներկայացրել է Կանտորը (Դավիթ Հիլբերտը այն ներկայացրել է 1900 թվականին Փարիզում տեղի ունեցած մաթեմատիկական 2-րդ կոնգրեսում)։ 1905 թվականից Կանտորը նամակագրական կապ է սկսել բրիտանացի թարգմանիչ Ֆիլիպ Ջորդանի հետ՝ բազմությունների տեսության պատմության և Կանտորի կրոնական հայացքների մասին։

Թվերի տեսություն, եռանկյունաչափական շարքեր և օրդինալներ[խմբագրել | խմբագրել կոդը]

Կանտորի առաջին տասը հոդվածները վերաբերում էին թվերի տեսությանը։ Հալլեի համալսարանի պրոֆեսոր Էդուարդ Հեյինի առաջարկով Կանտորը սկսել է զբաղվել մաթեմատիկական անալիզով։ Հեյինին Կանտորին առաջարկել է լուծել եռանկյունաչափական շարքերով ֆունկցիայի ներկայացման միակության խնդիրը, որից խուսափել էին Պետեր Գուստավ Լըժյոն Դիրիխլեը, Ռուդոլֆ Լիպշիցը, Բեռնարդ Ռիմանը և ինքը Հեյինին։ Կանտորը լուծել է այս խնդիրը 1869 թվականին։ Այս խնդրի լուծման ընթացքում նա հայտնաբերել է տրանսֆինիտ օրդինալները։ Կանտորը գտել է մի եղանակ, որով տրված եռանկյունաչափական շարքից և զրոների բազմությունից հնարավոր է ստանալ այլ եռանկյունաչափական շարք՝ զրոների բազմությամբ, որտեղ բազմության սահմանային կետերի բազմությունն է։ Նմանապես, եթե բազմության սահմանային կետերի բազմությունն է, ուրեմն հնարավոր է կառուցել եռանկյունաչափական շարք, որի զրոները բազմությունը -ն է։ Քանի որ բազմությունները փակ են, նրանք պարունակում են իրենց սահմանային կետերը և բազմությունների նվազող հաջորդականության հատումը կազմում է սահմանային բազմություն, որը կանվանենք ։ Կանտորը նկատեց, որ բազմությունը նույնպես պետք է ունենա սահմանային կետերի բազմություն, և այդպես շարունակ։ Նա ուներ նման բազմաթիվ օրինակներ, ինչի արդյունքում բնականորեն առաջացավ ω, ω + 1, ω + 2, ... թվերի անվերջ հաջորդականության գաղափարը[44]։

1870-1872 թվականներին Կանտորը հրապարակել է եռանկյունաչափական շարքերի մասին հոդվածներ և մեկ հոդված, որտեղ իռացիոնալ թվերը սահմանում է որպես ռացիոնալ թվերի զուգամետ հաջորդականություններ։ Դեդեկինդը, որի հետ Կանտորը ընկերացրել էր 1872 թվականին, նույն թվականի իր հոդվածում, որտեղ նա սահմանում է իրական թվերը Դեդեկինդյան հատույթների միջոցով, հղում է անում Կանտորի հոդվածին։ Կանտորը դեմ էր անվերջ փոքրեր տեսությանը՝ համարելով այն «նողկանք» և «մաթեմատիկայի խոլերա բացիլ»[45]։ Կանտորը նաև հրատարակել է անվերջ փոքրերի հակասականության ապացույց, որը սակայն սխալներ ուներ[46]։

Բազմությունների տեսություն[խմբագրել | խմբագրել կոդը]

Կանտորի անկյունային արգումենտի պատկերում։ Ներքևի հաջորդականությունը չի կարող անվերջ ցանկում լինել։

Բազմությունների տեսության վերաբերյալ Կանտորի առաջին հոդվածը (1874 թվական)՝ «Բոլոր իրական հանրահաշվական թվերի հավաքածուի հատկության վերաբերյալ», (գերմ.՝ Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen)[47], հաճախ համարվում է բազմությունների տեսության սկզիբ[40]։ Այս հոդվածում Կանտորը առաջին անգամ ապացուցել է, որ գոյություն ունեն տարբեր տեսակի անվերջություններ։ Նախկինում համարվում էր, որ բոլոր անվերջ բազմությունները «նույն քանակությամբ» տարրեր ունեն[48]։ Կանտորը ապացուցել է, որ իրական թվերի բազմությունը և ամբողջ թվերի բազմությունը հավասարազոր չեն։ Այլ կերպ ասած՝ իրական թվերը հաշվելի չեն: Այս հոդվածում ներկայացված ապացույցը տարբերվում էր 1891 թվականին իր կողմից ներկայացված անկյունային արգումենտից[49]։ Կանտորի հոդվածը նաև պարունակում էր տրանսցենդենտ թվերի կառուցման նոր մեթոդ։ Տրանսցենդենտ թվերը առաջին անգամ կառուցել է Ժոզեֆ Լուիվիլը 1844 թվականին[50]։

Այս արդյուքները ապացուցելու համար Կանտորը սկզբում ցույց տվեց, որ հանրահաշվական թվերը հնարավոր է ներկայացնել հաջորդականության տեսքով, այսինքն՝ հանրահաշվական թվերի բազմությունը հաշվելի է[51]։ Հաջորդ քայլում Կանտորը ցույց է տվել, որ իրական թվերի կամայական հաջորդականության համար հնարավոր է կառուցել իրական թիվ, որը այդ հաջորդականության անդամ չէ։ Քանի որ իրական թվերի կամայական հաջորդականության համար հնարավոր է կառուցել իրական թիվ, որը հաջորդականության անդամ չէ, հետևաբար իրական թվերը հնարավոր չէ ներկայացնել հաջորդականության տեսքով (այլ կերպ ասած՝ իրական թվերը հաշվելի չեն)։ Այս մեթոդը իրական հանրահաշվական թվերի հաջորդականության վրա կիրառելով Կանտորը ստացավ տրանսցենդենտ թիվ։ Այս կառուցումները նաև Լուիվիլի թեորեմի (իրական թվերի կամայական միջակայքում գոյություն ունեն անվերջ քանակությամբ տրանսցենդենտ թվեր) նոր ապացույց էին[52]։ Կանտորը իր հաջորդ հոդվածում ապացուցում է, որ տրանսցենդենտ թվերի բազմությունը և իրական թվերի բազմությունը նույն հզորությունն ունեն[53]։

1879-1884 թվականների ընթացքում Կանտորը «Mathematische Annalen» ամսագրում հրատարակել է վեց հոդված, որոնք կազմում են իր բազմությունների տեսության հիմունքները։ Միևնույն ժամանակ աճում էր Կանտորի գաղափարների հանդեպ ընդդիմությունը։ Ընդդիմադիրների շարքում էր Լեոպոլդ Կրոնեկերը, որը ընդունում էր մաթեմատիկական հասկացությունները միայն այն դեպքում, երբ դրանք հնարավոր էր կառուցել վերջավոր քայլերի միջոցով։ Կրոնեկերի համար Կանտորի անվերջությունների հիերարխիան անընդունելի էր, քանի որ ակտուալ անվերջության գաղափարի ընդունումը կհանգեցներ պարադոքսների, որոնք մարտահրավեր կլինեին մաթեմատիկայի վավերության համար[54]։ Կանտորը այդ շրջանում նաև ներկայացրել է Կանտորի բազմությունը։

Այս շարքի հինգերորդ հոդվածը («Ագրեգատների ընդհանուր տեսության հիմունքներ», գերմ.՝ Grundlagen einer allgemeinen Mannigfaltigkeitslehre), տպագրված 1883 թվականին[55], նաև տպագրվել է որպես առանձին մենագրություն։ Հոդվածում Կանտորը պատասխանում է քննադատներին և ցույց է տալիս, որ տանսֆինիտ թվերը բնական թվերի համակարգային ընդլայնումն են։ Սկզբում սահմանում է լավ կարգավորված բազմությունները։ Օրդինալ թվերը հետագայում ներմուծվում են որպես լավ կարգավորված բազմությունների կարգավորված տիպեր։ Կանտորը հետո սահմանում է կարդինալ և օրդինալ թվերի գումարումը և բազմապատկումը։ 1885 թվականին Կանտորը ընդլայնում է կարգային տիպերի տեսությունը, այնպես, որ օրդինալ թվերը դառնում են կարգային տիպերի մասնավոր դեպք։

1891 թվականին տպագրված հոդվածում Կանտորը ներկայացում է անհաշվելի բազմությունների գոյության մասին իր հայտնի անկյունային արգումենտը։ Նույն գաղափարների միջոցով նա նաև ապացուցում է Կանտորի թեորեմը․ այն է՝ կամայական բազմության հզորությունը ավելի փոքր է իր բոլոր ենթաբազմությունների բազմության հզորությունից։ Այս արգումենտը կարևոր նշանակություն է ունեցել դադարի խնդրի լուծման և Գյոդելի առաջին թեորեմի ապացուցման համար։ 1894 թվականին Կանտորը նաև գրել է Գալդբախի խնդրի մասին։

Հատված Կանտորի հոդվածից, որտեղ նա սահմանում է բազմությունը։

1895-1897 թվականներին Կանտորը «Mathematische Annalen» ամսագրում, որի խմբագիրը Ֆելիքս Կլայնն էր, հրատարակել է երկու մասանոց հոդված, որոնք իր վերջին նշանակալի հոդվածներին էին բազմությունների տեսության վերաբերյալ[56]։ Առաջին հոդվածը սկսում է բազմության, ենթաբազմության և այլն սահմանումներով, որոնք այժմ նույնպես ընդունելի են։ Կարդինալների և օրդինալների թվաբանությունը վերանայվել է։ Կանտորը ցանկանում էր երկրորդ հոդվածում ներառել կոնտինուումի վակածի ապացույցը, սակայն ստիպված էր մշակել լավ կարգավորված բազմությունների և օրդինալ թվերի տեսությունը։ Կանտորը փորձել է ապացուցել, որ եթե -ն և -ն բազմություններ են այնպես, որ -ն համարժեք է -ի ինչ-որ ենթաբազմության և -ն համարժեք է -ի ինչ-որ ենթաբազմության, ուրեմն և բազմությունները համարժեք են։ Ավելի վաղ Էրնստ Շրյոդեր ձևակերպել էր այս թեորեմը, սակայն իր, ինչպես և Կանտորի ապացույցը սխալ էր։ 1898 թվականին Ֆելիքս Բեռնշտայնը ապացուցել է թեորեմը, որը այժմ կոչվում է Կանտոր-Շրյոդեր-Բեռնշտայն թեորեմ։

Փոխմիարժեք համապատասխանություն[խմբագրել | խմբագրել կոդը]

Փոխմիարժեք ֆունկցիա

1874 թվականին Կանտորը Crelle ամսագրում հրատարակել է հոդված, որտեղ առաջին անգամ ներկայացվում էր փոխմիարժեք համապատասխանության գաղափարը, չնայած նա չի օգտագործել այդ արտահատությունը։ Նա փորձում էր փոխմիարժեք համապատասխանություն գտնել միավոր քառակուսու կետերի և միավոր հատվածի կետերի մեջ։ 1877 թվականին Ռիխարդ Դեդեկինդին ուղված նամակում Կանտորը ապացուցել է ավելի ուժեղ պնդում․ կամայական բնական թվի համար գոյություն ունի փոխմիարժեք համապատասխանություն միավոր հատվածի և չափանի տարախության բոլորի կետերի միջև։ Այս բացահայտման մասին Կանտորը գրել է՝ «Je le vois, mais je ne le crois pas!» («Ես տեսնում եմ, բայց չեմ հավատում դրան։»)[57]։ Այս արդյունքը կարևոր հետևանքներ ունի երկրաչափության և չափականության գաղափարի համար։

1878 թվականին Crelle ամսագրին ուղարկեց մեկ այլ հոդված, որտեղ նա սահմանում էր փոխմիարժեք համապատասխանությունը և ներկայացնում էր բազմության հզորության (տերմինը վերցրել էր Յակոբ Շտերներից) կամ համարժեքության գաղափարը, այն է՝ երկու բազմություններ համարժեք են (ունեն նույն հզորությունը), եթե նրանց մինչև գոյություն ունի փոխմիարժեք համապատասխանություն։ Ըստ Կանտորի սահմանման՝ հաշվելի բազմությունները այն բազմություններն են, որոնք փոխմիարժեք համապատասխանություն ունեն բնական թվերի հետ։ Ապացուցել է, որ ռացիոնալ թվերը հաշվելի են։ Նա նաև ապացուցել է, որ չափանի Էվկլիդեսյան տարածությունները ունեն նույն հզորությունը, ինչ իրական թվերի բազմությունը, ինչպես նաև -ի հաշվելի քանակությամբ դեկարդյան արտադրյալը։ Չնայած հաշվելի բազմության հասկացության լայնորեն օգտագործմանը՝ նա չի օգտագործել «հաշվելի» անվանումը մինչև 1883 թվականը։ Կանտորը նաև քննարկել է չափականության վերաբերյալ իր հայացքները՝ շեշտելով, որ միավոր հատվածի և միավոր քառակուսու միջև փոխմիարժեք արտապատկերումը անընդհատ չէ։

Կրոնեկերին դուր չի եկել այս հոդվածը, ինչի պատճառով Կանտորը ցանկացել է հետ վերցնել այն, սակայն Դեդեկինդի և Կառլ Վայերշտրասի աջակցության շնորհիվ հոդվածը հրատարակվել է[58]։ Այնուամենայնիվ, Կանտորը այլևս հոդված չի ուղարկել Crelle ամսագրին։

Կոնտինուումի վարկած[խմբագրել | խմբագրել կոդը]

Կանտորը առաջինն է ձևակերպել Հիլբերտի առաջին խնդիրը (Կոնտինուումի վարկածը), ըստ որի՝ գոյություն չունի բազմություն, որի հզորությունը մեծ է բնական թվերի բազմության հազորությունից և փոքր իրական թվերի բազմության հզորությունից (համարժեքորեն՝ իրական թվերի հզորությունը ճիշտ է, ոչ թե առնվազն )։ Կանտորը հավատում էր, որ Կոնտինուումի վարկածը ճիշտ է և տարիներ շարունակ փորձել է ապացուցել այն[17]։

Հատագայում Կուրտ Գյոդելի և Պոլ Քոհենի աշխատանքները (համապատասխանաբար 1940 և 1963 թվականներին) ցույց են տվել, որ կոնտինուումի վարկածը հնարավոր չէ ո՛չ ապացուցել, ո՛չ ժխտել օգտվելով բազմությունների ստանդարտ տեսությունից[59]։

Բացարձակ անվերջություն, լավ կարգավորության թեորեմ և պարադոքսներ[խմբագրել | խմբագրել կոդը]

1883 թվականին Կանտորը բաժանեց անվերջությունը տրանսֆինիտ և բացարձակ մասերի[60]։

Ի տարբերություն բացարձակի՝ տրանսֆինիտը կարող էր «մեծանալ»։ Օրինակ՝ α օրդինալը տրանսֆինիտ է, քանի որ այն հնարավոր է մեծացնել α + 1-ի։ Բայց, օրդինալները կազմում են բացարձակ անվերջ հաջորդականություն է, որը հնարավոր չէ մեծացնել, քանի որ գոյություն չունեն այլ օրդինալներ, որոնք հնարավոր է ավելացնել դրան[61]։ 1883 թվականին Կանտորը ներկայացրել է լավ կագավորության սկզբունքը, ըստ որի՝ «կամայական բազմություն հնարավոր է լավ կարգավորել» և նշել, որ այդ սկզբունքը «մտքի օրենք է»[62]։

Կանտորը օգտագործել է բացարձակ անվերջության գաղափարը այլ ապացույցներում ևս։ Մոտ 1895 թվականին նա սկսում է դիտարկել լավ կարգավորության սկզբունքը որպես թեորեմ և փորձում է ապացուցել այն։ 1899 թվականին նա Դեդեկինդին ուղարկում է համարժեք ալեֆի թեորեմի (կամայական անվերջ բազմության հզորությունը ալեֆ է) ապացույց[63]։ Սկզբում նա սահմանում է երկու պատիկություններ․ անհակասական պատիկություններ (բազմություններ) և հակասական պատիկություններ (բացարձակ անվերջ պատիկություններ)։ Հետո ենթադրելով, որ օրդինալները բազմություն են կազմում՝ հանգել է հակասության, ինչից հետևում է, որ օրդինալները հակասական պատիկություն են։ Նա օգտագործել է հակասական պատիկությունը ալեֆի թեորեմը ապացուցելու համար[64]։ 1932 թվականին Ցերմելոն քննադատել է Կանտորի ապացույցը[65]։

Կանտորը խուսափել է պարադոքսներից՝ նկատելով, որ գոյություն ունի երկու տեսակի պատիկություն։ Իր բազմությունների տեսությունում բոլոր օրդինալները բազմություն դիտարկելու արդյունքում ստացված հակասությունները պարզապես նշանակում էին, որ օրդինալները հակասական պատիկություն են։ Մինչդեռ Բերտրան Ռասելը բոլոր հավաքածուները դիտարկում էր որպես բազմություններ, որը հանգեցնում էր պարադոքսների։ Ռասելի բազմությունների տեսությունում օրդինալները բազմություն էին, հետևաբար ստացված հակասությունը նշանակում էին, որ տեսությունը հակասական է։ 1901-1903 թվականների ընթացքում Ռասելը գտավ երեք պարադոքս, ինչը նշանակում էր, որ տեսությունը հակասական է (Ռասելի պարադոքս, Կանտորի պարադոքս և Բուրալի-Ֆորտիի պարադոքս)[66]։ Ռասելը պարադոքսները անվանել է Կանտորի և Բուրալի-Ֆորտիի պատվին, չնայած նրանք չէին հավատում, որ պարադոքս են գտել[67]։

1908 թվականին Ցերմելոն հրատարակել է բազմությունների տեսության աքսիոմատիկ համակարգը։ Աքսիոմատիկ համակարգի մշակման հիմնական դրդապատճառները պարադոքսների լուծումն էր և լավ կարգավորության թեորեմի ապացույցը[68]։ Ցերմելոն ապացուցել էր այս թեորեմը դեռ 1904 թվականին՝ օգտվելով ընտրության աքսիոմից, բայց այդ ապացույցը քննադատվել էր բազմաթիվ պատճառներով[69]։ Այս աքսիոմները հիմք հանդիսացան նոր ապացույցի համար և լուծեցին պարադոքսները՝ խստացնելով բազմության սահմանումը[70]։

1923 թվականին Ջոն ֆոն Նոյմանը մշակեց աքսիոմատիկ համակարգ, որը լուծում էր պարդոքսները՝ օգտագործելով Կանտորի մոտեցմանը նման մոտեցում։ Մասնավորապես՝ որոշ հավաքածուներ բազմություններից անջատ դիտարկելը։ Ըստ ֆոն Նոյմանի՝ դասը չափազանց մեծ է բազմություն լինելու համար, եթե հնարավոր է նրա և բոլոր բազմությունների դասի միջև փոխմիարժեք համապատասխանություն գտնել։ Նա բազմությունը սահմանել է որպես ինչ-որ դասի անդամ դաս․ ըստ աքսոմի՝ դասը բազմություն չէ այն և միայն այն դեպքում, երբ դասի և բոլոր բազմությունների դասի միջև փոխմիարժեք համապատասխանություն գոյություն ունի։ Այս աքսիոմը նշանակում է, որ նման մեծ դասերը բազմություններ չեն, հետևաբար պարադոքսները վերանում են, քանի որ դրանք չեն կարող որևէ դասի անդամ լինել[71]։ Ֆոն Նոյմանը օգտագործել է այս աքսիոմը լավ կարգավորության թեորեմը ապացուցելու համար․ ինչպես և Կանտորը, նա ենթադրել է, որ օրդինալները կազմում են բազմություն։ Առաջացած հակասությունը նշանակում է, որ բոլոր օրդինալների դասը բազմություն չէ։ Օգտվելով աքսոմից՝ նա կառուցել է փոխմիարժեք համապատասխանություն այս դասի և բոլոր բազմությունների դասի միջև։ Այս համապատասխանությունը լավ կարգավորում է բոլոր բազմությունների դասը, ինչը համապատասխանում է լավ կարգավորության թեորեմին[72]։ 1930 թվականին Ցերմելոն սահմանել է բազմությունների տեսության մոդել, որը բավարարում էր ֆոն Նոյմանի աքսիոմին[73]։

Փիլիսոփայություն, կրոն, գրականություն և Կանտորի մաթեմատիկա[խմբագրել | խմբագրել կոդը]

Ակտուալ անվերջության գոյության գաղափարը կարևոր խնդիր է մաթեմատիկայի, փիլիսոփայության և կրոնի համար։ Կրոնի և մաթեմատիկայի կապի ուղղափառության պահպանման հարցը երկար ժամանակ անհանգստացնում էր Կանտորին, չնայած ոչ այնպես, ինչպես իր քննադատներին[74]։ Այս խնդիրների մասին նա գրել է իր «Grundlagen einer allgemeinen Mannigfaltigkeitslehre» հոդվածի ներածությունում, որտեղ շեշտում է անվերջության վերաբերյալ իր և փիլիսոփայական տեսակետների կապը[75]։ Կանտորի համար իր մաթեմատիկական հայացքները ներքուստ կապված էին իրենց փիլիսոփայական և աստվածաբանական հետևություններին․ նա բացարձակ անվերջությունը նույնացնում էր Աստծո հետ[76], և համարում էր, որ տրանսֆինիտ թվերի վերաբերյալ իր աշխատանքները Աստծո հետ ուղղակի շփում են եղել, և որ Աստված ընտրել է Կանտորին այդ գաղափարները աշխարհի առաջ բացահայտելու համար[12]։

Որոշ մաթեմատիկոսներ անվերջությունը դիտարկում էին որպես աբստրակտ հասկացություն, որը մաթեմատիկորեն օրինական չէր և մերժում էին դրա գոյությունը[77]։ Երեք խոշոր դպրոցների մաթեմատիկոսները (կոնստրուկտիվիզմ, ինտուիցիոնիզմ և ֆինիտիզմ) այս հարցում ընդդիմացել են Կանտորի տեսություններին։ Կոնստրուկտիվիստների համար, ինչպես օրինակ Կրոնեկերը, ակտուալ անվերջության գաղափարը անընդունելի էր, քանի որ նրանք սկզբունքորեն չէին ընդունում ոչ կոնստրուկտիվ ապացույցները, ինչպես օրինակ Կանտորի անկյունային արգումենտը։ Ինտուիցոնիստները նույնպես մերժում են ակտուալ անվերջության գոյության գաղափարը, սակայն նրանք այդ եզրակացությանը հանգում են այլ ճանապարհով։ Նախ և առաջ, Կանտորը ապացուցում էր տրանսֆինիտ թվերի գոյությունը որպես մաթեմատիկական օբյեկտներ օգտվելով մաթեմատիկական տրամաբանությունից, մինչդեռ ինտուիցոնիստները կարծում էին, որ մաթեմատիկական օբյեկտները չեն կարող վերածվել տրամաբանական ասույթների, այլ պետք է ստեղծվեն ինտուիցիայից ելնելով[78]։ Երկրորդը, անվերջության գաղափարը անընդունելի է ինտուիցոնիստների համար, քանի որ մարդու միտքը չի կարող ինտուիտիվորեն կառուցել անվերջ բազմություններ[79]։ Մաթեմատիկոսներ Լ․ Է․ Յ․ Բրաուերը և Անրի Պուանկարեն քննարդատել են Կանտորի աշխատանքները ինտուիցիոնիզմի տեսանկյունից։ Լյուդվիգ Վիտգենշթայնի քննադատությունները ֆինիտիզմի տեսանկյունից էին[16]։ Որոշ քրիստոնյա աստվածաբաններ (հատկապես՝ ներոսխոլաստիկներ) կարծում էին, որ Կանտորի աշխատանքները հակասում են Աստծո էության մեջ բացարձակ անվերջության միակության գաղափարին[13][80]։ Կանտորը մտածում էր, որ այս տեսակետը անվերջության թյուրըմբռնման արդյունք է, և հավատացած էր, որ բազմությունների տեսությունը կարող է լուծել այս խնդիրը[81][82]։

Կանտորը նաև հավատացած էր, որ տրանսֆինիտ թվերի իր տեսությունը դեմ է մատերիալիզմին և դետերմինիզմին, և զարմացած էր, որ Հալլեի համալսարանում ինքը միակն էր, որ դետերմինիզմի հետևորդ չէր[83]։

1888 թվականին Կանտորը հրապարակեց որոշ փիլիսոփաների հետ իր նամակագրությունը, որոնք բազմությունների տեսության փիլիսոփայական հետևանքների մասին էին։ Կանտորը նամակագրական կապի մեջ էր քրիստոնյա փիլիսոփաների, ինչպես օրինակ՝ Թիլման Պեշի և Յոզեֆ Հոնթայմի[84], աստվածաբանների այդ թվում Ջոհան Բատիստ Ֆրանզելինի հետ, որը մի անգամ տրանսֆինիտ թվերի տեսությունը համեմատել է պանթեիզմի հետ[85]։ Կանտորը նույնիսկ նամակ է գրել Հռոմի Պապ Լևոն XIII-ին[81]։

Թվերի բնույթի վերաբերյալ Կանտորի փիլիսոփայությունը թույլ է տվել նրան առաջ քաշել և ապացուցել հասկացություններ, որոնք հեռու են ֆիզիկական երևությների հիմքից։ Այս մետաֆիզիկական համակարգի միակ սահմանափակումը այն էր, որ բոլոր մաթեմատիկական հասկացությունները պետք է չունենան ներքին հակասություն և պետք է բխեն գոյություն ունեցող սահմանումներից, աքսիոմներից և թեորեմներից։ Ըստ Կանտորի՝ «մաթեմատիկայի էությունը իր ազատությունն է»[86]։ Այս գաղափարները համապատասխանում էին Էդմունդ Հուսերլի գաղափարների հետ, որի հետ Կանտորը հանդիպել էր Հալլեում[87]։

Միևնույն ժամանակ Կանտորը դեմ էր անվերջ փոքրերի գաղափարին՝ այն համարելով «նողկանք» և «մաթեմատիկայի խոլերա բացիլ»[45]։

Կանտորի 1883 թվականի հոդվածը ցույց է տվել, որ նա տեղյակ էր իր գաղափարների նկատմամբ ընդդիմադիր կարծիքներից[88]։ Այսպիսով Կանտորը երկար ժամանակ է հատկացնում իր նախկին աշխատությունները հիմնավորելուն՝ նշելով, որ մաթեմատիկական հասկացությունները կարող են ազատորեն ներկայացվել, քանի դեռ հակասության չեն հանգում և սահմանված են նախկինում հաստատված հասկացությունների միջոցով։ Նա նաև հղում է արել անվերջության վերաբերյալ Արիստոտելի, Ռենե Դեկարտի, Ջորջ Բերկլիի, Գոթֆրիդ Լայբնիցի և Բերնարդ Բոլցանոյի գաղափարներին։

Նախնիներ[խմբագրել | խմբագրել կոդը]

Հուշատախտակ Սանկտ Պետերբուրգում՝ Վասիլևսկի կղզում (ռուսերեն)․ «Այս շենքում 1845-1854 թվականներին ծնվել և ապրել է մեծ մաթեմատիկոս և բազմությունների տեսության ստեղծող Գեորգ Կանտորը»։

Կանտորի հայրական կողմից տատը և պապը եղել են Կոպենհագենից, բայց Նապոլեոնյան պատերազմների պատճառով փախել են Ռուսաստան։ Կանտորի տատիկի և պապիկի մասին շատ քիչ տեղեկություն է պահպանվել[89]։ Կանտորը իր կյանքի ընթացքում հաճախ համարվել է հրեա[90], բայց նրան նաև կոչել են ռուս, գերմանացի և դանիացի։

Յակոբ Կանտորը՝ Կանտորի պապիկը, իր երեխաներին տվել է քրիստոնեական սրբերի անունները։ Բացի դա, տատիկի բարեկամներից որոշները Ցարական քաղաքացիական ծառայությունում էին, որը չէր ընդունում հրեաներին, եթե նրանք քրիստոնյա չդառնային։ Կանտորի հայրը՝ Գեորգ Վալդեմար Կանտորը, լյութերական էր, իսկ նրա և որդու նամակագրությունը ցույց էր տալիս, որ երկուսն էլ նվիրված լյութերական են։ Գեորգ Վալդեմարի ծագման կամ կրթության մասին շատ քիչ է հայտնի[91]։ Նրա մայրը՝ Մարիա Աննա Բոհմը, ավստրոհունգարացի էր՝ ծնված Սանկտ Պետերբուգում։ Նա մկրտված կաթոլիկ էր, սական ամուսնությունից հետո դարձել էր բողոքական։ Սակայն Կանտորի եղբայրը՝ Լուիսը, մորն ուղղված նամակներից մեկում գրում է.

Aquote1.png Mögen wir zehnmal von Juden abstammen und ich im Princip noch so sehr für Gleichberechtigung der Hebräer sein, im socialen Leben sind mir Christen lieber ...[91] Aquote2.png

(«Նույնիսկ եթե մենք ծագում ենք հրեաներից ավելի քան 10 սերունդ, և նույնիսկ եթե ես սկզբունքորեն կողմ եմ հրեաների հավասար իրավունքներին, սոցիալական կյանքում ես նախընտրում եմ քրիստոնեական․․․»), ինչից կարելի եզրակացնել, որ նա հրեական նախնիներ ունի[92]։

1930-ական թվականների փաստաթղթերը կասկածի տակ են առնում նրա հրեական ծագումը․

Aquote1.png Շատ հաճախ [մոտ ծագումից ավելի հաճախ] քննարկվել է՝ արդյոք Գեորգ Կանտորը հրեական ծագում ունի։ Այս թեմայով Կոպենհագենում Դանիական ծագումանաբանության ինստիտուտը 1937 թվականին նրա հոր մասին գրում է․ «Սույնով վկայվում է, որ Գերոգ Վոլդեմար Կանտորը՝ ծնված 1809 կամ 1814 թվականին, չկա որևէ հրեական համայնքային գրանցամատյանում և նա անկասկած հրեա չէ․․․»[91] Aquote2.png

Էրիկ Թեմփլ Բելլը իր «Մաթեմատիկայի մարդիկ» գրքում Կանտորին ներկայացնում է որպես «երկու կողմից մաքուր հրեա», չնայած երկու ծնողներն էլ մկրտված են։ 1971 թվականին բրիտանացի պատմաբան Գրատան-Գինեսը իր հոդվածներից մեկում (անգլ.՝ Towards a Biography of Georg Cantor) գրում է, որ չի կարողանում Կանտորի հրեական ծագման համար փաստեր գտնել (Նա նաև նշել է, որ Կանտորի կինը հրեա է)։

1896 թվականին Փոլ Թաներին ուղված նամակում Կանտորը նշում է, որ հայրական տատրիկը և պապիկը Կոպենհագենի սաֆարդյան հրեաների համայնքի անդամ են եղել[93]։

Բացի դա, Կանտորի մայրական հարազատներից մեկը[94]՝ հունգարացի ջութակահար Յոզեֆ Բոհմը, հրեա էր[95], ինչը նշանակում է, որ Կանտորի մայրը առնվազն կիսով չափ հրեա էր[96]։

Բերնարդ Ռասելին ուղղված նամակներից մեկում Կանտորը իր նախնիներին նկարագրում է հետևյալ կերպ՝

Aquote1.png Ո՛չ իմ հայրը, ո՛չ իմ մայրը գերմանական արյուն չունեն․ առաջինը դանիացի է՝ ծնված Կոպենհագենում, մայրս ավստրոհունգարական ծագում ուներ։ Դուք պետք է իմանաք, պարոն, որ ես պարզապես սովորական գերմանացի չեմ, ես ծնվել եմ 1845 թվականի մարտի 3-ին Սանկտ Պետերբուրգում, Ռուսաստանի մայրաքաղաքում, բայց ես հորս և մորս և եղբայրներիս և քրոջս հետ մեկնել եմ Գերմանիա՝ տասնմեկ տարեկանում՝ 1856 թվականին[97]։ Aquote2.png


Կենսագրության մասին[խմբագրել | խմբագրել կոդը]

Մինչև 1970-ական թվականները Կանտորի կենսագրության վերաբերյալ հիմնական ակադեմիական հրատարակությունները երկու կարճ մենագրություններ էին՝ Արթուր Մորից Շյոնֆլիսի (1927, հիմնականում Միտտագ-Լեֆլերի հետ համակագրությունը) և Ֆրաենկելի (1930)։ Երկուսն էլ երկրորդ կամ երրորդ ձեռքից էին և նրա անձնական կյանքի վերաբերյալ առանձնապես տեղեկություններ չէին պարունակում։ Բացը հիմնականում բացը լրացրել է Էրիկ Թեմփլ Բելլի «Մաթեմատիկայի մարդիկ» (1937) գիրքը, որը Կանտորի ժամանակակից կենսագիրները անվանել են «Մաթեմատիկայի պատմության վերաբերյալ հավանաբար ամենաընթերցված ժամանակակից գիրքը» և «ամենավատերից մեկը»[98]։ Բելլը Կանտորի և իր հոր հարաբերությունները ներկայացնում է որպես Էդիպյան բարդույթ, Կանտորի և Կոնեկերի տարբերությունները որպես երկու հրեաների վեճ: Ըստ Գրատան-Գինեսի (1971)՝ այս պնդումներից ոչ մեկը պատմական հիմք չունի, բայց դրանք կարելի է գտնել այդ ժամանակաշրջանի շատ գրքերի մեջ։ Լեգենդներից մեկի համաձայն էլ (Բելլից անկախ) Կանտորի հայրը գտնված երեխա է, որին Սանկտ Պետերբուրգ են բերել անհայտ ծնողներ[99] Բելլի գրքի քննադատություն կա նաև Ջոզեֆ Դուբենի կենսագրական գրքում։

Ծանոթագրություններ[խմբագրել | խմբագրել կոդը]

  1. 1,0 1,1 1,2 1,3 1,4 1,5 data.bnf.fr: տվյալների բաց շտեմարան — 2011.
  2. 2,0 2,1 2,2 2,3 2,4 2,5 2,6 2,7 2,8 Кантор Георг // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — М.: Советская энциклопедия, 1969.
  3. 3,0 3,1 3,2 Б. Галеркин Кантор, Георг // Еврейская энциклопедияСПб.: 1911. — Т. 9. — С. 244.
  4. 4,0 4,1 4,2 Մակտյուտոր մաթեմատիկայի պատմության արխիվ
  5. 5,0 5,1 5,2 SNAC — 2010.
  6. 6,0 6,1 6,2 Indiana Philosophy Ontology Project
  7. 7,0 7,1 Մակտյուտոր մաթեմատիկայի պատմության արխիվ
  8. Mathematics Genealogy Project — 1997.
  9. Այս հոդվածի հիմնական կենսագրական նյութը վերցվել է Դուբենի (1979) գրքից (անգլերեն)։ Գրատան-Գինեսի (1971) (անգլերեն) և Փարկերտ ու Իլգաուդս (անգլերեն) գրքերը օգտակար գրականություն են։
  10. Դուբեն 2004, էջ 1։
  11. Դուբեն Ջոզեֆ Ուորեն (1979)։ Georg Cantor His Mathematics and Philosophy of the Infinite (անգլերեն)։ Princeton university press։ էջեր introduction։ ISBN 9780691024479 
  12. 12,0 12,1 Դուբեն 2004, էջեր 8, 11, 12–13։
  13. 13,0 13,1 Դուբեն 1977, էջ 86; Դուբեն 1979, էջեր 120, 143։
  14. Դուբեն 1977, էջ 102։
  15. Դուբեն 2004, էջ 1; Դուբեն 1977, էջ 89 15n։
  16. 16,0 16,1 Ռոդիխ, 2007
  17. 17,0 17,1 Դուբեն 1979, էջ 280: «․․․Արթուր Մորից Շյոնֆլիսի պատճառով հայտնի է դարձել այն վակածը, թե Կանտորի կրկնվող դեպրեսիայի ցնցումների պատճառը Կրոնեկերի շարունակական քննադատությունն էր և կոնտինուումի վարկածը ապացուցելու Կանտորի անկարողությունը»
  18. Դուբեն 2004, էջ 1։ Գրքում կա հոգեբույժ Կարլ Պոլիտտից (Կանտորի հոգեբույժը Հալլեում) քաղվածք, որտեղ նա Կանտորի հոգեկան հիվանդությունները բնութագրում է որպես «կրկնվող մինի-դեպրեսիա»։
  19. 19,0 19,1 Դուբեն 1979, էջ 248։
  20. Հիլբերտ (1926, էջ. 170): Գերմաներեն՝ «Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.»
  21. Ռիդ, Քոնստանս (1996), Hilbert, Նյու Յորք: Springer-Verlag, p. 177, ISBN 978-0-387-04999-1 
  22. Музыкальная энциклопедия (Երաժշտական հանրագիտարան, ռուսերեն)։
  23. Գերմաներեն՝ Realschule ([ʁeˈaːlʃuːlə]), միջնակարգ դպրոցի տեսակ Գերմանիայում, Շվեյցարիայում և Լիխտենշտեյնում։
  24. 24,0 24,1 24,2 24,3 24,4 «Cantor biography»։ www-history.mcs.st-andrews.ac.uk (անգլերեն)։ Վերցված է 2017-10-06 
  25. 25,0 25,1 25,2 25,3 25,4 25,5 25,6 25,7 Բրունո Լեոնարդ, Բարկեր Լոուրենս (1999)։ Math and mathematicians: the history of math discoveries around the world (անգլերեն)։ Դետրոյթ: U X L։ էջ 54։ ISBN 978-0787638139։ OCLC 41497065 
  26. Ջոն O'Կոնոր, Էդմունդ Ռոբերտսոն (1998)։ «Georg Ferdinand Ludwig Philipp Cantor» (անգլերեն)։ MacTutor History of Mathematics 
  27. Դուբեն 1979, էջ 163։
  28. Դուբեն 1979, էջ 34։
  29. Դուբեն 1977, էջ 89 15n։
  30. Դուբեն 1979, էջեր 2–3; Գրատան-Գինես 1971, էջեր 354–355։
  31. Դուբեն 1979, էջ 138։
  32. Դուբեն 1979, էջ 139.
  33. 33,0 33,1 Դուբեն 1979, էջ 282։
  34. Դուբեն 1979, էջ 136, Գրատան-Գինես 1971, էջեր 376–377։ Վերջինը թվագրվում է 1884 թվականի հունիսի 21-ին։
  35. Դուբեն 1979, էջեր 281–283։
  36. Դուբեն 1979, էջ 283։
  37. Կյունինգի հոդվածի քննարկման համար տես Դուբեն 1979, էջ 248–250։ Կանտորի արձագանքի համար տե՛ս Դուբեն 1979, էջեր 248, 283։
  38. Դուբեն 1979, էջեր 283–284։
  39. Դուբեն 1979, էջ 284։
  40. 40,0 40,1 Ջոնսոն, Ֆիլիպ (1972), «The Genesis and Development of Set Theory», The Two-Year College Mathematics Journal 3 (1): 55–62, doi:10.2307/3026799 
  41. Սուպես, Պատրիկ (1972), Axiomatic Set Theory, Dover, p. 1, ISBN 9780486616308, https://books.google.com/?id=sxr4LrgJGeAC&pg=PA1, «With a few rare exceptions the entities which are studied and analyzed in mathematics may be regarded as certain particular sets or classes of objects. ... As a consequence, many fundamental questions about the nature of mathematics may be reduced to questions about set theory («Մի քանի հազվագյուտ բացառությունների բացի, մաթեմատիկայում ուսումնասիրվող օբյեկտները կարող են համարվել որոշակի բազմություններ կամ օբյեկտների դասեր։ ․․․ Արդյունքում, մաթեմատիկայի բնույթի վերաբերյալ շատ հիմնարար հարցեր կարելի է հանգեցնել բազմությունների տեսության մասին հարցի։»)» 
  42. Կանտոր 1874
  43. The Cantor Set Before Cantor («Կանտորի բազմությունը մինչև Կանտորը») (անգլերեն), Ամերիկայի մաթեմատիկական ասոցիացիա։
  44. Քուկ, Ռոջեր (1993), «Uniqueness of trigonometric series and descriptive set theory, 1870–1985», Archive for History of Exact Sciences 45 (4): 281, doi:10.1007/BF01886630. 
  45. 45,0 45,1 Կարին Ուսադին Քարթ և Միխայիլ Քաթ (2012), «A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography», Foundations of Science 17 (1): 51–89, doi:10.1007/s10699-011-9223-1 
  46. Էրլիխ Փ․ (2006), «The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes», Arch. Hist. Exact Sci. 60 (1): 1–121, doi:10.1007/s00407-005-0102-4, արխիվացված օրիգինալից փետրվար 15, 2013-ին, https://web.archive.org/web/20130215061415/http://www.ohio.edu/people/ehrlich/AHES.pdf 
  47. Կանտոր 1874 , անգլերեն թարգմանությունը՝ Էվալդ 1996, էջեր 840–843։
  48. Օրինակ՝ Գալիլեո Գալիլեյի և Յոհաննես Դունս Սկոտի առաջ քաշած երկրաչափական խնդիրներից կարելի է եզրակացնել, որ անվերջ բազմությունները «հավասարաչափ» են։ Տես՝ Մուր, Ա․Ու․ (April 1995), «A brief history of infinity», Scientific American 272 (4): 112–116 (114), doi:10.1038/scientificamerican0495-112, http://math123.net/hchs/MathDept/MathTalks/2012-13/b-h-inf.pdf 
  49. Այս և բազմությունների տեսության վերաբերյալ Կանտորի աշխատանքների կարևորության մասին հավելյալ տեղեկությունների համար տե՛ս Սուպես 1972։
  50. Լուիվիլ, Ժոզեֆ (մայիս 13, 1844). A propos de l'existence des nombres transcendants.
  51. Իրական հանրահաշվական թվերը այն թվերն են, որոնք որևէ ամբողջ գործակիցներով բազմանդամի արմատ են։
  52. Կանտորի հոդվածի մանրամասների համար տես՝ Գրեյ, Ռոբերտ (1994), «Georg Cantor and Transcendental Numbers», American Mathematical Monthly 101 (9): 819–832, doi:10.2307/2975129, http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Gray819-832.pdf ։ Գրեյը (էջեր 821–822) նկարագրում է համակարգչային ծրագիրը, որը օգտվելով Կանտորի կառուցումից ստանում է տրանսցենդենտ թվեր։
  53. Կանտորը սկսում է տրանսցենդենտ թվերի բազմությունից և դրանից հեռացնում է հաշվելի ենթաբազմություն (օրինակ՝ )։ Նշանակենք այս բազմությունը -ով։ Հետևբար, ։ Իրական թվերի բազմությունը կարելի է ներկայացնել հետևյալ տեսքով՝ , որտեղ -ը հանրահաշվական թվերի հաջորդականությունն է։ Այսպիսով, և բազմությունները երեք զույգ-զույգ անջատ բազմությունների միավորում են․ և երկու հաշվելի բազմությունների։ Հետևաբար, և բազմությունների միջև փոխմիարժեք համապատասխանություն հնարավոր է ստանալ հետևյալ ֆունկցիայով , եթե , և ։ Կանտորը իրական կիրառել է իր կառուցումը իռացիոնալ թվերի վրա, ոչ թե տրանսցենդենտ, բայց նա գիտեր, որ այն կիրառելի է ցանկացած բազմության վրա, որը ստացվել է իրական թվերի բազմությունից հաշվելի քանակությաբ թվերի հեռացնելով (Կանտոր 1879, էջ. 4 )։
  54. Դուբեն 1977, էջ 89։
  55. Կանտոր 1883 .
  56. Կանտոր (1895), Կանտոր (1897)։ Անգլերեն թարգմանությունը՝ Կանտոր 1955։
  57. Ուոլաս, Դավիթ Ֆոսթեր (2003), Everything and More: A Compact History of Infinity, New York: W. W. Norton and Company, p. 259, ISBN 978-0-393-00338-3 
  58. Դուբեն 1979, էջեր 69, 324 63n։ Հոդվածը ուղարկվել է 1877 թվականի հուլիսին։ Դեդեկինդը աջակցել է հոդվածին, սակայն ուշացրել է հրատարակությունը Կրոնեկերի ընդդիմության պատճառով։ Վայերշտրասը ակտիվորեն աջակցել է հոդվածին։
  59. Որոշ մաթեմատիկոսներ համարում են, որ այս արդյունքները լուծել են խնդիրը և, առավելագույնը, ընդունում են, որ կարելի է հետազոտել կոնտինուումի վարկածի, կոնտինուումի վարկածի ժխտման կամ դրանց հանգող աքսիոմների ֆորմալ հետևանքները։ Որոշներն էլ շարունակում են փնտրել «բնական» կամ «ճշմարիտ» աքսիոմներ, որոնք կապացուցեն կամ կժխտեն կոնտինուումի վարկածը (այս մաթեմատիկոսների թվում է Ու․ Հյուջ Վուդինը)։ Գյոդելը իր վերջին հոդվածներից մեկում պնդում է, որ կոնտինուումի վարկածը սկալ է և կոնտինուումի կարդինալ թիվը Ալեֆ-2 է։
  60. Կանտոր 1883, էջեր. 587–588 , անգլերեն թարգմանությունը՝ Էվալդ 1996, էջեր 916–917։
  61. Հալեթ 1986, էջեր 41–42։
  62. Մուր 1982, էջ 42։
  63. Մուր 1982, էջ 51։ Համարժեքության ապացույց։ Եթե բազմությունը լավ կարգավորված է, ուրեմն դրա կարդինալ թիվը ալեֆ է, քանի որ ալեֆները լավ կարգավորված բազմությունների կարդինալներն են։ Եթե բազմության կարդինալ թիվը ալեֆ է, ուրեմն այն հնարավոր է լավ կարգավորել, քանի որ այդ բազմության և դրան համապատասխանող ալեֆիը սահմանող լավ կարգավորված բազմության միջև փոխմիարժեք համապատասխանություն գոյություն ունի։
  64. Հալեթ 1986, էջեր 166–169։
  65. Կանտորը ապացուցել է հակասությամբ։ Ենթադրենք գոյություն ունի որևէ բազմություն, որի կարդինալ թիվը ալեֆ չէ։ Օրդինալներից դեպի ֆունկցիա հնարավոր է կառուցել -ից հաջորդաբար ընտրելով տարբեր՝ բոլոր օրդինալների համար։ Եթե այս կառուցման ինչ-որ փուլում «էլ տար չկա», ուրեմն ֆունկցիան բազմությունը լավ կարգավորում է։ Սա նշանակում է, որ -ի կարդինալ թիվը ալեֆ է, որը հնարավոր չէ ըստ ենթադրության։ Հետևբար, ֆունկցիան բոլոր օրդինալները փոխմիարժեք պատկերում է -ի վրա։ Ֆունկցիայի պատկերը հակասական ենթապատիկություն է -ի մեջ, հետևաբար բազմությունը հակասական պատիկություն է, ինչը հակասություն է։ Ցերմելոն քննադատել է Կանտորի կառուցումը, ասելով՝ «ժամանակի ինտուիցիան կիրառվել է այստեղ մի գործընթացի վրա, որը դուրս է ցանկացած ինտուիցիայից և ինճ-որ երևակայական էություն ներդրվել, որը ենթադրվում է, որ կարող է հաջորդաբար կամայական ընտրություն անել։» (Հալեթ 1986, էջեր 169–170։)
  66. Մուր 1988, էջեր 52–53; Մուր և Գարսիադիեգո 1981, էջեր 330–331։
  67. Մուր և Գարսիադիեգո 1981, էջեր 331, 343; Փարկերտ 1989, էջ 56։
  68. Մուր 1982, էջեր 158–160։ Մուրը պնդում էր, որ վերջինը իր հիմնական մոտիվացիան է եղել։
  69. Մուրը այս քննադատություններին նվիրել է մի ամբողջ բաժին․ «Zermelo and His Critics (1904–1908)», Մուր 1982, էջեր 85–141։
  70. Մուր 1982, էջեր 158–160։ Ցերմելո 1908, էջեր 263–264, անգլերեն թարգմանությունը՝ վան Հիջենոորտ 1967, էջ 202։
  71. Հալեթ 1986, էջեր 288, 290–291։ Կանտորը նշել է, որ հակասական պատիկությունները բախվում են նույն սահմանափակմանը․ նրանք չեն կարող այլ պատիկության անդամ լինել (Հալեթ 1986, էջ 286)։
  72. Հալեթ 1986, էջեր 291–292.
  73. Ցերմելո 1930, անգլերեն թարգմանությունը՝ Էվալդ 1996, էջեր 1208–1233։
  74. Դուբեն 1979, էջ 295։
  75. Դուբեն 1979, էջ 120։
  76. Հալեթ 1986, էջ 13։
  77. Դուբեն 1979, էջ 225։
  78. Դուբեն 1979, էջ 266։
  79. Սնապեր, Էրնստ (1979), «The Three Crises in Mathematics: Logicism, Intuitionism and Formalism», Mathematics Magazine 524 (4): 207–216, doi:10.1080/0025570X.1979.11976784, http://www2.gsu.edu/~matgtc/three%20crises%20in%20mathematics.pdf, վերցված է April 2, 2013 
  80. Դավենպորտ, Աննա (1997), «The Catholics, the Cathars, and the Concept of Infinity in the Thirteenth Century», Isis 88 (2): 263–295, doi:10.1086/383692 
  81. 81,0 81,1 Դուբեն 1977, էջ 85։
  82. Cantor 1932, էջ. 404 , անգլերեն թարգմանության համար՝ Դուբեն 1977, էջ 95։
  83. Դուբեն 1979, էջ 296։
  84. Դուբեն 1979, էջ 144։
  85. Դուբեն 1977, էջ 102։
  86. Դուբեն 1977, էջեր 91–93։
  87. Կանտորի, Հուսերլի և Գոտլոբ Ֆրեգե մասին տե՛ս Հիլ և Ռոսադո Հադոկ (2000)։
  88. "Դուբեն 1979, էջ 96։
  89. Օրինակ, պապիկի մահվան մասին Գրատան-Գինեսի ունեցակ միակ վկայությունը այն էր, որ նա թղթեր է ստորագրել իր որդու նշանադրությանը։
  90. Օրինակ՝ Jewish Encyclopedia, հոդված «Cantor, Georg», Jewish Year Book 1896–1897, "List of Jewish Celebrities of the Nineteenth Century" (19-րդ դարի հրեա հայտնի մարդկանց ցանկ), էջ 119, այս ցանկում կիսով չափ հրեա անձանց անվան դիմաց աստղ կա, բայց Կանտորի անվան դիմաց չկա։
  91. 91,0 91,1 91,2 Փարկերտ և Իլգաուդս 1985, էջ 15։
  92. Ավելի մանրամասն տեղեկությունների համար տե՛ս Դուբեն 1979, էջ 1 և նշումներ; Գրատան-Գինես 1971, էջեր 350–352 և նշումներ; Փարկերտ և Իլգաուդս 1985, նամակի համար տե՛ս Aczel 2000, էջեր. 93–94 , Լուիսի 1863 թվականի Չիկագո ճանապարհորդությունից։
  93. Թաների, Փոլ (1934) Memoires Scientifique 13 Correspondance, Gauthier-Villars, Փարիզ, էջ 306։
  94. Դուբեն 1979, էջ 274։
  95. Մենդելսոն, Էզրա (ed.) (1993) Modern Jews and their musical agendas, Oxford University Press, էջ 9։
  96. Ismerjükoket?: zsidó származású nevezetes magyarok arcképcsarnoka, István Reményi Gyenes Ex Libris, (Budapest 1997), էջեր 132–133
  97. Ռասել, Բերնարդ. Autobiography, հ. I, էջ 229։
  98. Գրատան-Գինես 1971, էջ 350։
  99. Գրատան-Գինես 1971 (քաղվածք 350 էջից), Դուբեն 1979, էջ 1 և նշումներ։ (Բելլի հակահրեական կարծրատիպերը կարծես թե հեռացվել են հետպատերազմյան հրատարակություններից։)

Գրականություն[խմբագրել | խմբագրել կոդը]

Մատենագրություն[խմբագրել | խմբագրել կոդը]

Կանտորի կյանքի վերաբերյալ հին աղբյուրներին պետք է վերաբերվել զգուշությամբ։ Տես՝ Կենսագրություն

Առաջնային գրականությունը անգլերեն[խմբագրել | խմբագրել կոդը]

Առաջնային գրականությունը գերմաներեն[խմբագրել | խմբագրել կոդը]

Երկրորդական գրականություն[խմբագրել | խմբագրել կոդը]

  • Aczel, Amir D. (2000), The Mystery of the Aleph: Mathematics, the Kabbala, and the Search for Infinity, New York: Four Walls Eight Windows Publishing . 0-7607-7778-0. A popular treatment of infinity, in which Cantor is frequently mentioned.
  • Dauben, Joseph W. (June 1983), «Georg Cantor and the Origins of Transfinite Set Theory», Scientific American 248 (6): 122–131, doi:10.1038/scientificamerican0683-122 
  • Ferreirós, José (2007), Labyrinth of Thought: A History of Set Theory and Its Role in Mathematical Thought, Basel, Switzerland: Birkhäuser . 3-7643-8349-6 Contains a detailed treatment of both Cantor's and Dedekind's contributions to set theory.
  • Paul Halmos, Paul (1998) [1960], Naive Set Theory, New York & Berlin: Springer . 3-540-90092-6
  • Հիլբերտ Դավիթ (1926)։ «Über das Unendliche»։ Mathematische Annalen 95: 161–190։ doi:10.1007/BF01206605 
  • Hill, C. O.; Rosado Haddock, G. E. (2000), Husserl or Frege? Meaning, Objectivity, and Mathematics, Chicago: Open Court . 0-8126-9538-0 Three chapters and 18 index entries on Cantor.
  • Meschkowski, Herbert (1983), Georg Cantor, Leben, Werk und Wirkung (Georg Cantor, Life, Work and Influence, in German), Vieweg, Braunschweig 
  • Penrose, Roger (2004), The Road to Reality, Alfred A. Knopf . 0-679-77631-1 Chapter 16 illustrates how Cantorian thinking intrigues a leading contemporary theoretical physicist.
  • Rucker, Rudy (2005) [1982], Infinity and the Mind, Princeton University Press . 0-553-25531-2 Deals with similar topics to Aczel, but in more depth.
  • Ռոդիխ, Վիկտոր (2007), «Wittgenstein's Philosophy of Mathematics», in Էդվարդ Ն․ Զալթա, The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/wittgenstein-mathematics/ .
Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 5, էջ 243 CC-BY-SA-icon-80x15.png