162 لىرا
ماتېماتىكا
ماتېماتىكا مىقدار، قۇرۇلما ۋە قانۇنىيەتنىڭ پېنى؛ بارلىق پەنلەرنىڭ ئورتاق تىلى. ئىسلام دۇنياسىدا مىراس ھوقۇقى، قىبلە، كالېندار ۋە سودا ئېھتىياجلىرى ئالگېبرا، تىرىگونومېتىرىيە ۋە ئونلۇق سىستېمىنى تەرەققىي قىلدۇردى. بۈگۈن ماتېماتىكا ئېنىقلىقنىڭ چېگرىلىرى (گۆدېل) ۋە چەكسىزلىكنىڭ قاتلاملىرىنى (كانتور) مۇنازىرە قىلىدۇ؛ ئىسلام تەپەككۇرى بولسا «مىزان» بىلەن كائىناتنىڭ ئۆلچىگىلى بولىدىغانلىقىنى باشتىنلا قوبۇل قىلىدۇ.
سەۋىيىلەر
ھەر تارماق ئۈچ سەۋىيىدە: ئاساسىي، ئوتتۇرا، يۇقىرى. سەۋىيە كارتىسىنى چېكىڭ؛ تېمىلار، ھەل قىلىنغان مىساللار ۋە شەخسىي تەرەققىياتقا تۆھپىلىرى ئېچىلىدۇ.
تۆت ئەمەل، كەسىرلەر، پىرسەنتلەر، نىسبەتلەر ۋە ئېغىزاكى ھېساب. ھېسابلىغۇچنىڭ قاچان خاتالاشقانلىقىنى سېزىش.
بۇ سەۋىيىنىڭ تېمىلىرى
- كەسىرلەر ۋە ئونلۇق كەسىرلەر
- پىرسەنت ۋە نىسبەت-پروپورسىيە
- ئېغىزاكى ھېساب ۋە مۆلچەرلەش
- بىرلىك ئايلاندۇرۇش
- بۆلۈنۈش، ئەڭ چوڭ ئورتاق بۆلگۈچى، ئەڭ كىچىك ئورتاق ھەسسىلىك
- ئاددىي ستاتىستىكا: ئوتتۇرىچە، مېدىئان
شەخسىي تەرەققىيات ۋە ھاياتقا تۆھپىسى
پىرسەنت، ئۆسۈم ۋە ئېتىبار ھېسابىنى قىلالايدىغان كىشى قەرز ئېلىش قارارىنى قورقۇش بىلەن ئەمەس ھېساب بىلەن بېرىدۇ.
بىر نەتىجىنىڭ ئەقىلگە مۇۋاپىق ياكى ئەمەسلىكىنى شۇئان سېزىش؛ ھېسابات قەغىزىدىكى خاتالىقنى تۇتۇش.
كىچىك خاتالىقلارنىڭ نەتىجىنى بۇزىدىغانلىقىنى كۆرۈش تەپسىلاتقا كۆڭۈل بۆلۈش ئادىتىنى يېتىلدۈرىدۇ.
ھەل قىلىنغان مىساللار
162 لىرا
ئوتتۇرىچە 61.7؛ مېدىئان 35
x² + 10x = 39 تەڭلىمىسى گېئومېتىرىيىلىك ھەل قىلىنىدۇ: تەرىپى x بولغان كۇۋادراتنىڭ ئىككى يېنىغا 5x لىق تىك تۆت بۇلۇڭلار قوشۇلىدۇ، بۇلۇڭ 5×5 = 25 بىلەن تولۇقلىنىدۇ؛ (x+5)² = 64، x = 3. ئالگېبرا (ئەل-جەبر) سۆزى بۇ «تولۇقلاش» مەشغۇلاتىدىن كەلگەن.
ئاساسىي ئۇقۇملار
سان سىستېمىسى
ئورۇنلۇق ئونلۇق سىستېما ۋە نۆل ھىندىستاندا تۇغۇلدى، خارەزمى بىلەن سىستېمىلاشتى، ياۋروپاغا «ئەرەب رەقەملىرى» سۈپىتىدە ئۆتتى. كاشى ئونلۇق كەسىرلەرنى سىستېمىلىق ئىشلەتتى.
ئالگېبرا
نامەلۇمغا ئىسىم قويۇپ ئۇنىڭ بىلەن ئەمەل قىلىش. خارەزمى تەڭلىمە تۈرلىرىنى تۈرگە ئايرىدى؛ ئۆمەر ھەييام ئۈچىنچى دەرىجىنى گېئومېتىرىيە بىلەن يەشتى؛ كەرەجى ئالگېبرانى گېئومېتىرىيەدىن مۇستەقىللەشتۈردى.
گېئومېتىرىيە ۋە تىرىگونومېتىرىيە
ئېۋكلىدنىڭ ئاكسىئومالىق ئۇسۇلى؛ سىنۇس، تانگېنس جەدۋەللىرى؛ قىبلە ۋە ئاسترونومىيە ئۈچۈن شار تىرىگونومېتىرىيىسى. تۇسى تىرىگونومېتىرىيەنى مۇستەقىل پەن قىلدى.
ئېھتىماللىق ۋە ستاتىستىكا
ئېنىقسىزلىقنى ئۆلچەش: تەلەي ئويۇنلىرىدىن (پاسكال، فېرما) سۇغۇرتا ۋە سۈنئىي ئەقىلگىچە. ئىسلام ھوقۇقىدىكى «غالىب زەن» ئۇقۇمى ئېھتىماللىق تەپەككۇرىنىڭ دەسلەپكى شەكلى.
مىساللار ۋە ھېسابلار
x = 3
30000 / 140000 / 70000
2π ≈ 6.2831853071795865
بۇ تارماقنىڭ كىچىك سىنىقى
كاشى 2π نى قانچە توغرا ئونلۇق خانە بىلەن ھېسابلىدى؟
كالامچىلار ئەمەلىي چەكسىزنى نېمىشقا رەت قىلدى؟
«ئالگورىزىم» سۆزى كىمنىڭ ئىسمىدىن كەلگەن؟
ئاتالغۇ لۇغىتى
- پەرائىز
- مىراس ئۈلۈشلىرىنى ھېسابلايدىغان فىقھ تارمىقى؛ ئالگېبرانىڭ تەرەققىياتىغا تۈرتكە بولدى.
- ئەمەلىي چەكسىز
- تاماملانغان بىر پۈتۈن سۈپىتىدە مەۋجۇت چەكسىزلىك؛ كانتورنىڭ توپلام نەزەرىيىسىنىڭ ئاساسى.
- تولۇقسىزلىق تېئورېمىسى
- گۆدېل: يېتەرلىك كۈچلۈك ئىزچىل سىستېمىلاردا ئىسپاتلىغىلى بولمايدىغان توغرا ھۆكۈملەر بار.
- شار تىرىگونومېتىرىيىسى
- شار يۈزىدىكى ئۈچبۇلۇڭلارنىڭ ھېسابى؛ قىبلە ۋە ئاسترونومىيە ئۈچۈن تەرەققىي قىلدۇرۇلدى.
- غالىب زەن
- فىقھتا ئېنىقلىق بولمىغاندا كۈچلۈك ئېھتىماللىق بىلەن ھۆكۈم بېرىش؛ ئېھتىماللىق تەپەككۇرىنىڭ دەسلەپكى شەكلى.
- ئونلۇق كەسىر
- كەسىرلەرنى 10 نىڭ دەرىجىلىرى بىلەن يېزىش؛ كاشى سىستېمىلىق ئىشلەتتى، ستېۋىن ياۋروپادا تارقاتتى.
ئىسلام ۋە ماتېماتىكا
بۇ بۆلۈم تارماقنىڭ ئىسلام تەپەككۇرى بىلەن بولغان مۇناسىۋىتىنى ئايرىم تۇتىدۇ: مەنبە تېكىستلەر، مەدەنىيەت تارىخى، سېلىشتۇرما كارتىلىرى ۋە يېڭى نەزەرىيەلەرنىڭ ماسلىق باھاسى. تەسۋىرلىگۈچى، ھۆكۈم چىقارمايدۇ.
قۇرئان ۋە ھەدىستە
ئىسلام مەدەنىيىتىدىكى تەرەققىياتى
خارەزمىنىڭ ئەل-جەبر ۋەل-مۇقابەلەسى (تەخمىنەن 830) تەڭلىمە يېشىشنى مۇستەقىل پەن قىلدى؛ «ئالگورىزىم» ئىسمىدىن، «ئالگېبرا» كىتابىدىن كەلگەن.
بەتتانى سىنۇسنى، ئەبۇل ۋەفا تانگېنس ۋە سېكانسنى ئېنىقلىدى؛ تۇسى كىتاب شەكلىل-قەتتائ بىلەن تىرىگونومېتىرىيەنى ئاسترونومىيەدىن ئايرىدى؛ كاشى كوسىنۇس تېئورېمىسىنى ئىپادىلىدى.
سابىت ئىبنى قۇررە دوست سانلار تېئورېمىسى؛ كەرەجى بىنوم كوئېففىتسىيېنتلىرى؛ ئىبنى ھەيسەم تۆتىنچى دەرىجىلەرنىڭ يىغىندىسى؛ ئىبنۇل-بەننا كومبىناتسىيە فورمۇلىلىرى.
لوگىكا → ھېساب → ھەندەسە → ھەيئەت تەرتىپى؛ ئوسمانلىدا ئەلى قۇشچى ۋە گەلەنبەۋى ماتېماتىكا بىلەن لوگىكىنى بىللە ئوقۇتتى.
ئالىملار
ئالگېبرا ۋە ئالگورىزىم؛ ھىندى رەقەملىرى بىلەن ھېساب كىتابى؛ جۇغراپىيە ۋە ئاسترونومىيە جەدۋەللىرى.
كۇب تەڭلىمىلەرنىڭ گېئومېتىرىيىلىك يېشىمى ۋە تۈرگە ئايرىلىشى؛ جالالىي كالېندارى؛ پاراللېل پوستۇلات ئۈستىدە خىزمەت.
π نىڭ 16 خانىسى، ئونلۇق كەسىرلەر، sin 1° ئۈچۈن تەكرارلاش ئۇسۇلى، مىفتاھۇل-ھىساب.
ئارف ئىنۋارىئانتى، ئارف ھالقىلىرى؛ ئالگېبرا ۋە توپولوگىيەدە تۈركىيەدىن دۇنيا ئەدەبىياتىغا كىرگەن زامانىۋى ماتېماتىك.
پەن تەپەككۇرى ↔ ئىسلام تەپەككۇرى
ماتېماتىكىلىق ئوبيېكتلار قەيەردە؟
پلاتونچىلىق: سانلار بايقىلىدىغان ئابستراكت رېئاللىقلار؛ فورمالىزم: ئىنسان ئىجادى بەلگە ئويۇنلىرى. مۇنازىرە داۋاملىشىدۇ.
چەكسىزلىك
كانتور: ئەمەلىي چەكسىز توپلاملار بار ۋە ئوخشىمىغان چوڭلۇقتا (ℵ₀، ℵ₁…). زامانىۋى ماتېماتىكا بۇنى قوبۇل قىلىدۇ.
ئېنىقلىق
گۆدېل (1931): ئارىفمېتىكىنى ئۆز ئىچىگە ئالغان ئىزچىل ھەر سىستېمىدا ئىسپاتلىغىلى بولمايدىغان ھەقىقەتلەر بار؛ ماتېماتىكا ئۆز ئېنىقلىقىنى ئۆز ئىچىدىن كاپالەتلەندۈرەلمەيدۇ.
تەلەي ۋە تەقدىر
ئېھتىماللىق ئېنىقسىزلىقنى ئۆلچەيدۇ؛ تاسادىپىيلىق فىزىكىدا ئاساسىي بولۇشى مۇمكىن (كۋانت).
يېڭى نەزەرىيەلەر ۋە ماسلىق باھاسى
ئىزچىل ۋە يېتەرلىك كۈچلۈك ھەر فورمال سىستېما تولۇقسىز؛ ئۆز ئىزچىللىقىنى ئىسپاتلىيالمايدۇ.
ئەقىلنىڭ چەكلىرىگە دائىر كەمتەرلىك بىلەن ماس كېلىدۇ؛ بەزى يازغۇچىلار بۇنى ئاللاھنىڭ بىلىمىنىڭ چەكسىزلىكى بىلەن سېلىشتۇرىدۇ (ئوخشىتىش سەۋىيىسىدە).
چەكسىز توپلاملار ۋە ئوخشىمىغان چەكسىزلىك دەرىجىلىرى؛ توپلام نەزەرىيىسىنىڭ ئاساسى.
كالامنىڭ ئەمەلىي چەكسىز رەت قىلىشى بىلەن كۆرۈنەرلىك زىددىيەت؛ ئابستراكت-فىزىكىلىق ئايرىمى بىلەن كۆپ مۇتەپەككۇر كېلىشتۈرىدۇ. كانتور ئۆزىمۇ ئىلاھىياتلىق تەپسىرلەر قىلغان.
دېتېرمىنىستىك سىستېمىلار باشلانغۇچ شەرتلەرگە ھەددىدىن زىيادە سەزگۈر بولۇشى مۇمكىن؛ ئۇزۇن مۇددەتلىك ئالدىن كۆرۈش مۇمكىن بولمايدۇ (كېپىنەك ئېففېكتى).
ئالدىن كۆرگىلى بولماسلىق سەۋەبسىزلىك ئەمەس؛ سۈننەتۇللاھ تەرتىپى ئىچىدە ئىنسان بىلىمىنىڭ چېكىنى كۆرسىتىدۇ.
ئابستراكت ماتېماتىكا فىزىكىلىق دۇنيانى نېمىشقا بۇنچە ياخشى تەسۋىرلەيدۇ؟ (ۋىگنېر، 1960)
«مىزان» ۋە كائىناتنىڭ چۈشىنىشكە بولىدىغان قىلىپ يارىتىلغانلىقى ئەقىدىسى تەبىئىي جاۋاب بېرىدۇ؛ پەن ئۈچۈن ئوچۇق سوئال.
Lean، Coq ۋە چوڭ تىل مودېللىرى تېئورېما ئىسپاتلايدۇ؛ 2024-يىلى IMO سەۋىيىسىدە نەتىجىلەر.
قوراللىق؛ ئىلىمنىڭ يېيىلىشى سۈپىتىدە رىغبەتلەندۈرۈلىدۇ. سوئاللار: چۈشىنىشسىز ئىسپات قانچىلىك «بىلىم»؟
قارارلار ئېھتىماللىق تەقسىماتلىرى بىلەن چىقىرىلىدۇ؛ مالىيە ۋە سۇغۇرتا خەتەرگە باھا بېكىتىدۇ.
سۇغۇرتا (تەكافۇل مودېلى بىلەن) قوبۇل كۆرىدۇ؛ تەخمىنىي ھاسىلە مەھسۇلاتلار ۋە قىمارغا ئوخشاش ئېنىقسىزلىق (غەرەر) رەت قىلىنىدۇ. ئېھتىماللىق بىلىمى تەقدىر بىلەن زىت كەلمەيدۇ.
ماتېماتىكىلىق رېئاللىقنىڭ تەبىئىتى ئۈستىدە داۋاملىشىۋاتقان پەلسەپىۋى مۇنازىرە.
ھەر ئىككى قاراشنىڭ ئىسلام تەپەككۇرىدا تەڭدىشى بار (ئىخۋانۇس-سافا پلاتونچى، ئىبنى سىنا ئابستراكتچى)؛ ئەقىدە بىرلا جاۋابنى زورلىمايدۇ.
تۈپ سانلارغا ئاساسلانغان شىفىرلاش؛ كۋانت كومپيۇتېرلىرىغا چىداملىق يېڭى ئالگورىزىملار.
مەخپىيەتلىكنى قوغداش ئىسلام ئەخلاقىدا قىممەت؛ ناچار قوللىنىش نىيەتكە مۇناسىۋەتلىك، قورالغا ئەمەس.
باھالار زامانىۋى مۇسۇلمان ئالىملار ۋە فىقھ ئاكادېمىيەلىرىنىڭ كەڭ تارقالغان قاراشلىرىنى خۇلاسىلەيدۇ؛ بىرلا رەسمىي قاراش يوق. «ماس»: ئەقىدە بىلەن زىددىيەت كۆرۈلمەيدۇ. «ئىجتىھادقا باغلىق»: ئالىملار ئارىسىدا ئوخشىمىغان قاراشلار بار. «زىددىيەتلىك»: كەڭ تارقالغان تەپسىر بىلەن توقۇنۇشىدۇ ياكى پەلسەپىۋى دەۋا كۆتۈرىدۇ.
بۈگۈن
تۈركىيە، ئىران ۋە مالايسىيادا ماتېماتىكا ئولىمپىئادىلىرى ۋە تەتقىقات ئىنستىتۇتلىرى ئۆسمەكتە؛ مەريەم مىرزاخانى (فىلدس مېدالى، 2014) ۋە جاھىت ئارفقا ئوخشاش ئىسىملار ئىلھام مەنبەسى. جازانىسىز مالىيە ماتېماتىكىسى ۋە تەكافۇل مودېللىرى فىقھنىڭ سانلىق قوراللار بىلەن ئۇچراشقان ساھەلىرى.
باھا
ماتېماتىكا كائىناتنىڭ ئوقۇغىلى بولىدىغانلىقىغا بولغان ئىشەنچ بىلەن قىلىنىدۇ. بۇ ئىشەنچنىڭ نامى ئىسلام تەپەككۇرىدا «مىزان»، پەندە «تەبىئەت قانۇنى»؛ ئىككىسىنىڭ قايسىسى تۈپ چۈشەندۈرۈش ئىكەنلىكى ئوقۇرمەننىڭ دۇنيا قارىشىغا باغلىق.