Riyaziyyat

Vikipediya, azad ensiklopediya
Naviqasiyaya keç Axtarışa keç
E.ə. III əsr yunan riyaziyyatçısı Evklid (əlində pərgarla). Rafaelin Afina məktəbi freskasından fraqment (1509–1511)[a]

Riyaziyyat (yun. μάθημα, máthēma, "bilik, elm, öyrənmək") — ədədlər (hesabədədlər nəzəriyyəsi),[1] düsturlar və əlaqəli strukturlar (cəbr),[2] fiqurlar və fəzalar (həndəsə),[1] kəmiyyətlər və onların dəyişmələri (riyazi analiz)[3][4][5] kimi mövzuların öyrənilməsini əhatə edir. Onun dəqiq əhatə dairəsi və ya epistemoloji statusu haqqında ortaq razılaşma yoxdur.[6][7] Riyaziyyat sözünün anlamı (ərəbcə الرياضيات) ərəb dilində riad (رياض) kimi oxunan və yaşıllığı olan sulu torpaq mənasını verən sözündən irəli gəlir, ərəblərin yaşadıqları yerlərdə torpaq sahələrin müəyyən edilməsi ilə onların suvarılması üçün gərək gələn suyun miqdarının hesablanmasında istifadə edilmiş bilik və bacarıqlar toplusuna deyilmişdi.[8]

Riyazi fəaliyyətin əsas hissəsi abstrakt (mücərrəd) obyektlərin xassələrini aşkarlamaqdan və isbat etməkdən (saf mühakimə yolu ilə) ibarətdir. Bu obyektlər ya təbiətdən təcridetmə yoluyla (məsələn, natural ədədlər və ya xətlər), ya da (müasir riyaziyyatda) aksiomlar adlanan əsas xassələrlə müəyyən edilən abstrakt varlıqlardır. İsbat bəzi deduktiv qaydaların artıq məlum olan nəticələrə, o cümlədən qabaqcadan isbatlanmış teoremlərə, aksiomlara və (təbiətdən təcridetmə halında) nəzərdən keçirilən nəzəriyyənin həqiqi başlanğıc nöqtələri hesab edilən bəzi əsas xassələrə ardıcıl tətbiqindən ibarətdir. İsbatın nəticəsi teorem adlanır.

Bir sıra elmlərdə hadisələrin modelləşdirilməsi üçün riyaziyyatdan geniş istifadə olunur. Bu, eksperimental qanunlardan kəmiyyət nəticələrini çıxarmağa imkan yaradır. Məsələn, Nyutonun cazibə qanununun köməyilə planetlərin hərəkətini yüksək dəqiqliklə təxmin etmək olar. Riyazi həqiqətin hər hansı təcrübədən müstəqil olması belə proqnozların doğruluğunun yalnız reallığı təsvir edən modelin adekvatlığından asılı olduğunu nəzərdə tutur. Beləliklə, bəzi qeyri-dəqiq proqnozlar ortaya çıxdıqda, bu, riyaziyyatın yanlışlığından deyil, modelin təkmilləşdirilməli və ya dəyişdirilməli olduğundan xəbər verir. Məsələn, Merkurinin periheli presessiyasını Nyutonun cazibə qanunu ilə izah etmək olmaz, lakin bu Eynşteynin ümumi nisbilik nəzəriyyəsi ilə dəqiq izah olunur. Eynşteynin bu nəzəriyyəsinin eksperimental təsdiqi onu göstərir ki, Nyutonun cazibə qanunu yalnız bir növ yaxınlaşmadır (lakin gündəlik həyatda hələ də çox dəqiqdir).

Riyaziyyat təbiət elmləri, mühəndislik, tibb, maliyyə, kompüter elmisosial elmlər də daxil olmaqla bir çox sahə üçün vacibdir. Riyaziyyatın bəzi sahələri, məsələn, statistikaoyunlar nəzəriyyəsi, onların tətbiqi ilə birbaşa əlaqəli şəkildə inkişaf etdirilir və çox vaxt tətbiqi riyaziyyat adı altında qruplaşdırılır. Digər riyazi sahələr hər hansı bir tətbiqdən asılı olmayaraq inkişaf etdirilir (və buna görə də saf riyaziyyat adlanır), lakin bir çox hallarda onların da praktik tətbiqləri sonralar aşkar edilir.[9][10] Uyğun bir nümunə, tarixi Evklidə qədər gedib çıxan, amma RSA kriptosistemində (kompüter şəbəkələrinin təhlükəsizliyi üçün) istifadə edilməmişdən öncə praktik tətbiqə malik olmayan tamı vuruqlara ayırma problemidir.

Riyaziyyat yazılı qeydlərin mövcud olduğu antik dövrlərdən bəri bəşəri fəaliyyət sahəsi olmuşdur. Bununla belə, "isbat" anlayışı və onunla əlaqəli "riyazi ciddilik" ilk dəfə Yunan riyaziyyatında, xüsusilə də Evklidin Başlanğıclar əsərində ortaya çıxır.[11] Riyaziyyat, cəbr və sonsuz kiçiklər hesabının əsas riyazi sahələr kimi hesab və həndəsəyə qoşulduğu İntibah dövrünə qədər nisbətən zəif sürətlə inkişaf etdi. O vaxtdan bəri riyazi yeniliklər və elmi kəşflər arasındakı qarşılıqlı əlaqə riyazi kəşflərin xeyli dərəcədə artmasına səbəb oldu. 19-cu əsrin sonunda riyaziyyatın əsaslı böhranı aksiomatik metodun sistemləşdirilməsinə səbəb oldu. Bu isə öz növbəsində riyaziyyatın və onun tətbiq sahələrinin sayca kəskin artmasına səbəb oldu; riyaziyyatın altmışdan çox birinci səviyyəli sahəsini qeyd edən bölmələr üzrə təsnifat bunu təsdiqləyir.

Riyaziyyatın sahələri

[redaktə | mənbəni redaktə et]
Abak qədim zamanlardan istifadə edilən sadə hesablama alətidir.

İntibahdan əvvəl riyaziyyat iki əsas sahəyə: ədədlər üzərindəki əməllərə həsr olunmuş hesaba və fiqurları öyrənən həndəsəyə ayrılırdı. Bu dövrdə riyaziyyatdan xeyli faydalanan numerologiyaastrologiya kimi psevdoelmlər də mövcud idi.

İntibah dövründə iki əsas sahə meydana çıxdı. Riyazi işarələrin tətbiqi, kobud desək, düsturların öyrənilməsi və onlar üzərindəki əməllərdən ibarət olan cəbrə gətirib çıxardı. Diferensial və inteqral hesabı, qısaca "kalkyulus" arqumentlərin dəyişməsini və onlar arasındakı əlaqəni modelləşdirən kəsilməz funksiyaların tədqiqidir. Dörd əsas sahəyə görə aparılan bu bölgü 19-cu əsrin sonlarına qədər qüvvədə qaldı, baxmayaraq ki, çox vaxt riyaziyyata aid edilən göy mexanikasıbərk cisim mexanikası kimi bəzi sahələr indi fizikaya aid edilir. Həmçinin, bu dövrdə inkişafda olan bəzi fənlər, ancaq sonralar muxtar sahələr olaraq qəbul edilən ehtimal nəzəriyyəsikombinatorika kimi riyaziyyatın (müxtəlif hissələrə bölünmüş) sahələrindən öncə mövcud idi.

19-cu əsrin sonlarında riyaziyyatın böhranı və bunun nəticəsində də aksiomatik metodun sistemləşdirilməsi riyaziyyat sahələrində həcmi partlayışa səbəb oldu.

20-ci əsrin əvvəllərində riyaziyyatda mövcud olan istiqamətlər haqqında tarixi Paris Konqresinin bölmələrinin siyahısına əsasən fikir söyləmək olar. Bu, əsas dörd bölmədən: hesab və cəbr; analiz; həndəsə; mexanikariyazi fizika, həmçinin daha iki: tarix və biblioqrafiya; tədris və metodologiya bölmələrindən ibarətdir.

O dövrdən keçən zaman ərzində elmdə olan dəyişikliklər barədə müasir konqreslərin bölmələr siyahısına əsasən məlumat əldə etmək olar: riyazi məntiq və riyaziyyatın əsasları; cəbr; ədədlər nəzəriyyəsi; həndəsə; topologiya; cəbri həndəsə; kompleks analiz; Li qrupu və göstərişlər nəzəriyyəsi; həqiqi və funksional analiz; ehtimal nəzəriyyəsi və riyazi statistika; xüsusi törəməli diferensial tənliklər; adi diferensial tənliklər; riyazi fizika; ədədi üsullar və hesablama nəzəriyyəsi; diskret riyaziyyat və kombinatorika; informatikanın riyazi aspektləri; qeyri-fiziki fənlərə riyaziyyatın tətbiqi; riyaziyyat tarixi; riyaziyyatın tədrisi.

Ədədlər nəzəriyyəsi

[redaktə | mənbəni redaktə et]

Ədədlər nəzəriyyəsinin inkişafı ədədlər, yəni natural (), tam () və rasional () ədədlər üzərindəki əməllərlə başladı. Qədimdə ədədlər nəzəriyyəsi hesab adlanırdı, lakin indi bu termin daha çox ədədlərlə bağlı hesablama üsulları üçün istifadə olunur.

Ədədlər nəzəriyyəsinin özünəməxsusluğu ondan ibarətdir ki, o elementar kimi görünən bir çox çətin məsələləri həll etmək üçün təkmil həll metodlarından istifadə edir. Diqqətəlayiq bir nümunə, 1637-ci ildə Pyer Ferma tərəfindən ifadə edilmiş və yalnız 1994-cü ildə Endryu Uils tərəfindən kateqoriya nəzəriyyəsi və homoloji cəbrin köməyilə isbat edilən Fermanın son teoremidir. Başqa bir misal, 2-dən böyük hər bir cüt tam ədədin iki sadə ədədin cəmi olduğunu iddia edən Qoldbax fərziyyəsidir. 1742-ci ildə Xristian Qoldbax tərəfindən bildirilmişdir ki, bu, xeyli səylərə baxmayaraq isbatsız qalır.

Tədqiq olunan problemlərin və həll üsullarının müxtəlifliyi baxımından ədədlər nəzəriyyəsi hazırda bir neçə alt sahəyə bölünür, bunlara analitik ədədlər nəzəriyyəsi, cəbri ədədlər nəzəriyyəsi, ədədlərin həndəsəsi (metod yönümlü), Diofant tənlikləri və transendent nəzəriyyə (problem yönümlü) daxildir.

Həndəsə hesab ilə birlikdə riyaziyyatın ən qədim qollarından biridir. O, əsasən ölçmə və memarlığın ehtiyaclarından ortaya çıxan xətlər, bucaqlarçevrələr kimi formalara aid empirik təriflərlə başlandı.

Əsas yenilik qədim yunanlar tərəfindən isbatların işlənib hazırlanması idi: məsələn, iki uzunluğun bərabər olduğunu ölçmə ilə yoxlamaq kifayət deyil. Belə bir xassə əvvəllər isbat edilmiş nəticələrdən (teoremlərdən) və əsas xassələrdən (bunlar isbatın (postulatların) predmeti olmaq üçün çox sadə olduğuna görə özlüyündə aydın hesab olunur) mücərrəd əsaslandırma ilə isbat edilməlidir. Bütün riyaziyyatın əsasını təşkil edən bu prinsip həndəsə üçün işlənib hazırlanmış və təqribən miladdan öncə 300-cü ildə Evklid tərəfindən Başlanğıclar kitabında sistemləşdirilmişdir.

Nəticədə meydana çıxan Evklid həndəsəsi Evklid müstəvisində (müstəvi həndəsəsində) və (üçölçülü) Evklid fəzasında xətlər, müstəvilər və çevrələrin köməyilə qurulan fiqurların öyrənilməsidir.[b]

Evklid həndəsəsi 17-ci əsrə qədər, Rene Dekartın indi Kartezian koordinatları adlanan şeyi təqdim etməsinə qədər üsul və ya əhatə dairəsi dəyişmədən irəliləməyə davam etdi. Bu, paradiqmanın əsas dəyişikliyi idi, çünki həqiqi ədədləri xətt parçalarının uzunluqları kimi təyin etmək əvəzinə, o, nöqtələrin ədədlərdən (onların koordinatlarından) ibarət təsvirindən cəbrdə və daha sonra kalkulusda həndəsi məsələlərdə istifadə etməyə imkan yaradırdı. Bu parçalanmış həndəsə yalnız metodları ilə fərqlənən iki hissəyə: sırf həndəsi üsullardan istifadə edən sintetik həndəsəyə və koordinat sistemindən istifadə edən analitik həndəsəyə bölünür.

Analitik həndəsə yeni fiqurların, xüsusən də çevrə və xətlərlə əlaqəli olmayan əyrilərin öyrənilməsinə imkan verir; bu əyrilər ya funksiyaların qrafiki (tədqiqi diferensial həndəsəni doğurmuşdur) kimi, ya da məchullu tənliklər, çox vaxt polinomial tənliklər (cəbri həndəsənin doğurub) ilə müəyyən edilir. Analitik həndəsə artıq fiziki fəzanın modeli olmayan üçdən böyük fəza ölçülərini (üçdən artıq koordinatı nəzərə almaq kifayətdir) nəzərə almağa imkan verir.

19-cu əsrdə həndəsə sürətlə genişləndi. 19-cu əsrin ikinci yarısındakı böyük hadisə isə paralellik postulatının imtina olunduğu qeyri-Evklid həndəsələrinin meydana çıxması idi. Bu, Rassel paradoksu ilə yanaşı, yuxarıda qeyd olunan postulatın doğruluğunu şübhə altına almaqla riyaziyyatın təməl böhranının başlanğıc nöqtələrindəndir. Böhranın bu cəhəti aksiomatik metodun sistemləşdirilməsi və seçilmiş aksiomların doğruluğunun riyazi problem olmadığını qəbul etməklə həll edilmişdir. Öz növbəsində, aksiomatik üsul ya aksiomların dəyişdirilməsi, ya da fəzanın xüsusi çevrilmələri zamanı invariant olan xassələri nəzərə almaqla əldə edilən müxtəlif həndəsələrin öyrənilməsinə imkan verir. Bu, həndəsənin bir sıra alt sahələri və ümumiləşdirmələri ilə nəticələnir:

16-cı əsrdə Jerar Dezarq tərəfindən irəli sürülən proyektiv həndəsə, paralel xətlərin kəsişdiyi sonsuzluq nöqtələrini daxil edərək Evklid həndəsəsini genişləndirir. Bu, kəsişən və paralel xətlərə fərqli yanaşmadan boyun qaçırmaqla, klassik həndəsənin bir çox aspektlərini sadələşdirməyə imkan verir.

Həndəsədə rast gəlinən bəzi fiqurlar

Üçbucaq Konik kəsiklər Elliptik əyri Hiperbolik üçbucaq Toroid Fraktal
Kvadratik düstur bütün kvadrat tənliklərin həllərini yığcam şəkildə ifadə edir

Cəbrə tənlik və düsturlar üzərində əməllər aparma sənəti kimi baxmaq olar. Diofant (III əsr) və Əl-Xarəzmi (IX əsr) cəbrin iki əsas carçısı idi. Birincisi, naməlum natural ədədlər (yəni tənliklər) arasındakı bəzi əlaqələri həllini əldə edənə qədər yeni əlaqələr çıxarmaqla həll etdi. İkincisi, tənlikləri çevirmək üçün sistematik üsulları təqdim etdi (məsələn, bir termini tənliyin bir tərəfindən digər tərəfə köçürmək). Cəbr termini onun əsas traktatının başlığında bu üsullardan birini adlandırmaq üçün istifadə etdiyi ərəb sözü əl-Cəbrdən əmələ gəlmişdir. "Kitab əl-cəbr vəl-mükəbala" ("Bərpa və qarşıqoyma haqqında kitab") əsərinin ərəbcə adından götürülmüş "əl-cəbr" sözü vaxt keçdikcə hamıya yaxşı məlum olan "cəbr" sözünə çevrildi. Əl-Xarəzminin bu əsəri isə tənliklərin həlli haqqında elmin yaranmasında istinad nöqtəsi oldu Əl-Xarəzminin bu əsəri isə tənliklərin həlli haqqında elmin yaranmasında istinad nöqtəsi oldu

Əl-Xarəzminin əsərində naməlum kəmiyyətlər və eləcə də aralıq çıxarışlar və tənliklərdəki çevirmələr sözlərlə ifadə olunmuşdur. Ümumiyyətlə, cəbrin başlanğıc inkişaf dövrləri üçün xarakterik olan bu cür yazı stilini tarixçilər ritorik stil adlandırırlar (xatırladaq ki, ritorika — natiqlik məharəti deməkdir).

Cəbrdə növbəti böyük sıçrayış 16-cı əsrin fransız alimi Fransua Viyetin adı ilə bağlıdır. Riyaziyyatçılar arasında ilk dəfə o məchul kəmiyyətləri və kəmiyyətlərin əmsallarını hərflərlə ifadə etmişdir. Məchul kəmiyyətlərin latın əlifbasının son hərfləri x, y, z ilə işarə olunması ənənəsinə görə isə Viyetin həmvətənlisi Rene Dekarta borcluyuq.

19-cu əsrə qədər cəbr əsasən, hazırda xətti cəbr adlanan xətti tənliklərin və cəbri tənliklər adlanan bir naməlumda cəbri tənliklərin öyrənilməsindən ibarət idi (birmənalı olmasa da, hələ də istifadə olunan bir termin). 19-cu əsrdə dəyişənlər ədədlərdən başqa (məsələn, matrislər, modul tam ədədlər və həndəsi çevrilmələr) bəzi əməllərin işləyə biləcəyi, çox vaxt hesab əməllərinin ümumiləşdirilmələrini təmsil etməyə başladı. Bununla məşğul olmaq üçün elementləri müəyyən edilməmiş çoxluqdan, çoxluğun elementləri üzərində hərəkət edən əməllərdən və bu əməllərin əməl etməli olduğu qaydalardan ibarət olan cəbri struktur anlayışı təqdim edilmişdir. Beləliklə, cəbrin əhatə dairəsi mahiyyətcə cəbri strukturların öyrənilməsinə çevrildi. Cəbrin bu obyekti müasir cəbr və ya mücərrəd cəbr adlanırdı, sonuncu termin hələ də əsasən təhsil kontekstində, düsturlarla manipulyasiyanın köhnə üsulu ilə əlaqəli elementar cəbrə qarşı istifadə olunur.

Rubik kubu: onun mümkün hərəkətlərinin öyrənilməsi qrup nəzəriyyəsinin konkret tətbiqidir

Cəbri strukturların bəzi növləri riyaziyyatın bir çox sahələrində faydalı və çox vaxt fundamental xüsusiyyətlərə malikdir. Onların tədqiqatı bu gün cəbrin muxtar hissələridir, bunlara aşağıdakılar daxildir:

  • qrup nəzəriyyəsi;
  • sahə nəzəriyyəsi;
  • vektor fəzaları, öyrənilməsi mahiyyətcə xətti cəbrlə eynidir;
  • halqa nəzəriyyəsi;
  • kommutativ cəbr, kommutativ halqaları öyrənir, polinomların öyrənilməsini əhatə edir və cəbri həndəsənin təməl bölümüdür;
  • homoloji cəbr
  • Li cəbri və Li qrup nəzəriyyəsi;
  • Bul cəbri, hansı ki, kompüterlərin məntiqi strukturunun öyrənilməsi üçün geniş istifadə olunur.

Cəbri strukturların riyazi obyektlər kimi öyrənilməsi universal cəbr və kateqoriyalar nəzəriyyəsinin obyektidir. Sonuncu hər bir riyazi struktura aiddir (yalnız cəbri olanlara deyil). Mənşəyində o, topoloji fəzalar kimi qeyri-cəbr obyektlərinin cəbri tədqiqinə imkan vermək üçün homoloji cəbrlə birlikdə təqdim edilmişdir; bu xüsusi tətbiq sahəsi cəbri topologiya adlanır.

Əvvəllər sonsuz kiçilənlər hesabı adlanan diferensial və inteqral hesabı (lat. calculus) 17-ci əsrdə NyutonLeybnis tərəfindən müstəqil olaraq eyni vaxtda tərtib edilmişdir. Bu , əsasən biri digərindən asılı olan iki dəyişən kəmiyyətin əlaqəsinin öyrənilməsidir. Hesablama 18-ci əsrdə Eyler tərəfindən funksiya anlayışının tətbiqi və bir çox başqa nəticələrlə genişləndi. Hal-hazırda "diferensial və inteqral hesabı" əsasən bu nəzəriyyənin elementar hissəsinə aiddir və adətən inkişaf etmiş hissələr üçün "analiz" sözündən istifadə olunur.

Analiz daha sonra dəyişənlərin həqiqi ədədləri təmsil etdiyi real analizə və dəyişənlərin mürəkkəb ədədləri təmsil etdiyi kompleks analizə bölünür. Hal-hazırda analizin bir çox alt sahələri var, bəziləri riyaziyyatın digər sahələri ilə paylaşılır; bunlara daxildir:

  • Çoxdəyişənli diferensial və inteqral hesabı
  • Funksional analiz, burada dəyişənlər müxtəlif funksiyaları təmsil edir;
  • İnteqrallama, ölçü nəzəriyyəsi və potensial nəzəriyyə, hamısı ehtimal nəzəriyyəsi ilə sıx bağlıdır;
  • Adi diferensial tənliklər;
  • Xüsusi törəməli diferensial tənliklər;
  • Ədədi analiz, əsasən riyaziyyatın bir çox tətbiqlərində yaranan adi və xüsusi törəməli diferensial tənliklərin həllərinin kompüterlərdə hesablanmasına həsr edilmişdir.

Diskret riyaziyyat

[redaktə | mənbəni redaktə et]

Diskret riyaziyyat istər riyaziyyatın özündə və istərsə də onun tətbiqində əmələ gələn diskret strukturların xassələrini öyrənən bölmədir. Bununla belə ən mühüm xarakteristikaları sonlu və ya hesabi qiymətlər alan obyektlər diskret strukturlar adlanır. Belə strukturlar sırasına məsələn, sonlu qruplar, sonlu qraflar, informasiyaları dəyişdirən bəzi riyazi modellər, sonlu avtomatlar, Tyurinq maşınları aiddir. Bu fınit (sonlu) xarakterli strukturlara misallardır. Diskret riyaziyyatın onları öyrənən bölməsi bəzən sonlu (fınit) riyaziyyat adlanır. Finit strukturlardan başqa diskret riyaziyyatda həm də sonsuz diskret strukturlar (məsələn, sonsuz cəbri sistemlər, sonsuz qraflar, sonsuz avtomatlar) öyrənilir.

Diskret riyaziyyatın elementləri çox qədimdən məlumdur: riyaziyyatın başqa bölmələri ilə paralel inkişaf edərək, onların tərkib hissəsi olmuşdur. Tam ədədlərin xassələri ilə əlaqədar məsələlər səciyyəvidir, sonralar bu məsələlər ədədlər nəzəriyyəsinin yaranmasına gətirib çıxarmışdır. Diskret riyaziyyatın inkişafının bu mərhələsi Diofant, Evklid, Pifaqor və Eratosfenin adı ilə bağlıdır. 17–18-ci əsrlərdə, əsasən, oyun məsələləri ilə bağlı kombinator analizinin elementləri və diskret ehtimal nəzəriyyəsi əmələ gəlmişdir. 18–19-cu əsrlərdə ədədlər nəzəriyyəsi, cəbr və həndəsənin ümumi problemləri ilə əlaqədar olaraq əslində diskret təbiətə malik olan cəbrin mahiyyətini və gələcək inkişafını təyin edən qrup, meydan və halqa kimi mühüm anlayışlar meydana çıxmışdır. 17–19-cu əsrlər ərzində diskret riyaziyyatın inkişafı K. Abel. E. Varinq, V. Hamilton, E. Qalua, A. Keli, J. Laqranj, A. Lejandr, P. Ferma və E. Eylerin adları ilə bağlıdır. 19–20-ci əsrlərdə riyazi düşüncələrin ciddiliyinə meyillik və riyaziyyat metodlarının analizi daha bir bölmənin — riyazi məntiqin ayrılmasına gətirmişdir. Bu zaman diskret riyaziyyatın problemləri ilə L. Brauer, C. Bul, N. Viner, K. Gödel. D. Hilbert, A. Çörç, K. Şennon məşğul olmuşlar.

XX əsrdə diskret riyaziyyatın inkişafına, əsasən, praktik ehtiyaclar səbəb olmuşdur. Müxtəlif problemləri riyazi metodlarla öyrənən yeni elm — kibernetika və onun nəzəri hissəsi olan riyazi kibernetika meydana gəldi. Riyazi kibernetika diskret riyaziyyatın ideya və məsələlərinin bir növ təchizedənidir. Belə ki, böyük hesablamalar tələb edən tətbiqi məsələlər, onların həlli üçün hesablama üsullarının yaradılmasını və inkişafını stimullaşdırdı ki, bu da hesablama riyaziyyatının yaranmasına və inkişafına səbəb oldu. "Hesablama" və "alqoritm" anlayışlarının analizi alqoritmlər nəzəriyyəsinin yaranmasına gətirdi. İnformasiyaların saxlanması, işlənməsi və ötürülməsi məsələləri informasiyalar nəzəriyyəsi, kodlaşdırma nəzəriyyəsi və nəzəri kriptoqrafiyanın meydana gəlməsinə kömək etmişdir. Riyaziyyatın daxili problemləri ilə yanaşı, iqtisadi və elektrotexnika məsələləri, qraflar nəzəriyyəsinin inkişafını tələb etdirdi. İşin təsviri və mürəkkəb idarəetmə sistemlərinin yaradılması məsələləri idarəetmə sistemləri nəzəriyyəsi və avtomatlar nəzəriyyəsi fənnini təşkil etdi.

Riyazi məntiq və çoxluqlar nəzəriyyəsi

[redaktə | mənbəni redaktə et]

Bu mövzular 19-cu əsrin sonlarından etibarən riyaziyyata daxil olmuşdur. Bu dövrə qədər çoxluqlar riyazi obyektlər hesab edilmirdi və məntiqi-riyazi isbatlar üçün istifadə olunsa da, fəlsəfəyə aid edilirdi və riyaziyyatçılar tərəfindən xüsusi olaraq öyrənilmirdi.

Eyni dövrdə riyaziyyatın müxtəlif sahələrində əsas riyazi obyektlərin əvvəlki intuitiv təriflərinin riyazi ciddiliyi təmin etmək üçün kifayət etmədiyi ortaya çıxdı. Bu cür intuitiv təriflərə misal olaraq "çoxluq obyektlərin toplusudur", "natural ədəd sayma üçün istifadə olunan şeydir", "nöqtə bütün istiqamətlərdə sıfır uzunluğa malik formadır", "əyri hərəkət edən nöqtənin buraxdığı izdir" və s.

Bu, riyaziyyatın əsaslı böhranının mənşəyidir.[12] Nəhayət, rəsmiləşdirilmiş çoxluq nəzəriyyəsi daxilində aksiomatik metodu sistemləşdirməklə riyaziyyatın əsas axınında həll edilmişdir. Kobud desək, hər bir riyazi obyekt bütün oxşar obyektlərin çoxluğu və bu obyektlərin malik olmalı olduğu xassələrlə müəyyən edilir. Məsələn, Peano arifmetikasında natural ədədlər "sıfır ədəddir", "hər bir ədəd unikal varisidir", "sıfırdan başqa hər bir ədədin özünəməxsus sələfi var" və bəzi mülahizə qaydaları ilə müəyyən edilir. Bu şəkildə müəyyən edilən obyektlərin "təbiəti" riyaziyyatçıların filosoflara buraxdığı fəlsəfi problemdir, hətta bir çox riyaziyyatçının bu təbiətlə bağlı fikirləri olduğu və öz rəylərindən — bəzən "intuisiya" da deyilən — araşdırma və sübut tapmaq üçün istifadə edirlər.

Bu yanaşma "məntiqləri" (yəni icazə verilən çıxarış qaydaları toplusunu), teoremləri, isbatları və s.-ni riyazi obyektlər hesab etməyə və onlar haqqında teoremləri isbat etməyə imkan verir. Məsələn, Gödelin natamamlıq teoremləri, kobud desək, təbii ədədləri ehtiva edən hər bir nəzəriyyədə doğru olan (daha geniş nəzəriyyədə isbat oluna bilən), lakin nəzəriyyə daxilində isbat olunmayan teoremlərin olduğunu iddia edir.

Riyaziyyatın əsaslarına bu cür yanaşma 20-ci əsrin birinci yarısında L. E. J. Brauerin rəhbərliyi altındakı riyaziyyatçılar orta qanunu istisna edən intuisiya məntiqini irəli sürmüşdür.

Bu problemlər və mübahisələr model nəzəriyyəsi (bəzi məntiqi nəzəriyyələrin digər nəzəriyyə daxilində modelləşdirilməsi), isbat nəzəriyyəsi, tip nəzəriyyəsi, hesablama nəzəriyyəsi və hesablamalı komplekslik nəzəriyyəsi kimi alt sahələrlə riyazi məntiqin xeyli genişlənməsinə səbəb oldu. Riyazi məntiqin bu aspektləri kompüterlərin yaranmasından əvvəl təqdim olunsa da, onların kompilyator dizaynında, proqramların sertifikatlaşdırılmasında, interaktiv isbat alətlərində və kompüter elminin digər aspektlərində istifadəsi öz növbəsində bu məntiqi nəzəriyyələrin genişlənməsinə töhfə verdi.[13]

Tətbiqi riyaziyyat

[redaktə | mənbəni redaktə et]

Tətbiqi riyaziyyat, adətən, elm, mühəndislik, biznes və sənayedə istifadə olunan riyazi metodlarla məşğul olur. Beləliklə, "tətbiqi riyaziyyat" xüsusi ixtisaslaşmış riyaziyyat elmidir. Tətbiqi riyaziyyat termini həm də riyaziyyatçıların praktiki məsələlərlə məşğul olduğu peşəkar ixtisası təsvir edir; praktiki məsələlərə diqqət yetirən bir peşə kimi tətbiqi riyaziyyat elm, mühəndislik və riyazi praktikanın digər sahələrində "riyazi modellərin formalaşdırılması, öyrənilməsi və istifadəsi"nə diqqət yetirir.

Keçmişdə praktik tətbiqlər riyazi nəzəriyyələrin inkişafına təkan vermiş, daha sonra ilk növbədə riyaziyyatın öz məqsədləri üçün inkişaf etdirdiyi saf riyaziyyatda öyrənmə mövzusuna çevrilmişdir. Beləliklə, tətbiqi riyaziyyatın fəaliyyəti saf riyaziyyatda aparılan tədqiqatlarla həyati şəkildə bağlıdır.

Statistika və digər qərar qəbuletmə elmləri

[redaktə | mənbəni redaktə et]

Tətbiqi riyaziyyat, nəzəriyyəsi riyazi şəkildə formalaşan statistika fənni ilə, xüsusən, ehtimal nəzəriyyəsi ilə əhəmiyyətli dərəcədə uzlaşır. Statistiklər (tədqiqat layihəsinin bir hissəsi kimi işləyirlər) təsadüfi seçim və sınaqların köməyilə "məntiqli məlumat yaradırlar";[14] statistik nümunə və ya sınaq layihələndirmə məlumatlarının təhlilini müəyyən edir (məlumatlar əlçatan olmamışdan əvvəl). Eksperimentlərdən və nümunələrdən əldə edilən məlumatları yenidən nəzərdən keçirərkən və ya müşahidə tədqiqatlarından əldə edilən məlumatları təhlil edərkən statistiklər modelləşdirmə sənətindən və qərar qəbul etmə nəzəriyyəsindən istifadə edərək "verilənlərə məna yükləyirlər" — model seçimi və qiymətləndirilməsi ilə; təxmin edilən modellər və ardıcıl proqnozlar yeni məlumatlar üzərində sınaqdan keçirilməlidir.[c]

Statistik nəzəriyyə statistik fəaliyyət riskini (gözlənilən itkini) minimallaşdırılması kimi qərar qəbuletmə problemlərini, məsələn, parametrlərin qiymətləndirilməsi, fərziyyələrin yoxlanılması və ən yaxşısının seçilməsi kimi problemləri öyrənir. Riyazi statistikanın bu ənənəvi sahələrində statistik qərar problemi müəyyən məhdudiyyətlər altında gözlənilən itki və ya xərc kimi məqsəd funksiyalarını minimuma endirməklə formulə edilir: Məsələn, sorğunun tərtib edilməsi çox vaxt verilmiş güvən səviyyəsi göstəricisi ilə əhalinin orta dəyərini qiymətləndirmək xərclərinin minimuma endirilməsini nəzərdə tutur.[15] Optimallaşdırmadan istifadə etdiyinə görə, statistikanın riyazi nəzəriyyəsi əməliyyatlar tədqiqi, idarəetmə nəzəriyyəsi və riyazi iqtisadiyyat kimi digər qərar qəbuletmə elmləri ilə ortaq maraq dairəsinə malikdir.[16]

Hesablama riyaziyyatı

[redaktə | mənbəni redaktə et]

Hesablama riyaziyyatı insanın ədədi qabiliyyəti üçün adətən çox böyük olan riyazi problemlərin həlli üsullarını təklif edir və öyrənir. Ədədi analiz, funksional analiz və yaxınlaşma nəzəriyyəsindən istifadə edərək təhlildə problemlərin həlli üsullarını öyrənir; ədədi analiz geniş şəkildə yuvarlaqlaşdırma xətalarına xüsusi diqqət yetirməklə yaxınlaşma və diskretləşdirmənin öyrənilməsini əhatə edir. Ədədi analiz və daha geniş mənada elmi hesablama da riyaziyyat elminin analitik olmayan mövzularını, xüsusən alqoritmik-matris və qrafik nəzəriyyəsini öyrənir. Hesablama riyaziyyatının digər sahələrinə kompüter cəbri və simvolik hesablama daxildir.

Riyazi fizika Hidroaeromexanika Riyazi analiz Optimallaşdırma Ehtimal nəzəriyyəsi Statistika
Riyazi maliyyə Oyunlar Nəzəriyyəsi Riyazi biologiya Riyazi kimya Riyazi iqtisadiyyat İdarəetmə nəzəriyyəsi

Riyaziyyat tarixinə daim artan abstraksiyalar silsiləsi kimi baxmaq olar. Təkamül baxımından desək, bir çox heyvanlar tərəfindən paylaşılan ilk abstraksiya,[17] ehtimal ki, ədədlərlə bağlı idi: iki alma kolleksiyasının və iki portağal kolleksiyasının (məsələn) ortaq bir şeyin olduğunun fərqinə varılması, yəni üzvlərinin sayı. Sümükdə tapılan rəqəmlərin sübut edildiyi kimi, tarixdən əvvəlki insanlar fiziki obyektlərin necə hesablanacağını bilməklə yanaşı, vaxt, günlər, fəsillər və ya illər kimi mücərrəd kəmiyyətləri də hesablamış ola bilərlər.[18][19]

Babillərə məxsus riyazi lövhə Plimpton 322, eramızdan əvvəl 1800-cü ilə aiddir.

Daha mürəkkəb riyaziyyat üçün dəlillər təxminən eramızdan əvvəl 3000-ci ilə qədər, babillilərmisirlilər vergi və digər maliyyə hesablamaları, tikinti və astronomiya üçün hesab, cəbr və həndəsədən istifadə etməyə başlayanda ortaya çıxmışdır.[20] Mesopotamiya və Misirdən gələn ən qədim riyazi mətnlər eramızdan əvvəl 2000–1800-cü illərdir. Bir çox erkən mətnlərdə Pifaqor üçlüyü qeyd olunur və nəticədə Pifaqor teoremi əsasən hesab və həndəsədən sonra ən qədim və geniş yayılmış riyazi anlayış kimi görünür. Babildə elementar hesaba (toplama, çıxma, vurma, bölmə) aid ilk arxeoloji qeydlərə rast gəlinir. Babillilər həm də "yerölçmə" sisteminə malik idilər və bucaqları və vaxtı ölçmək üçün bu gün də istifadə olunan altmışlıq say sistemindən istifadə edirdilər.[21]

Arximed burada təsvir olunan kiçiltmə üsulundan istifadə edərək, π-nin qiymətini təqribi hesablamışdır.

Eramızdan əvvəl 6-cı əsrdən başlayaraq Qədim Yunanıstanda Pifaqorçular, həmçinin qədim yunanlar riyaziyyatı özünəməxsus fənn kimi sistemli şəkildə öyrənməyə başladılar.[22] Təqribən eramızdan əvvəl 300-cü ildə Evklid hazırda riyaziyyatda istifadə olunan tərif, aksiom, teorem və ibatdan ibarət aksiomatik metodu təqdim etdi. Onun Başlanğıclar kitabı bütün dövrlərin ən uğurlu və effektiv dərsliyi hesab olunur.[22] Antik dövrün ən böyük riyaziyyatçısı çox vaxt Sirakuzalı Arximed (e.ə. 287–212) hesab edilir.[23] O fırlanma cisimlərinin səthinin sahəsini və həmini hesablamaq üçün düsturlar çıxardı və müasir diferensial və inteqral hesabından çox da fərqli olmayan üsulla sonsuz sıraların cəmindən istifadə etməklə parabolanın altındakı sahəni hesablamaq üçün kiçiltmə üsulundan istifadə etdi.[24] Yunan riyaziyyatının digər diqqətəlayiq nailiyyətləri konik kəsiklər (Perqalı Apolloni, e.ə. 3-cü əsr),[25] triqonometriya (Nikeili Hipparx, eramızdan əvvəl 2-ci əsr)[26] və cəbrin başlanğıclarıdır (Diofant, eramızın III əsri).[27]

Baxşali əlyazmasında istifadə olunan rəqəmlər eramızdan əvvəl II əsrdən eramızın II əsrinə aiddir.

Bu gün bütün dünyada istifadə edilən hindu-ərəb say sistemi və onun əməllərindən istifadə qaydaları eramızın birinci minilliyi ərzində Hindistanda inkişaf etmiş və İslam riyaziyyatı vasitəsilə Qərb dünyasına çatdırılmışdır. Hindistan riyaziyyatının digər diqqətəlayiq inkişaflarına sinus və kosinusun müasir tərifi və yaxınlaşması və sonsuz sıraların erkən forması daxildir.

əl-Xarəzminin Əl-cəbr kitabından bir səhifə
Leonardo Fibonaççi, 1-ci və 4-cü əsrlər arasında hind riyaziyyatçıları tərəfindən icad edilən hind-ərəb say sistemini Qərb dünyasına təqdim edən italyan riyaziyyatçısı.

İslamın Qızıl dövründə, xüsusilə 9-cu və 10-cu əsrlərdə riyaziyyat Yunan riyaziyyatı üzərində qurulan bir çox mühüm yeniliklərlə rastlaşdı. İslam riyaziyyatının ən diqqətçəkən nailiyyəti cəbrin inkişafı olmuşdur. İslam dövrünün digər nailiyyətləri arasında sferik triqonometriyada irəliləyişlər və ərəb say sisteminə onluq kəsri bildirən nöqtənin əlavə edilməsi daxildir.[28] Bu dövrün bir çox görkəmli riyaziyyatçılarına Əl-Xarəzmi, Ömər XəyyamNəsirəddin Tusi kimi alimlər də daxil idi.

Erkən müasir dövrdə Qərbi Avropada riyaziyyat sürətlə inkişaf etməyə başladı. 17-ci əsrdə İsaak Nyuton və Qotfrid Leybnis tərəfindən kalkulusun inkişafı riyaziyyatda inqilab yaratdı. Leonard Eyler 18-ci əsrin çoxsaylı teorem və kəşflərə töhfə verən ən görkəmli riyaziyyatçısı idi. 19-cu əsrin bəlkə də ən qabaqcıl riyaziyyatçısı cəbr, analiz, diferensial həndəsə, matris nəzəriyyəsi, ədədlər nəzəriyyəsi və statistika kimi sahələrə çoxsaylı töhfələr verən alman riyaziyyatçısı Karl Qausdur. 20-ci əsrin əvvəllərində Kurt Gödel özünün natamamlıq teoremlərini dərc edərək riyaziyyatı dəyişdirdi, hansı ki, hər hansı bir ardıcıl aksiomatik sistemin – hesabı təsvir etmək üçün kifayət qədər güclü olarsa – isbat olunmayan doğru müddəaları ehtiva edəcək.

O vaxtdan bəri riyaziyyat çox genişləndi və riyaziyyatla elm arasında qarşılıqlı səmərəli əlaqə yarandı. Riyazi kəşflər bu günə qədər davam etməkdədir. Mixail B. Sevryukun dediyinə görə, Amerika Riyaziyyat Cəmiyyətinin Bülleteninin 2006-cı il yanvar sayında "1940-cı ildən (MR-in fəaliyyətinin ilk ili) Mathematical Reviews (Riyazi İcmal) bazasına daxil edilmiş məqalə və kitabların sayı hazırda 1,9-dan çoxdur və hər il verilənlər bazasına 75 mindən çox element əlavə olunur. Bu okeandakı əsərlərin böyük əksəriyyətində yeni riyazi teoremlər və onların isbatları var."[29]

Yunan dilindəki "matematika" sözünün kökü máthēma (μάθημα) olub, bu da "öyrənilən",[30] "öyrənilən şey", yəni "öyrənmək" və "elm" mənalarını verir. "Matematika" sözü klassik dövrdə belə daha dar və texniki mənada, "riyazi çalışma" mənasında işlənirdi.[31] Onun sifət qarşılığı mathēmatikós (μαθηματικός), "öyrənmə ilə əlaqəli" və ya "çalışqan" mənasını verir və bu da eynilə "riyazi" mənasını verir. Xüsusilə, matēmatikḗ tékhnē (μαθηματικὴ τέχνη; latınca: ars mathematica) "riyazi məharət" mənasını verirdi.

Eynilə, Pifaqorçuluqdakı iki əsas təfəkkür məktəbindən biri mathēmatikoi (μαθηματικοί) kimi tanınırdı — o zamanlar müasir "riyaziyyatçılar" mənasını deyil, "öyrənənlər" mənasını verirdi.

Təxminən 1700-cü ilə qədər latın və ingilis dilində riyaziyyat termini daha çox "riyaziyyat" deyil, "astrologiya" (və ya bəzən "astronomiya") mənasını verirdi; indiki Məna tədricən indiki 1500-dən 1800-ə dəyişdi. Bu, bir neçə səhv tərcümə ilə nəticələndi. Məsələn, Müqəddəs Avqustinin xristianların astroloqlar mənasını verən riyaziyyatdan çəkinməli olduğu barədə xəbərdarlığı bəzən "riyaziyyatçıların qınanması" mənasında, səhv tərcümə olunur.[32]

Fransız cəm forması les mathématiques (və daha az istifadə olunan tək törəmə la mathématique) kimi ingilis dilində görünən cəm forması yunanca ta mathēmatiká (τὰ μαθηματ) cəminə əsaslanan Latın neyter cəm riyaziyyatına (Sisero) qayıdır. Aristotel (e.ə. 384–322) tərəfindən istifadə edilmiş və təqribən "riyazi hər şey" mənasını verir, baxmayaraq ki, ingilis dilinin yalnız mathematic(al) sifətini götürməsi və fizika və metafizika nümunəsindən sonra riyaziyyat adını yenidən formalaşdırması inandırıcıdır. yunancadan miras qalmışdır.[33] İngilis dilində riyaziyyat adı tək fel qəbul edir. Tez-tez riyaziyyata və ya Şimali Amerikada math kimi qısaldılır.[34]

Riyaziyyat fəlsəfəsi

[redaktə | mənbəni redaktə et]

Riyaziyyatın dəqiq tərifi və ya epistemoloji statusu haqqında ümumi razılıq yoxdur.[6][7] Aristotel riyaziyyatı "kəmiyyət elmi" kimi təyin etmiş və bu tərif 18-ci əsrə qədər məşhur olmuşdur. Bununla belə, Aristotel qeyd edirdi ki, təkcə kəmiyyətə diqqət yetirmək riyaziyyatı fizika kimi elmlərdən ayırmaya bilər; onun fikrincə, abstraksiya və kəmiyyətin real nümunələrdən "fikrən ayrıla bilən" bir xüsusiyyət kimi öyrənilməsi riyaziyyatı digərlərindən ayırır.[35]

19-cu əsrdə riyaziyyatın tədqiqi ciddi şəkildə artdı, kəmiyyət və ölçü ilə dəqiq əlaqəsi olmayan qrup nəzəriyyəsi və proyektiv həndəsə kimi mücərrəd mövzulara toxunmağa başlayanda riyaziyyatçılar və filosoflar müxtəlif yeni təriflər verməyə başladılar.[35]

Peşəkar riyaziyyatçıların çoxu riyaziyyatın tərifi ilə maraqlanmır və ya onu qeyri-müəyyən hesab edir. Hətta riyaziyyatın sənət və ya elm olması ilə bağlı ortaq bir qərar yoxdur.[7] Bəziləri sadəcə deyirlər ki, "riyaziyyat riyaziyyatçıların işidir".[6]

Üç aparıcı növ

[redaktə | mənbəni redaktə et]

Bu gün riyaziyyatın öndə gələn üç yanaşma növü, logisist, intuisionist və formalist adlanır və hər biri fərqli bir fəlsəfi düşüncə məktəbini əks etdirir. Bunların hamısının ciddi qüsurları var, heç biri geniş şəkildə qəbul edilmir və heç bir uzlaşma mümkün görünmür.[36]

Logisist təriflər

[redaktə | mənbəni redaktə et]

Riyaziyyatın məntiq baxımından ilk tərifi Benjamin Peyrs (1870) idi. O riyaziyyatı "lazımi nəticələr çıxaran elm" adlandırırdı.[37] Principia Mathematica'da Bertran RasselAlfred Nort Vaythed məntiq kimi tanınan fəlsəfi proqramı irəli sürdülər və bütün riyazi anlayışların, müddəaların və prinsiplərin tamamilə simvolik məntiq baxımından müəyyən edilə və isbat oluna biləcəyini sübut etməyə çalışdı. Riyaziyyatın məntiqi tərifinə misal olaraq Rasselin "Riyaziyyat bütövlükdə simvolik məntiqdir" (1903) əsəridir.[38]

İntuisionist təriflər

[redaktə | mənbəni redaktə et]

Riyaziyyatçı L. E. J. Brauerin fəlsəfəsindən irəli gələn intuisioist təriflər riyaziyyatı müəyyən zehni proseslərlə eyniləşdirir. İntuisionist tərifərə misal olaraq "Riyaziyyat bir-birinin ardınca konstruksiyaların həyata keçirilməsindən ibarət olan zehni fəaliyyətdir".[36] İntuisionizmin özəlliyi ondan ibarətdir ki, o, digər təriflərə görə etibarlı hesab edilən bəzi riyazi fikirləri rədd edir.

Xüsusilə, digər riyaziyyat fəlsəfələri inşa edilə bilməsələr də mövcudluğu sübuta yetirilə bilən obyektlərə icazə versə də, intuitivizm yalnız insanın həqiqətən qura biləcəyi riyazi obyektlərə icazə verir. İntuisiyaçılar da xaric edilmiş orta qanunu rədd edirlər (məsələn, ). Baxmayaraq ki, bu mövqe onları uyğun sübut metodu kimi ziddiyyətli sübutun ümumi bir variantını, yəni -dən -nin çıxarmasını rədd etməyə məcbur edir. Bu mövqe onları ziddiyyətli sübutun ümumi bir variantını, yəni -dən -nin çıxarışını ala bilərlər. Onlar üçün -dən daha zəif ifadədir.[39]

Formalist təriflər

[redaktə | mənbəni redaktə et]

Formalist təriflər riyaziyyatı simvollar və onların üzərində əməlaparma qaydaları ilə müəyyən edir. Haskel Karri riyaziyyatı sadəcə olaraq "formal sistemlər elmi" kimi təyin etmişdir.[40] Rəsmi sistem simvollar və ya işarələr toplusudur və simvolların düsturlara necə birləşdiriləcəyinə dair bəzi qaydalardır. Formal sistemlərdə aksiom sözü "öz-özünə aşkar olan həqiqət" kimi adi mənadan fərqli xüsusi məna daşıyır və sistemin qaydaları müəyyən bir formal sistemə daxil olan işarələrin birləşməsinə istinad etmək üçün istifadə olunur.

Riyaziyyat elm kimi

[redaktə | mənbəni redaktə et]
Karl Fridrix Qauss, riyaziyyatçıların şahı kimi tanınır

Alman riyaziyyatçısı F. Qauss riyaziyyatı "elmlərin şahı" adlandırırdı.[41] Bu yaxınlarda Markus du Sautoy riyaziyyatı "elmin şahı… elmi kəşfin arxasında duran əsas hərəkətverici qüvvə" adlandırdı.[42] Filosof Karl Popper qeyd edirdi ki, "riyazi nəzəriyyələrin çoxu fizika və biologiyanın nəzəriyyələri kimi hipotetiko-deduktivdir: buna görə də saf riyaziyyat fərziyyələri olan təbiət elmlərinə son zamanlar daha yaxın görünür".[43] Popper həmçinin qeyd etmişdir ki, "Mən bir sistemin təcrübi və ya elmi olduğunu, o halda qəbul edəcəyəm ki, o, təcrübə ilə sınaqdan keçirilə bilsin".[44]

Riyaziyyat fiziki elmlərin bir çox sahələri ilə, xüsusən də fərziyyələrin məntiqi nəticələrinin tədqiqi ilə çox oxşardır. İntuisiya və eksperimentasiya həm riyaziyyatda, həm də (digər) elmlərdə fərziyyələrin formalaşmasında da rol oynayır. Eksperimental riyaziyyatın riyaziyyat daxilindəki əhəmiyyəti artmaqda davam edir və hesablama və simulyasiya həm elmlərdə, həm də riyaziyyatdakı rolu getdikcə artır.

Bir sıra müəlliflər hesab edirlər ki, riyaziyyat bir elm deyil, çünki o, empirik dəlillərə əsaslanmır.[45][46][47][48] Bu mövzuda riyaziyyatçıların fikirləri müxtəlifdir. Bir çox riyaziyyatçılar[49] hesab edirlər ki, öz sahələrini elm adlandırmaq onun estetik tərəfinin əhəmiyyətini və ənənəvi yeddi liberal sənətdə tarixini azaltmaq deməkdir; başqaları hesab edirlər ki, onun elmlərlə əlaqəsinə məhəl qoymamaq riyaziyyat və onun elm və mühəndislikdəki tətbiqləri arasındakı interfeysin riyaziyyatda çoxlu inkişafa səbəb olduğuna göz yummaqdır.[50] Bu baxış fərqinin ortaya çıxmasının bir yolu, riyaziyyatın yaradıldığı (sənətkarlıqda olduğu kimi) və ya kəşf edildiyi (elmdə olduğu kimi) ilə bağlı fəlsəfi mübahisələrdədir. Praktikada riyaziyyatçılar, adətən, ümumi səviyyədə alimlərə görə qruplaşdırılır, lakin daha incə səviyyələrdə ayrılırlar. Bu, riyaziyyat fəlsəfəsində nəzərdən keçirilən çoxsaylı məsələlərdən biridir.[51]

Riyaziyyat müxtəlif çoxsaylı problemlər üzündən meydana çıxmışdır. Əvvəlcə bunlar ticarət, torpaq ölçmə, memarlıq və daha sonra

Colored dice with white background
Colored dice with checkered background
İsaak Nyuton (solda) və Qotfrid Vilhelm Leybnis sonsuz kiçilənlər hesabını yaratmışlar.

astronomiyayla bağlı idi; bu gün bütün elmlər riyaziyyat üçün problemlər irəli sürür, bir çox problemlər də riyaziyyatın öz daxilində ortaya çıxır. Məsələn, fizik Riçard Feynman riyazi mülahizə və fiziki anlayışın birləşməsindən istifadə edərək kvant mexanikasının trayektoriya-inteqral formulyasiyasını icad etdi və riyaziyyat bugünkü sim nəzəriyyəsinə, təbiətin dörd fundamental qüvvəsini birləşdirməyə cəhd edən, lakin hələ də təkmilləşməkdə olan elmi nəzəriyyəyə ilham verməkdə davam edir.[52]

Bəzi riyaziyyatlar yalnız onu ilhamlandıran sahəyə aiddir və bu sahədə gələcək problemlərin həlli üçün tətbiq olunur. Ancaq çox vaxt bir sahədən ilhamlanan riyaziyyat bir çox sahələrdə faydalı olduğunu sübut edir və riyazi anlayışların ümumi fonduna qoşulur. Çox vaxt saf riyaziyyat və tətbiqi riyaziyyat arasında fərq qoyulur. Bununla belə, saf riyaziyyat mövzuları çoxlu tətbiqlərə malikdir. Məsələn, kriptoqrafiyada ədədlər nəzəriyyəsi tətbiq olunur.

Bu diqqətəlayiq fakt, hətta "ən saf" riyaziyyatın da çox vaxt praktik tətbiqlərə malik olduğunu ortaya qoyur. Fizik Yucin Viqner bu fenomeni "riyaziyyatın ağlasığmaz effektivliyi" adlandırır.[10] Riyaziyyat fəlsəfəçisi Mark Steyner bu mövzuda geniş yazıb və etiraf edir ki, riyaziyyatın tətbiq oluna bilməsi "naturalizm üçün bir problemdir".[53] Riyaziyyat fəlsəfəçisi Meri Lenq üçün fiziki dünyanın kainatın hüdudlarından kənarda mövcud olan səbəbsiz riyazi varlıqların diktəsinə uyğun hərəkət etməsi "xoş təsadüfdür".[54] Digər tərəfdən, bəzi antirealistlər üçün riyazi şeylər arasında əldə edilən əlaqələr kainatdakı cisimlər arasında əldə edilən əlaqələri əks etdirir, buna görə də "xoş təsadüf" yoxdur.[54]

Əksər tədqiqat sahələrində olduğu kimi, elm dövründə də bilik partlayışı ixtisaslaşmaya gətirib çıxardı: indi riyaziyyatda yüzlərlə ixtisaslaşmış sahə var və riyaziyyatın bölmələr üzrə ən son təsnifatı 46 səhifədən ibarətdir.[55] Hətta tətbiqi riyaziyyatın bir neçə sahəsi praktik sahələrlə birləşərək statistika, əməliyyatlar tədqiqi və kompüter elmi kimi müstəqil fənlərə çevrilmişdir.

Riyaziyyata meyilli olanlar üçün çox vaxt riyaziyyatın müəyyən bir estetik tərəfi var. Bir çox riyaziyyatçılar riyaziyyatın zərifliyindən, onun daxili estetikasından və daxili gözəlliyindən danışır, onun sadəliyini və ümumiliyini təqdir edirlər. Evklidin sonsuz sayda sadə ədədlər olduğunu isbat etməsi kimi sadə və zərif bir isbatda və sürətli Furye çevrilməsi kimi hesablamanı sürətləndirən zərif ədədi üsulda gözəllik var. Q. H. Hardi Riyaziyyatçının üzrxahlığı əsərində bu estetik mülahizələrin özlüyündə saf riyaziyyatın öyrənilməsinə haqq qazandırmaq üçün yetərli olduğuna inamını ifadə etmişdir. Əhəmiyyətlilik, gözlənilməzlik, qaçılmazlıq və qənaət kimi meyarları riyazi estetikaya töhfə verən amillər kimi müəyyən etmişdir.[56] Riyazi tədqiqat çox zaman riyazi obyektin kritik xüsusiyyətlərini axtarır. Bu xüsusiyyətlərlə obyektin səciyyələndirilməsi kimi ifadə edilən teorem mükafatdır. Xüsusilə yığcam və aşkar riyazi arqumentlərin nümunələri Martin AyqnerGünter Siqler tərəfindən Kitabdan isbatlar kitabında dərc edilmişdir.

Əyləncəli riyaziyyatın populyarlığı bir çoxlarının riyazi sualları həll etməkdən həzz aldığının başqa bir əlamətidir. Digər sosial ekstremallıqda isə filosoflar riyaziyyat fəlsəfəsində riyazi isbatın təbiətinə oxşar olaraq problemlər tapmağa davam edirlər.[57]

İşarələmələr, dil və ciddilik

[redaktə | mənbəni redaktə et]
Leonard Eyler bu gün istifadə olunan riyazi işarələrin bir çoxunu yaratmış və populyarlaşdırmışdır.

Bu gün istifadə olunan riyazi qeydlərin əksəriyyəti 16-cı əsrə qədər icad edilmişdir.[58] Bundan əvvəl riyaziyyat riyazi kəşfləri məhdudlaşdıran sözlərlə yazılırdı.[59] Eyler (1707–1783) bu gün istifadə olunan bir çox işarələri irəli sürmüşdür. Müasir işarələr riyaziyyatı peşəkarlar üçün çox asanlaşdırır, lakin yeni başlayanlar çox vaxt bunu çətin hesab edirlər. Barbara Okleyə görə, bunu riyazi fikirlərin təbii dildən daha mücərrəd və daha çox şifrəli olması ilə əlaqələndirmək olar.[60] İnsanların tez-tez sözü uyğun gələn fiziki obyektlə (məsələn, inək) eyniləşdirə bildiyi təbii dildən fərqli olaraq, riyazi simvollar mücərrəddir və heç bir fiziki analoqu yoxdur.[61] Riyazi simvollar həm də adi sözlərdən daha yüksək şifrələnir, yəni bir simvol bir sıra müxtəlif əməlləri və ya fikirləri kodlaya bilər.[62]

Riyazi dili başa düşmək yeni başlayanlar üçün çətin ola bilər, çünki hətta və ya və yalnız kimi ümumi terminlər gündəlik nitqdə olduğundan daha dəqiq məna daşıyır və açıq və sahə kimi digər terminlər onların əhatə etmədiyi xüsusi riyazi ideyalara istinad edir. Laymen mənaları Riyaziyyat dilinə homeomorfizm və inteqrasiya kimi riyaziyyatdan kənar mənası olmayan bir çox texniki terminlər də daxildir. Bundan əlavə, "ancaq və ancaq" üçün iff ("if and only if") kimi qısa ifadələr riyazi jarqona aiddir. Xüsusi işarələrin və texniki lüğətin səbəbi var: riyaziyyat gündəlik nitqdən daha çox dəqiqlik tələb edir. Riyaziyyatçılar dil və məntiqin bu dəqiqliyinə "ciddilik" deyirlər.

Riyazi sübutların etibarlılığı prinsipcə ciddilik məsələsidir. Riyaziyyatçılar öz teoremlərinin sistematik mülahizə vasitəsilə aksiomlardan irəli gəlməsini istəyirlər. Bu, mövzunun tarixində bir çox halları baş vermiş səhv intuisiyalara əsaslanan səhv "teoremlərdən" uzaqlaşmaq üçündür.[d] Riyaziyyatda gözlənilən sərtlik səviyyəsi zamanla dəyişdi: yunanlar ətraflı arqumentlər gözləyirdilər, lakin İsaak Nyutonun dövründə tətbiq olunan üsullar daha az ciddilikdə idi. Nyutonun istifadə etdiyi təriflərə xas olan problemlər 19-cu əsrdə diqqətli təhlilin və formal isbatların yenidən canlanmasına səbəb olardı. Riyaziyyatın səhv başa düşülməsi riyaziyyatın bəzi ümumi yanlış təsəvvürlərinin diqqətəlayiq səbəbidir. Bu gün riyaziyyatçılar kompüterin köməyi ilə isbatlar haqqında öz aralarında mübahisə etməyə davam edirlər. Böyük hesablamaları yoxlamaq çətin olduğundan, istifadə olunan kompüter proqramı səhv olarsa, bu cür sübutlar səhv ola bilər.[e][63] Digər tərəfdən, isbat alətləri əl ilə yazılmış isbatda verilə bilməyən bütün detalların yoxlanılmasına imkan yaradır və Feyt-Tompson teoremi kimi uzun isbatların düzgünlüyünə əminlik verir.[f]

Ənənəvi olaraq aksiomlar "öz-özünə aydın olan həqiqətlər" kimi düşünülürdü, lakin bu fikir problemlidir.[64] Formal səviyyədə aksiom yalnız aksiomatik sistemin bütün törəmə düsturları kontekstində daxili məna daşıyan simvollar silsiləsidir. Hilbertin proqramının məqsədi bütün riyaziyyatı möhkəm aksiomatik əsaslar üzərində qurmaq idi, lakin Gödelin natamamlıq teoreminə görə, hər bir (kifayət qədər güclü) aksiomatik sistemin həll olunmayan düsturları var; və buna görə də riyaziyyatın son aksiomatizasiyası mümkün deyil. Buna baxmayaraq, riyaziyyat çox vaxt (formal məzmununa görə) bəzi aksiomatizasiyada çoxluq nəzəriyyəsindən başqa bir şey deyil, o mənada təsəvvür edilir ki, hər bir riyazi ifadə və ya isbat çoxluqlar nəzəriyyəsi daxilində düsturlara çevrilə bilər.[65]

Riyaziyyat mükafatları

[redaktə | mənbəni redaktə et]
Filds medalının ön tərəfi

Şübhəsiz ki, riyaziyyat üzrə ən prestijli mükafat 1936-cı ildə təsis edilən və dörd ildən bir (İkinci Dünya Müharibəsi istisna olmaqla) dörd nəfərə verilən Filds medalıdır.[66][67]

1978-ci ildə təsis edilmiş riyaziyyat üzrə Volf mükafatı,[68] digər böyük beynəlxalq mükafat, Abel mükafatı 2002-ci ildə təsis edilmiş[69] və ilk dəfə 2003-cü ildə verilmişdir.[70] Çern medalı nailiyyətləri qiymətləndirmək üçün 2010-cu ildə təqdim edilmişdir.[71] Bu mükafatlar mühüm yeniliklər və ya hər hansı bir sahədəki görkəmli problemin həllinə görə verilir.

"Hilbert problemləri" adlanan 23 açıq problemdən ibarət məşhur siyahı 1900-cü ildə alman riyaziyyatçısı David Hilbert tərəfindən tərtib edilmişdir.[72] İndi bu problemlərdən ən azı on üçü həll olunub.[72] 2000-ci ildə "Minilliyin problemləri" adlanan yeddi mühüm problemdən ibarət yeni siyahı dərc olundu. Onlardan yalnız biri, Riman hipotezi Hilbertin problemlərindən birini təkrarlayır. Bu problemlərdən hər hansı birinin həllinə görə 1 milyon dollar mükafat verilir.[73]

Hal-hazırda bu problemlərdən yalnız biri, Puankare hipotezi rus riyaziyyatçısı Qriqori Perelman tərəfindən həll edilmişdir.[74] 2006-cı ildə Science jurnalı Perelmanın Puankare hipotezini isbat etməsini ilin elmi sıçrayışı kimi qeyd etmişdir.[75]

  1. Evklidin sağlığındakı fiziki görünüşünə aid heç bir rəsm və ya təsvir antik dövrdən bu günümüzə qədər gəlib çatmamışdır. Buna görə də Evklidin sənət əsərlərindəki təsviri rəssamın təxəyyülündən asılıdır (bax: Evklid).
  2. Buraya dairəvi silindrlər və müstəvilərlə kəsişmələri olan konus hissələr daxildir.
  3. Fizika, kompüter elmi və digər riyazi elmlər kimi statistika da tətbiqi riyaziyyatın bir qolu olmaqdan əlavə, həm də müstəqil bir sahədir. Tədqiqatçı-fiziklər və kompüter alimləri kimi tədqiqatçı-statistiklər də riyaziyyatçı-alimlərdir. Bir çox statistikin riyaziyyat üzrə dərəcəsi var və bəzi statistiklər də riyaziyyatçıdır.
  4. Formal isbatda səhv ola biləcək sadə nümunələr üçün yanlış isbata baxın.
  5. İsbatda baş verən böyük hesablamanın etibarlı hesab edilməsi üçün, ümumiyyətlə, müstəqil proqram təminatından istifadə etməklə iki hesablama tələb olunur.
  6. Tam isbatı ehtiva edən kitab 1000-dən çox səhifədən ibarətdir.
  1. 1 2 "mathematics, n Arxivləşdirilib 2019-11-16 at the Wayback Machine.". Oxford English Dictionary. Oxford University Press. 2012. Archived from the original on November 16, 2019. Retrieved June 16, 2012. "The science of space, number, quantity, and arrangement, whose methods involve logical reasoning and usually the use of symbolic notation, and which includes geometry, arithmetic, algebra, and analysis".
  2. Kneebone, G. T. (1963). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey Arxivləşdirilib 2017-01-07 at the Wayback Machine. Dover. p. 4. ISBN 978-0-486-41712-7. "Mathematics … is simply the study of abstract structures, or formal patterns of connectedness".
  3. LaTorre, Donald R.; Kenelly, John W.; Biggers, Sherry S.; Carpenter, Laurel R.; Reed, Iris B.; Harris, Cynthia R. (2011). Calculus Concepts: An Informal Approach to the Mathematics of Change Arxivləşdirilib 2017-01-07 at the Wayback Machine. Cengage Learning. p. 2. ISBN 978-1-4390-4957-0. "Calculus is the study of change—how things change, and how quickly they change".
  4. Ramana (2007). Applied Mathematics Arxivləşdirilib 2022-07-12 at the Wayback Machine. Tata McGraw–Hill Education. p. 2.10. ISBN 978-0-07-066753-2. "The mathematical study of change, motion, growth or decay is calculus".
  5. Ziegler, Günter M. (2011). "What Is Mathematics?" Arxivləşdirilib 2017-01-07 at the Wayback Machine. An Invitation to Mathematics: From Competitions to Research. Springer. p. vii. ISBN 978-3-642-19532-7.
  6. 1 2 3 Mura, Roberta (December 1993). "Images of Mathematics Held by University Teachers of Mathematical Sciences". Educational Studies in Mathematics. 25 (4): 375–85. doi:10.1007/BF01273907. JSTOR 3482762 Arxivləşdirilib 2022-07-12 at the Wayback Machine. S2CID 122351146.
  7. 1 2 3 Tobies, Renate & Helmut Neunzert (2012). Iris Runge: A Life at the Crossroads of Mathematics, Science, and Industry Arxivləşdirilib 2017-01-07 at the Wayback Machine. Springer. p. 9. ISBN 978-3-0348-0229-1. [I]t is first necessary to ask what is meant by mathematics in general. Illustrious scholars have debated this matter until they were blue in the face, and yet no consensus has been reached about whether mathematics is a natural science, a branch of the humanities, or an art form.
  8. "لماذا سميت الرياضيات بهذا الاسم؟ ما هو المعنى الدقيق للرياضيات؟". Quora.
  9. Peterson 2001, p. 12
  10. 1 2 Wigner, Eugene (1960). "The Unreasonable Effectiveness of Mathematics in the Natural Sciences". Communications on Pure and Applied Mathematics. 13 (1): 1–14. Bibcode:1960CPAM…13….1W. doi:10.1002/cpa.3160130102. 28 fevral 2011 tarixində orijinalından arxivləşdirilib.
  11. Wise, David. "Eudoxus' Influence on Euclid's Elements with a close look at The Method of Exhaustion" Arxivləşdirilib 2019-06-01 at the Wayback Machine. jwilson.coe.uga.edu. 1 iyun 2019 tarixində orijinalından arxivləşdirilib 1.06.2019.
  12. Luke Howard Hodgkin & Luke Hodgkin, A History of Mathematics, Oxford University Press, 2005.
  13. Halpern, Joseph; Harper, Robert; Immerman, Neil; Kolaitis, Phokion; Vardi, Moshe; Vianu, Victor (2001). "On the Unusual Effectiveness of Logic in Computer Science" Arxivləşdirilib 2021-03-03 at the Wayback Machine (PDF).
  14. Rao, C. R. (1997) Statistics and Truth: Putting Chance to Work, World Scientific. ISBN 978-981-02-3111-8
  15. Rao, C. R. (1981). "Foreword". In Arthanari, T. S.; Dodge, Yadolah (eds.). Mathematical programming in statistics. Wiley Series in Probability and Mathematical Statistics. New York: Wiley. pp. vii–viii. ISBN 978-0-471-08073-2. MR 0607328.
  16. Whittle (1994, pp. 10–11, 14–18): Whittle, Peter (1994). "Almost home". In Kelly, F. P. (ed.). Probability, statistics and optimisation: A Tribute to Peter Whittle (previously "A realised path: The Cambridge Statistical Laboratory up to 1993 (revised 2002)" ed.). Chichester: John Wiley. pp. 1–28. ISBN 978-0-471-94829-2. 19 dekabr 2013 tarixində orijinalından arxivləşdirilib.
  17. Dehaene, Stanislas; Dehaene-Lambertz, Ghislaine; Cohen, Laurent (August 1998). "Abstract representations of numbers in the animal and human brain". Trends in Neurosciences. 21 (8): 355–61. doi:10.1016/S0166–2236(98)01263–6. PMID 9720604. S2CID 17414557.
  18. See, for example, Raymond L. Wilder, Evolution of Mathematical Concepts; an Elementary Study, passim
  19. Zaslavsky, Claudia. (1999). Africa Counts: Number and Pattern in African Culture Arxivləşdirilib 2021-03-31 at the Wayback Machine. Chicago Review Press. ISBN 978-1-61374-115-3. OCLC 843204342. 31 mart 2021 tarixində orijinalından arxivləşdirilib
  20. Kline 1990, Chapter 1.
  21. Boyer 1991, "Mesopotamia" pp. 24–27.
  22. 1 2 Heath, Thomas Little (1981) [1921]. A History of Greek Mathematics: From Thales to Euclid. New York: Dover Publications. p. 1. ISBN 978-0-486-24073-2.
  23. Boyer 1991, "Archimedes of Syracuse" p. 120.
  24. Boyer 1991, "Archimedes of Syracuse" p. 130.
  25. Boyer 1991, "Apollonius of Perga" p. 145
  26. Boyer 1991, "Greek Trigonometry and Mensuration" p. 162.
  27. Boyer 1991, "Revival and Decline of Greek Mathematics" p. 180.
  28. Saliba, George. (1994). A history of Arabic astronomy: planetary theories during the golden age of Islam Arxivləşdirilib 2021-03-31 at the Wayback Machine. New York University Press. ISBN 978-0-8147-7962-0. OCLC 28723059. 31 mart 2021 tarixində orijinalından arxivləşdirilib.
  29. Sevryuk 2006, pp. 101–09
  30. "mathematic (n.)". Online Etymology Dictionary.7 mart 2013 tarixində orijinalından arxivləşdirilib
  31. Both meanings can be found in Plato, the narrower in Republic 510c 24 fevral 2021 tarixində Wayback Machine tərəfindən orijinalından arxivləşdirilib, lakin Platon riyaziyyat sözündən istifadə etməmişdir; Aristotel bunu şərh etdi. μαθηματική. Liddell, Henry George; Scott, Robert; A Greek–English Lexicon at the Perseus Project. OED Online, "Mathematics".
  32. Boas, Ralph (1995) [1991]. "What Augustine Didn't Say About Mathematicians". Lion Hunting and Other Mathematical Pursuits: A Collection of Mathematics, Verse, and Stories by the Late Ralph P. Boas, Jr. Cambridge University Press. p. 257. ISBN 978-0-88385-323-8. 20 may 2020 tarixində orijinalından arxivləşdirilib
  33. The Oxford Dictionary of English Etymology, Oxford English Dictionary, sub "mathematics", "mathematic", "mathematics"
  34. "maths, n." and "math, n.3" Arxivləşdirilib 2020-04-04 at the Wayback Machine 4 aprel 2020-ci ildə Wayback Machine-də arxivləşdirilib. Oxford English Dictionary, on-line version (2012).
  35. 1 2 Franklin, James (July 8, 2009). Philosophy of Mathematics. pp. 104–106. ISBN 978-0-08-093058-9. 6 sentyabr 2015 tarixində orijinalından arxivləşdirilib.
  36. 1 2 Cajori, Florian (1893). A History of Mathematics. American Mathematical Society (1991 reprint). pp. 285–86 Arxivləşdirilib 2017-01-07 at the Wayback Machine. ISBN 978-0-8218-2102-2
  37. Snapper, Ernst (September 1979). "The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism". Mathematics Magazine. 52 (4): 207–16. doi:10.2307/2689412. JSTOR 2689412.
  38. Peirce, Benjamin (1882). Linear Associative Algebra. Van Nostrand. p. 1.
  39. Russell, Bertrand (1903). The Principles of Mathematics. p. 5. Retrieved June 20, 2015.
  40. Iemhoff, Rosalie (March 4, 2020). Zalta, Edward N. (ed.). Intuitionism in the Philosophy of Mathematics. Metaphysics Research Lab, Stanford University. 31 mart 2021 tarixində orijinalından arxivləşdirilib – via Stanford Encyclopedia of Philosophy.
  41. Haskell Brooks Curry (1951). Outlines of a Formalist Philosophy of Mathematics Arxivləşdirilib 2017-01-07 at the Wayback Machine. Elsevier. p. 56. ISBN 978-0-444-53368-5. Aç, səhifə 56 Arxivləşdirilib 2022-03-21 at the Wayback Machine
  42. Waltershausen 1965, p. 79.
  43. du Sautoy, Marcus (June 25, 2010). "Nicolas Bourbaki". A Brief History of Mathematics. Event occurs at min. 12:50. BBC Radio 4. 16 dekabr 2016 tarixində orijinaldan arxivləşdirilib.
  44. Popper, Karl (2002) 1959. The Logic of Scientific Discovery. Abingdon-on-Thames: Routledge. p. [18]. ISBN 978-0-415-27843-0.
  45. Bishop, Alan (1991). "Environmental activities and mathematical culture". Mathematical Enculturation: A Cultural Perspective on Mathematics Education. Norwell, Massachusetts: Kluwer Academic Publishers. pp. 20–59. ISBN 978-0-792-31270-3. 25 dekabr 2020 tarixində orijinalından arxivləşdirilib.
  46. Shasha, Dennis Elliot; Lazere, Cathy A. (1998). Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Springer. p. 228.
  47. Nickles, Thomas (2013). "The Problem of Demarcation". Philosophy of Pseudoscience: Reconsidering the Demarcation Problem. Chicago: The University of Chicago Press. p. 104.
  48. Pigliucci, Massimo (2014). "Are There 'Other' Ways of Knowing?". Philosophy Now. 13 may 2020 tarixində orijinalından arxivləşdirilib.
  49. See, for example Bertrand Russell's statement "Mathematics, rightly viewed, possesses not only truth, but supreme beauty …" in his History of Western Philosophy
  50. "The science checklist applied: Mathematics". undsci.berkeley.edu. 27 oktyabr 2019 tarixində orijinalından arxivləşdirilib.
  51. Borel, Armand (March 2017). "Mathematics: Art and Science". EMS Newsletter. 3 (103): 37–45. doi:10.4171/news/103/8. ISSN 1027–488X.
  52. Meinhard E. Mayer (2001). "The Feynman Integral and Feynman's Operational Calculus". Physics Today. 54 (8): 48. Bibcode:2001PhT….54h..48J Arxivləşdirilib 2021-09-27 at the Wayback Machine. doi:10.1063/1.1404851.
  53. Steiner, Mark (1998). The Applicability of Mathematics as a Philosophical Problem. Cambridge, Mass: Harvard University Press. p. 176. ISBN 0674043987.
  54. 1 2 Leng, Mary (2010). Mathematics and Reality. Oxford University Press. p. 239. ISBN 978–0199280797.
  55. "Mathematics Subject Classification 2010" (PDF). 14 may 2011 tarixində orijinalından arxivləşdirilib (PDF).
  56. Hardy, G. H. (1940). A Mathematician's Apology. Cambridge University Press. ISBN 978-0-521-42706-7.
  57. Gold, Bonnie; Simons, Rogers A. (2008). Proof and Other Dilemmas: Mathematics and Philosophy. MAA.
  58. "Earliest Uses of Various Mathematical Symbols". 20 fevral 2016 tarixində orijinalından arxivləşdirilib.
  59. Kline 1990, p. 140, on Diophantus; p. 261, on Vieta.
  60. Oakley 2014, p. 16: "Focused problem solving in math and science is often more effortful than focused-mode thinking involving language and people. This may be because humans haven't evolved over the millennia to manipulate mathematical ideas, which are frequently more abstractly encrypted than those of conventional language."
  61. Oakley 2014, p. 16: "What do I mean by abstractness? You can point to a real live cow chewing its cud in a pasture and equate it with the letters c–o–w on the page. But you can't point to a real live plus sign that the symbol '+' is modeled after – the idea underlying the plus sign is more abstract."
  62. Oakley 2014, p. 16: "By encryptedness, I mean that one symbol can stand for a number of different operations or ideas, just as the multiplication sign symbolizes repeated addition."
  63. Ivars Peterson, The Mathematical Tourist, Freeman, 1988, ISBN 978-0-7167-1953-3. p. 4 "A few complain that the computer program can't be verified properly", (in reference to the Haken–Apple proof of the Four Color Theorem).
  64. "The method of 'postulating' what we want has many advantages; they are the same as the advantages of theft over honest toil." Bertrand Russell (1919), Introduction to Mathematical Philosophy, New York and London, p. 71. 20 iyun 2015 tarixində Wayback Machine-də orijinalından arxivləşdirilib.
  65. Patrick Suppes, Axiomatic Set Theory, Dover, 1972, ISBN 978-0-486-61630-8. p. 1, "Among the many branches of modern mathematics set theory occupies a unique place: 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."
  66. Monastyrsky 2001, p. 1: "The Fields Medal is now indisputably the best known and most influential award in mathematics."
  67. Riehm 2002, pp. 778–82
  68. "The Wolf Prize". Wolf Foundation. 12 yanvar 2020 tarixində orijinalından arxivləşdirilib.
  69. "About the Abel Prize | The Abel Prize" Arxivləşdirilib 2022-04-14 at the Wayback Machine. abelprize.no.
  70. "Abel Prize | mathematics award | Britannica" Arxivləşdirilib 2020-01-26 at the Wayback Machine. www.britannica.com.
  71. "Chern Medal Award | International Mathematical Union (IMU)" Arxivləşdirilib 2010-08-25 at the Wayback Machine. www.mathunion.org.
  72. 1 2 "Hilbert's Problems: 23 and Math" Arxivləşdirilib 2022-01-23 at the Wayback Machine. Simons Foundation. may 6, 2020.
  73. "The Millennium Prize Problems | Clay Mathematics Institute" Arxivləşdirilib 2015-07-03 at the Wayback Machine. www.claymath.org.
  74. "Millennium Problems | Clay Mathematics Institute" Arxivləşdirilib 2018-12-20 at the Wayback Machine. www.claymath.org.
  75. "Prize for Resolution of the Poincaré Conjecture Awarded to Dr. Grigoriy Perelman" (Press-reliz). Clay Mathematics Institute. March 18, 2010. March 22, 2010 tarixində orijinalından (PDF) arxivləşdirilib. İstifadə tarixi: November 13, 2015. The Clay Mathematics Institute (CMI) announces today that Dr. Grigoriy Perelman of St. Petersburg, Russia, is the recipient of the Millennium Prize for resolution of the Poincaré conjecture.

Ədəbiyyat siyahısı

[redaktə | mənbəni redaktə et]

Əlavə oxu üçün

[redaktə | mənbəni redaktə et]