Àwọn Ìlànà Àkànṣe Nínú Ìṣirò
A sábà máa ń wo ìṣirò gẹ́gẹ́ bí àkójọpọ̀ àwọn fọ́múlá àti ìṣirò, ṣùgbọ́n lábẹ́ rẹ̀ ni ayé èrò tó lọ́rọ̀, tó lẹ́wà, tó sì máa ń yani lẹ́nu nígbà míì wà. Irú “idán” kan nínú ìṣirò ni ìpìlẹ̀: gbólóhùn kan tó jẹ́ òótọ́ nípasẹ̀ ọgbọ́n ìrònú tó lágbára. Síbẹ̀síbẹ̀, kì í ṣe gbogbo ìpìlẹ̀ ni a ṣẹ̀dá dọ́gba. Àwọn ìpìlẹ̀ kan ni a kà sí àrà ọ̀tọ̀ nítorí pé àwọn àbájáde wọn dà bí ohun tí a kò retí, àwọn ẹ̀rí wọn kò wọ́pọ̀, tàbí àwọn ìtumọ̀ wọn gbòòrò débi pé wọ́n yí ọ̀nà tí a gbà lóye nọ́mbà, ààyè, àti àwọn àpẹẹrẹ padà. Nínú àpilẹ̀kọ yìí, a ó jíròrò ìtumọ̀ “ìpìlẹ̀ àrà ọ̀tọ̀,” wo àwọn àpẹẹrẹ olókìkí kan, àti ìdí tí irú àwọn ìpìlẹ̀ bẹ́ẹ̀ fi ṣe pàtàkì sí ìlọsíwájú ìmọ̀ sáyẹ́ǹsì.
Kí ni Ìlànà Àkànṣe?
A le kà ìpìlẹ̀ kan sí ohun àrà ọ̀tọ̀ fún ọ̀pọ̀lọpọ̀ ìdí. Àkọ́kọ́, ó lè mú ìparí èrò kan jáde tí ó tako èrò inú ojoojúmọ́. Èkejì, ó lè so àwọn agbègbè ìṣirò méjì tí ó jọ pé ó yàtọ̀ síra, fún àpẹẹrẹ, sísopọ̀ geometry pọ̀ mọ́ aljebra tàbí ìmọ̀ nọ́mbà pẹ̀lú ìṣàyẹ̀wò. Ẹ̀kẹta, ìpìlẹ̀ náà lè ní ẹ̀rí tí ó lẹ́wà gan-an: kúkúrú ṣùgbọ́n ó lágbára, tàbí kí ó díjú débi pé ó lè nílò àwọn ojú ìwé mẹ́wàá tàbí ọgọ́rọ̀ọ̀rún pàápàá.
Ọ̀rọ̀ náà “àkànṣe” níbí kò túmọ̀ sí pé ìlànà pàtàkì kan ṣoṣo ló wà, ṣùgbọ́n ó túmọ̀ sí pé ìlànà náà ní ànímọ́ pàtàkì kan tó mú kí ó yàtọ̀ láàrín àwọn ìlànà mìíràn. Àwọn ìlànà kan tiẹ̀ máa ń di àmì àṣà ìjìnlẹ̀ nítorí pé wọ́n sábà máa ń tọ́ka sí wọn, wọ́n máa ń kẹ́kọ̀ọ́ wọn, wọ́n sì máa ń gbóríyìn fún wọn.
Ìlànà Pythagorean : Àtijọ́ ṣùgbọ́n Ó Lárinrin Nígbà Gbogbo
Ọ̀kan lára àwọn ìlànà tó gbajúmọ̀ jùlọ ni Ẹ̀kọ́ Pythagorean tó sọ pé fún onígun mẹ́ta ọ̀tún pẹ̀lú àwọn ẹ̀gbẹ́ onígun mẹ́rin (a) àti (b) àti hypotenuse (c)), àwọn ìlànà wọ̀nyí ni:
\[
a^2 + b^2 = c^2
\]
Bó tilẹ̀ jẹ́ pé ó jẹ́ ìlànà àtijọ́, àìlẹ́gbẹ́ rẹ̀ wà nínú gbogbo àgbáyé rẹ̀. Ìlànà yìí kan onírúurú àgbékalẹ̀: ìwọ̀n ìjìnnà, ìtọ́sọ́nà, ìmọ̀ ẹ̀rọ ìlú, àwòrán kọ̀ǹpútà, àti físíìsì pàápàá. Èyí tó tún fani mọ́ra jù ni pé, ọgọ́rọ̀ọ̀rún ẹ̀rí ti ìlànà yìí ni a ti ṣàwárí jálẹ̀ ìtàn, láti ọ̀nà onígun mẹ́rin àtijọ́ sí ọ̀nà aljebra òde òní. Kò wọ́pọ̀ kí ìlànà pàtàkì kan ní ọ̀pọ̀lọpọ̀ ẹ̀rí, èyí sì fi ìjìnlẹ̀ èrò yìí hàn.
Ìlànà Ìpìlẹ̀ ti Ìṣirò: Àwọn Ìdámọ̀ Àwọn Nọ́mbà Tí A Kò Lè Rípò
Nínú ìmọ̀ nọ́mbà, Ìlànà Ìṣirò Àkọ́kọ́ wà: gbogbo nọ́mbà odidi tí ó ju 1 lọ ni a lè kọ gẹ́gẹ́ bí àbájáde àwọn nọ́mbà prime ní ọ̀nà àrà ọ̀tọ̀, yàtọ̀ sí ìtòlẹ́sẹẹsẹ àwọn okùnfà. Fún àpẹẹrẹ:
\[
60 = 2^2 \igba 3 \igba 5
\]
Àìlẹ́gbẹ́ ti ẹ̀kọ́ yìí wà ní ìpìlẹ̀ rẹ̀ fún gbogbo ìmọ̀ nọ́mbà. Láìsí “àìlẹ́gbẹ́” rẹ̀ (àìlẹ́gbẹ́ ní ìtumọ̀ àfihàn ìpín-pípẹ́ tí kò ṣe kedere ), ọ̀pọ̀lọpọ̀ àwọn èrò mìíràn yóò wó lulẹ̀: ìpínyà, ìlọ́po méjì, GCD-LCM, àti ìkọ̀kọ̀ òde òní pàápàá. Nínú ayé oní-nọ́mbà, ààbò ìkọ̀kọ̀ bíi RSA sinmi lórí àwọn ànímọ́ àwọn nọ́mbà pàtàkì àti ìṣòro ti ṣíṣe àkójọ àwọn nọ́mbà ńlá. Nítorí náà, ẹ̀kọ́ yìí kìí ṣe pé ó yàtọ̀ ní ti ìmọ̀ nìkan ṣùgbọ́n ó tún ní ipa ìmọ̀-ẹ̀rọ tó jinlẹ̀.
Ìlànà Àìpéye Gödel: Àìlẹ́gbẹ́ kan tó mi ọgbọ́n ìrònú jìgìjìgì
Tí ó bá jẹ́ pé ìlànà kan wà tí ó nímọ̀lára “ìmọ̀ ọgbọ́n orí” àti ìṣirò, nígbà náà, Ìmọ̀ Ìròyìn Àìpéye Gödel jẹ́ ẹni tí ó lágbára. Ní kúkúrú, Gödel fi hàn pé nínú ètò èyíkéyìí tí ó lágbára tó láti ní ìṣirò, àwọn gbólóhùn òtítọ́ wà tí a kò le fìdí rẹ̀ múlẹ̀ nínú ètò náà. Ìyẹn ni pé, kò sí ètò axiomatic tí ó le pé (gbogbo òtítọ́ ni a le fìdí rẹ̀ múlẹ̀) tí ó sì dúró ṣinṣin (kò sí ìtakora) tí ètò náà bá lágbára tó.
Àrà ọ̀tọ̀ ti ẹ̀kọ́ yìí wà nínú ipa rẹ̀ lórí ìrètí àwọn onímọ̀ ìṣirò ti “yanjú” ìmọ̀ ìṣirò pẹ̀lú ètò axiom kan ṣoṣo, pípé. Gödel fi àwọn ààlà tó wà nínú ẹ̀rí tó péye hàn. Bó tilẹ̀ jẹ́ pé ó dà bí ohun tí kò ṣeé fojú rí, èrò yìí ti nípa lórí ìrònú, ìmọ̀ kọ̀ǹpútà, àti òye wa nípa òtítọ́ ìmọ̀ ìṣirò.
Ìlànà Ìkẹyìn Fermat: Gbólóhùn Rọrùn, Ẹ̀rí Ńlá
Ìlànà Ìkẹyìn Fermat sọ pé kò sí àwọn nọ́mbà odidi rere \(a\), \(b\), àti \(c\) tó tẹ́lọ́rùn:
\[
a^n + b^n = c^n
\]
fún \(n > 2\). Gbólóhùn náà rọrùn gan-an, ó tilẹ̀ dà bí ìyàtọ̀ nínú Ẹ̀kọ́ Pythagorean. Síbẹ̀síbẹ̀, ẹ̀kọ́ yìí ti “dán” àwọn onímọ̀ ìṣirò wò fún ohun tó lé ní 350 ọdún. Kò tíì di ọdún 1990 tí Andrew Wiles fi ṣàṣeyọrí láti fi hàn pé ó lo àwọn irinṣẹ́ ìṣirò òde òní tó jìnnà sí ìṣòro ìpilẹ̀ṣẹ̀, títí kan ẹ̀kọ́ nípa àwọn ìlà elliptic àti àwọn ìrísí modular.
Àìlẹ́gbẹ́ ẹ̀kọ́ yìí kò wà nínú ìtàn gígùn rẹ̀ nìkan, ṣùgbọ́n ó tún wà nínú ẹ̀rí rẹ̀, èyí tí ó fi òtítọ́ pàtàkì kan hàn: ìmọ̀ ìṣirò sábà máa ń gbilẹ̀ ní gbogbo ẹ̀ka ẹ̀kọ́. Fífi gbólóhùn kan hàn nígbà míìrán nílò ẹ̀kọ́ tó lọ́jú gan-an.
Ìlànà Bayes : Àkànṣe Nítorí Ó Yí Ọ̀nà Tí A Gbà Lòye Padà
Nínú àwọn statistiki àti ìṣeeṣe , Ìlànà Bayes pèsè ọ̀nà láti ṣe àtúnṣe àwọn ìgbàgbọ́ tí a gbé kalẹ̀ lórí ìwífún tuntun. Ìrísí gbogbogbòò rẹ̀ ni:
\[
P(A|B) = \frac{P(B|A)P(A)}{P(B)}
\]
Ìlànà yìí yàtọ̀ nítorí pé kìí ṣe ohun èlò ìṣirò nìkan ni ó ń ṣiṣẹ́, ṣùgbọ́n ó tún ń ṣiṣẹ́ gẹ́gẹ́ bí ìlànà fún ìrònú. Ní àkókò òde òní, a ń lo Ìlànà Bayes nínú ìwádìí ìṣègùn, ìṣàlẹ̀ spam email, àwọn ètò ìbánigbófò, àti pàápàá ẹ̀kọ́ ẹ̀rọ. Ó kọ́ni pé "ìṣeéṣe" kìí ṣe àṣeyọrí lásán ṣùgbọ́n ó tún lè dúró fún ìwọ̀n ìgbẹ́kẹ̀lé tí ó ń sunwọ̀n síi bí dátà ṣe ń kó jọ.
Ìlànà lórí Àìlópin: Cantor àti Ìwọ̀n Àìlópin
Georg Cantor ṣe àgbékalẹ̀ èrò kan tó yani lẹ́nu: kì í ṣe gbogbo àìlópin ló tóbi tó bẹ́ẹ̀. Fún àpẹẹrẹ, àwọn nọ́mbà odidi àti àwọn nọ́mbà onínúure ni a lè kà, ṣùgbọ́n àwọn nọ́mbà gidi kò ṣeé kà. Ọ̀kan lára àwọn àbájáde tó gbajúmọ̀ Cantor ni àríyànjiyàn onígun mẹ́rin, èyí tó fihàn pé kò ṣeé ṣe láti kọ gbogbo àwọn nọ́mbà gidi sílẹ̀ pátápátá.
Àìlẹ́gbẹ́ àwọn ìlànà Cantor wà nínú ìwà wọn tí kò bá òye mu. Ọ̀pọ̀ ènìyàn rò pé “àìlópin ni àìlópin,” ṣùgbọ́n ìmọ̀ ìṣirò fi hàn pé àwọn ìpele àìlópin wà. Èrò yìí kò ṣe pàtàkì nínú ìmọ̀ ìṣirò tí a ṣètò nìkan , ó tún ní ipa lórí ìpìlẹ̀ ìmọ̀ ìṣirò òde òní.
Kí ló dé tí Ìmọ̀ Àkànṣe Fi Ṣe Pàtàkì?
Àwọn ìlànà aláìlẹ́gbẹ́ kó ipa pàtàkì nínú ìdàgbàsókè ìmọ̀ ìṣirò àti sáyẹ́ǹsì. Àkọ́kọ́, wọ́n ń ṣí àwọn ètò ìkọ̀kọ̀ tí a kò lè rí sí àkíyèsí lásán. Èkejì, wọ́n sábà máa ń ṣí àwọn pápá tuntun sílẹ̀ tàbí kí wọ́n fún àwọn ìsopọ̀ lágbára láàrín wọn. Ẹ̀kẹta, àwọn ìlànà aláìlẹ́gbẹ́ máa ń kọ́ ìrònú pàtàkì: a máa ń kọ́ pé ìmọ̀ inú máa ń jẹ́ àṣìṣe nígbà míì, àti pé ẹ̀rí tó lágbára nìkan ni ó ń pinnu òtítọ́.
Jù bẹ́ẹ̀ lọ, àwọn ìlànà aláìlẹ́gbẹ́ máa ń fúnni ní ìṣírí. Nígbà tí èrò kékeré kan bá lè mú àwọn àbájáde tó gbòòrò wá, a máa rí i pé ìṣirò kì í ṣe irinṣẹ́ lásán, ṣùgbọ́n ó jẹ́ ọ̀nà ìrònú tó jinlẹ̀.
Penutup
Ìṣirò kún fún àwọn ìlànà ìṣírò, ṣùgbọ́n àwọn kan lára wọn yàtọ̀ sí ara wọn nítorí ẹwà wọn, ìyàlẹ́nu wọn, tàbí ipa àrà ọ̀tọ̀ wọn. Láti Ìlànà Ìṣírò Ìṣírò Ìpìlẹ̀ Pythagorean títí dé Ìlànà Ìpìlẹ̀ Ìṣírò Ìpìlẹ̀, títí dé ìjìnlẹ̀ òye wa nípa ọgbọ́n àti àìlópin tí Gödel àti Cantor ní, gbogbo wọn fi ohun kan hàn: ìmọ̀ ìṣirò ń gbèrú nípasẹ̀ àpapọ̀ ìṣẹ̀dá àti ìdúróṣinṣin. Àwọn ìlànà ìṣirò aláìlẹ́gbẹ́ kìí ṣe pé wọ́n ń fẹ̀ ìmọ̀ wa sí i nìkan, wọ́n tún ń yí ọ̀nà tí a ń gbà wo ayé padà—pé lẹ́yìn àwọn nọ́ńbà àti àmì, ìtàn àwọn èrò àrà ọ̀tọ̀ wà.
Tí o bá fẹ́, mo lè ṣàtúnṣe àpilẹ̀kọ yìí sí àfiyèsí sí kókó ọ̀rọ̀ kan ṣoṣo (fún àpẹẹrẹ, “ìmọ̀ tó lòdì sí òye tó jinlẹ̀ jùlọ,” “ìmọ̀ tó yí ìmọ̀ ẹ̀rọ padà,” tàbí “ìmọ̀ tó dára pẹ̀lú ẹ̀rí kúkúrú”) tàbí kí n fi ìwé àti ìtọ́kasí kún un.
