Math igwe ọhụrụ? Ụkpụrụ mara mma na enweghị enyemaka
Dị ka ụfọdụ ndị ọkachamara si kwuo, igwe nwere ike chepụta ma ọ bụ, ọ bụrụ na-amasị gị, chọpụta mgbakọ na mwepụ ọhụrụ nke anyị bụ́ mmadụ na-ahụtụbeghị ma ọ bụ cheburu. Ndị ọzọ na-arụ ụka na igwe anaghị emepụta ihe ọ bụla n'onwe ha, ha nwere ike ịnọchite anya usoro anyị maara n'ụzọ dị iche, na ha enweghị ike ịnagide nsogbu ụfọdụ mgbakọ na mwepụ ma ọlị.
N'oge na-adịbeghị anya, otu ndị ọkà mmụta sayensị sitere na Technion Institute na Israel na Google gosipụtara akpaghị aka usoro maka n'ịwa theoremsnke ha kpọrọ igwe Ramanujan ka onye mgbakọ na mwepụ Srinivasi Ramanujanaonye mepụtara puku kwuru puku usoro mgbawa n'usoro ọnụọgụgụ na-enweghị obere agụmakwụkwọ ma ọ bụ enweghị akwụkwọ. Usoro nke ndị nchọpụta mepụtara tụgharịrị ọtụtụ usoro mbụ na nke dị mkpa ka ọ bụrụ ihe na-adịgide adịgide zuru ụwa ọnụ nke pụtara na mgbakọ na mwepụ. E bipụtala akwụkwọ gbasara isiokwu a n'akwụkwọ akụkọ Nature.
Enwere ike iji otu n'ime usoro ndị a na-emepụta igwe iji gbakọọ uru nke ụwa na-adịgide adịgide a na-akpọ Nọmba Catalan, dị irè karịa iji usoro mmadụ chọpụtara na mbụ. Otú ọ dị, ndị ọkà mmụta sayensị na-ekwu na Igwe Ramanujan Ebughị ya ịnapụ mgbakọ na mwepụ n'aka ndị mmadụ, kama ọ bụ iji nyere ndị ọkachamara mgbakọ na mwepụ aka. Otú ọ dị, nke a apụtaghị na usoro ha enweghị ọchịchọ. Ka ha na-ede, igwe ahụ "na-anwa iṅomi echiche mgbakọ na mwepụ nke ndị ọkachamara mgbakọ na mwepụ na iji nye nkọwa maka ajụjụ mgbakọ na mwepụ ọzọ."
Usoro na-eme echiche banyere ụkpụrụ nke eluigwe na ala na-adịgide adịgide (dị ka) e dere dị ka mara usoro a na-akpọ na-aga n'ihu fractions ma ọ bụ na-aga n'ihu fractions (1). Nke a bụ aha usoro iji gosipụta ọnụ ọgụgụ n'ezie dị ka akụkụ dị nta n'ụdị pụrụ iche ma ọ bụ njedebe nke irighiri ahụ. Iberibe na-aga n'ihu nwere ike ịbụ oke ma ọ bụ nwee ọtụtụ ọnụọgụ.i/bi; nkebi Ak/Bk enwetara site n'ịtụfu ụmụ irighiri ihe ndị dị na akụkụ ahụ na-aga n'ihu, malite na (k + 1) th, a na-akpọ kth reduct na enwere ike gbakọọ ya site na usoro:-1= 1, A0=b0Na-1=0,V0= 1, Ak=bkAk-1+akAk-2Nak=bkBk-1+akBk-2; ọ bụrụ na usoro nke reducts na-agbakọta na njedebe njedebe, mgbe ahụ, a na-akpọ akụkụ nke na-aga n'ihu na-ejikọta ọnụ, ma ọ bụghị ya dị iche iche; A na-akpọ ụmụ irighiri ihe na-aga n'ihu na mgbakọ na mwepụ ma ọ bụrụi= 1, p0 emechara, bi (i> 0) - eke; mgbakọ na mwepụ na-aga n'ihu na-agbakọta ọnụ; Ọnụ ọgụgụ n'ezie ọ bụla na-agbasa ruo n'ibe mgbakọ na-aga n'ihu, nke bụ naanị maka ọnụọgụgụ.
1. Ọmụmaatụ nke ide Pi dị ka akụkụ na-aga n'ihu
Ramanujan igwe algọridim na-ahọrọ ihe ọ bụla na-adịgide adịgide zuru ụwa ọnụ maka akụkụ aka ekpe na akụkụ ọ bụla na-aga n'ihu maka akụkụ aka nri, wee gbakọọ akụkụ nke ọ bụla iche iche na nkenke. Ọ bụrụ na akụkụ abụọ ahụ yiri ka ha na-adakọ, a na-agbakọ ọnụọgụ ha na nkenke kariri iji hụ na egwuregwu ahụ abụghị egwuregwu ma ọ bụ na-ezighi ezi. N'ụzọ dị mkpa, enweelarị usoro nke na-enye gị ohere ịgbakọ uru nke ihe nkwụsị ụwa niile, dịka ọmụmaatụ, na nkenke ọ bụla, ya mere, naanị ihe mgbochi na ịlele nkwenye ibe bụ oge ngụkọta oge.
Tupu ha emejuputa algọridim dị otú ahụ, ndị ọkachamara mgbakọ na mwepụ ga-eji nke dị adị. ihe ọmụma mgbakọ na mwepụ i theoremsmee echiche dị otú ahụ. N'ihi ntule akpaaka nke algọridim na-emepụta, ndị ọkachamara mgbakọ na mwepụ nwere ike iji ha megharịa usoro ihe omimi zoro ezo ma ọ bụ nsonaazụ "mara mma".
Nchọpụta kacha pụta ìhè nke ndị nchọpụta abụghị ihe ọmụma ọhụrụ dị ka echiche ọhụrụ nke mkpa dị ịtụnanya. Nke a na-enye ohere ngụkọta oge nke Catalan, eluigwe na ala na-adịgide adịgide nke uru dị mkpa n'ọtụtụ nsogbu mgbakọ na mwepụ. Igosipụta ya dị ka akụkụ dị nta na-aga n'ihu n'echiche achọpụtara ọhụrụ na-enye ohere maka ịgbakọ ọsọ ọsọ ruo taa, na-emeri usoro ndị gara aga nke were ogologo oge nhazi na kọmputa. Nke a yiri ka ọ na-akara akara ọhụrụ ọganihu sayensị kọmputa kemgbe mbụ kọmputa meriri ndị egwuregwu chess.
Ihe AI enweghị ike ijikwa
Algọridim igwe Dị ka ị na-ahụ, ha na-eme ihe ụfọdụ n'ụzọ ọhụrụ na nke ọma. N'ịbụ ndị chere nsogbu ndị ọzọ ihu, ha enweghị enyemaka. Otu ndị na-eme nchọpụta na Mahadum Waterloo dị na Canada chọpụtara otu nsogbu nke iji igwe mmụta. Nchọpụta a jikọtara ya na mgbagwoju anya nke onye Austrian mgbakọ na mwepụ Kurt Gödel kọwara n'etiti narị afọ gara aga.
Ọkammụta mgbakọ na mwepụ Shai Ben-David na ndị otu ya gosipụtara usoro mmụta igwe nke akpọrọ oke amụma (EMX) n'akwụkwọ n'akwụkwọ akụkọ Nature. Ọ ga-adị ka ọrụ dị mfe tụgharịrị bụrụ ihe na-agaghị ekwe omume maka ọgụgụ isi. Nsogbu ndị otu wetara Shay Ben-David na-agbadata ịkọ mgbasa ozi mgbasa ozi kacha baa uru, lekwasịrị anya na ndị na-agụ akwụkwọ na-eleta saịtị ahụ ugboro ugboro. Ọnụ ọgụgụ nke ohere dị ukwuu nke na netwọk neural enweghị ike ịchọta ọrụ nke ga-ebu amụma n'ụzọ ziri ezi omume nke ndị na-eji weebụsaịtị, na-enwe naanị obere ihe nlele data na ya.
Ọ tụgharịrị na ụfọdụ nsogbu na-ebute site na netwọkụ akwara ozi dabara na nkwuputa na-aga n'ihu nke Georg Cantor weputara. German mathematician gosipụtara na kadịnal nke set nke ọnụọgụ eke dị obere karịa kadinality nke set nke ezigbo ọnụọgụgụ. Mgbe ahụ, ọ jụrụ ajụjụ ọ na-apụghị ịza. Ya bụ, ọ nọ na-eche ma o nwere set na-enweghị ngwụcha nke kadịnal ya dị obere karịa kadịnal set nke ezigbo ọnụọgụgụmana ike karịa set nke eke nọmba.
Ọstrịa mgbakọ na mwepụ nke narị afọ nke XNUMX. Kurt Gödel gosiputara na nkwuputa nke na-aga n'ihu enweghi ike ikpebi na usoro mgbakọ na mwepụ ugbu a. Ugbu a, ọ na-apụta na ndị ọkachamara mgbakọ na mwepụ na-emepụta netwọk akwara echewo nsogbu yiri ya.
Yabụ, n'agbanyeghị na anyị aghọtaghị ya, dị ka anyị na-ahụ, ọ nweghị enyemaka n'agbanyeghị oke ndị bụ isi. Ndị ọkà mmụta sayensị na-eche ma ọ bụrụ na ọ nwere nsogbu nke klas a, dị ka usoro enweghị njedebe, dịka ọmụmaatụ.
