ഫെർമയുടെ അവസാന സിദ്ധാന്തം: 11 ദിവസത്തിനുള്ളിൽ ലീനിൽ പൂർണ്ണ തെളിവ് ഔദ്യോഗികമാക്കി

ബുദ്ധിമുട്ടുള്ള ഒരു സിദ്ധാന്തത്തിന് പിന്നിലെ ലളിതമായ ചോദ്യം

ഈ സിദ്ധാന്തം aⁿ + bⁿ = cⁿ എന്ന സമവാക്യത്തെ സംബന്ധിച്ചുള്ളതാണ്. ഘാതം (exponent) രണ്ടാകുമ്പോൾ, പോസിറ്റീവ് പൂർണ്ണ സംഖ്യാ പരിഹാരങ്ങൾ നിലവിലുണ്ട്: 3² + 4² = 5², കാരണം 9 + 16 = 25. ഘാതം രണ്ടിൽ കൂടുതലുള്ള ഒരു പൂർണ്ണസംഖ്യയാകുമ്പോൾ അത്തരമൊരു പരിഹാരവുമില്ലെന്നാണ് ഫെർമയുടെ അവകാശവാദം.

പോസിറ്റീവ് പൂർണ്ണസംഖ്യകളിലേക്കുള്ള പരിമിതി അത്യാവശ്യമാണ്. പ്രസ്താവിച്ച പ്രശ്നത്തിൽ നിന്ന് പൂജ്യം, നെഗറ്റീവ് മൂല്യങ്ങൾ, ഭിന്നസംഖ്യകൾ എന്നിവ ഇത് ഒഴിവാക്കുന്നു. പൂജ്യം അനുവദിക്കുന്നത് ഉടനടി 0ⁿ + 1ⁿ = 1ⁿ പോലുള്ള ഉദാഹരണങ്ങൾ സൃഷ്ടിക്കും. അത് ഫെർമയുടെ സിദ്ധാന്തത്തിന് വിരുദ്ധമായിരിക്കില്ല; അത് ചോദിക്കുന്ന ചോദ്യത്തിന്റെ വ്യവസ്ഥകളെ മാറ്റും.

സാധ്യമായ നിരവധി സംഖ്യകൾ പരീക്ഷിക്കുന്നത് എല്ലാ പോസിറ്റീവ് പൂർണ്ണസംഖ്യകൾക്കും അവകാശവാദം തെളിയിക്കാൻ കഴിയില്ല. പരിഗണിക്കാൻ അനന്തമായ കോമ്പിനേഷനുകളും ഘാതങ്ങളും ഉണ്ട്. വലിയ തിരച്ചിലിൽ അപവാദങ്ങളൊന്നും കണ്ടെത്തിയില്ല എന്ന് റിപ്പോർട്ട് ചെയ്യുന്നതിന് പകരം, ഒരു തെളിവ് അവയെല്ലാം ഉൾക്കൊള്ളുന്ന ഒരു കാരണം സ്ഥാപിക്കണം. ഈ വ്യത്യാസം ഗണിതശാസ്ത്രപരമായ തെളിവിനെ ശ്രദ്ധേയമായ സംഖ്യാ പരീക്ഷണത്തിൽ നിന്ന് വേർതിരിക്കുന്നു.

വൈൽസിന്റെ വർക്ക് ഇതിനകം നേടിയത് എന്താണ്

പതിനേഴാം നൂറ്റാണ്ടിൽ ഫെർമ ഈ പ്രശ്നം പ്രസ്താവിച്ചെങ്കിലും ഒരു പൊതു തെളിവ് നൂറ്റാണ്ടുകളോളം അവ്യക്തമായി തുടർന്നു. റിച്ചാർഡ് ടെയ്‌ലറുടെ സുപ്രധാന സംഭാവനയോടെ 1994 ൽ വൈൽസ് നിർണ്ണായക ജോലികൾ പൂർത്തിയാക്കി. 1995 ൽ പേപ്പറുകൾ പ്രസിദ്ധീകരിച്ചു. പൂർത്തിയാക്കിയ തീയതികളും പ്രസിദ്ധീകരണ തീയതികളും പ്രത്യേകം സൂക്ഷിക്കുന്നത് ഒരേ മുന്നേറ്റത്തിന്റെ രണ്ട് വിവരണങ്ങൾ പരസ്പര വിരുദ്ധമായി തോന്നുന്നത് ഒഴിവാക്കുന്നു.

തെളിവിലേക്കുള്ള വഴി ഫെർമയുടെ സമവാക്യത്തെ എലിപ്റ്റിക് കർവുകളുമായും മോഡുലാർ രൂപങ്ങളുമായും ബന്ധിപ്പിച്ചു. എലിപ്റ്റിക് കർവുകൾ സാധാരണ ദീർഘവൃത്തങ്ങളല്ല, നിർദ്ദിഷ്ട ക്യൂബിക് സമവാക്യങ്ങളാൽ വിവരിക്കപ്പെടുന്ന ഗണിതശാസ്ത്ര വസ്തുക്കളാണ്. മോഡുലാർ രൂപങ്ങൾ വളരെ ഘടനാപരമായ ഫംഗ്ഷനുകളാണ്. മുമ്പത്തെ വർക്കുകൾ ഫെർമയുടെ അവകാശവാദത്തിനുള്ള സാങ്കൽപ്പിക അപവാദത്തെ പൊരുത്തപ്പെടാത്ത ഗണിതശാസ്ത്ര ഗുണങ്ങളുള്ള എലിപ്റ്റിക് കർവുമായി ബന്ധിപ്പിച്ചു.

സെമിസ്റ്റേബിൾ എലിപ്റ്റിക് കർവുകൾ എന്ന് വിളിക്കപ്പെടുന്ന ഒരു ക്ലാസിനായി ആവശ്യമായ മോഡുലാരിറ്റി ഫലം വൈൽസ് സ്ഥാപിച്ചു. മുമ്പത്തെ കണക്ഷനുമായി സംയോജിപ്പിച്ച്, ഇത് സാങ്കൽപ്പിക അപവാദത്തെ തള്ളിക്കളഞ്ഞു. ആബേൽ പ്രൈസിന്റെ അവലംബം ആശയങ്ങളുടെ ആ ശൃംഖലയെ വിവരിക്കുന്നു. അതിനാൽ ഈ നേട്ടം സംഖ്യകളിലൂടെയുള്ള അവസാനമില്ലാത്ത തിരച്ചിലല്ല, മറിച്ച് ഗണിതശാസ്ത്രത്തിന്റെ വിവിധ മേഖലകളെ ബന്ധിപ്പിക്കുന്ന ഒരു ഘടനാപരമായ വാദമാണ്.

ലീൻ എന്താണ് പരിശോധിക്കുന്നത്

പരിശീലനം ലഭിച്ച ഒരു വായനക്കാരന് നൽകാൻ കഴിയുമെന്നതിനാൽ എഴുതിയ ഒരു തെളിവ് പലപ്പോഴും പതിവ് ഘട്ടങ്ങളെ പ്രസ്താവിക്കാതെ വിടുന്നു. ഔപചാരികവൽക്കരണം നിർവചനങ്ങളെയും യുക്തിപരമായ ആശ്രിതത്വങ്ങളെയും സോഫ്റ്റ്‌വെയറിന് കൃത്യമാക്കുന്നു. ഈ ആവശ്യത്തിനായി ഉപയോഗിക്കുന്ന പ്രോഗ്രാമിംഗ് ഭാഷയും പ്രൂഫ് അസിസ്റ്റന്റുമാണ് ലീൻ. ഒരു പ്രൂഫ് അസിസ്റ്റന്റ് എന്നത് ഔപചാരിക ഗണിതശാസ്ത്ര വാദങ്ങൾ നിർമ്മിക്കുന്നതിനും പരിശോധിക്കുന്നതിനുമുള്ള ഒരു സംവിധാനമാണ്.

ലീനിന്റെ ഡോക്യുമെന്റേഷൻ ഒരു തെളിവ് നിർമ്മിക്കാൻ സഹായിക്കുന്ന ടൂളുകളെ അത് പരിശോധിക്കുന്ന ചെറിയ വിശ്വസനീയ ഘടകത്തിൽ നിന്ന് വേർതിരിക്കുന്നു. ആ ഘടകത്തെ കേർണൽ (kernel) എന്ന് വിളിക്കുന്നു. ഓട്ടോമേറ്റഡ് രീതികൾക്ക് യുക്തി നിർദ്ദേശിക്കാനോ കൂട്ടിച്ചേർക്കാനോ കഴിയും, എന്നാൽ തത്ഫലമായുണ്ടാകുന്ന പ്രൂഫ് ഒബ്ജക്റ്റ് പരിശോധന നിയമങ്ങൾ പാലിക്കണം. ഫ്ലുവന്റ് വിശദീകരണ വാചകം, സ്വയമേവ, സ്വീകാര്യമായ ഒരു തെളിവല്ല.

ഇത് തലമുറയും പരിശോധനയും തമ്മിൽ ഉപയോഗപ്രദമായ ഒരു വേർതിരിവ് സൃഷ്ടിക്കുന്നു. ഒരു ആർഗ്യുമെന്റിനായി തിരയുമ്പോൾ ഒരു സിസ്റ്റം പരാജയപ്പെട്ട ശ്രമങ്ങൾ നടത്തിയേക്കാം; ആ ശ്രമങ്ങൾ ആത്മവിശ്വാസത്തോടെ സൃഷ്ടിച്ചതുകൊണ്ട് മാത്രം സാധൂകരിക്കപ്പെടുന്നില്ല. അവസാനത്തെ ഔപചാരിക പ്രസ്താവന, അത് ഉപയോഗിക്കുന്ന അനുമാനങ്ങൾ, ആ അനുമാനങ്ങളെ നിഗമനവുമായി ബന്ധിപ്പിക്കുന്ന പരിശോധിച്ച യുക്തി എന്നിവയാണ് പ്രധാനം.

പൊതു റിലീസ് എന്താണ് അവകാശപ്പെടുന്നത്

കമ്പ്യൂട്ടർ പരിശോധിച്ച ആദ്യത്തെ സമ്പൂർണ്ണ തെളിവായി ആന്ത്രോപിക് ഈ റിലീസിനെ വിവരിക്കുന്നു, കൂടാതെ ഏകദേശം പതിമൂന്ന് ദശലക്ഷം ലൈനുകളുള്ള ലീൻ കോഡും റിപ്പോർട്ട് ചെയ്യുന്നു. ആ സ്കെയിലും മുൻഗണനാ ക്ലെയിമുകളും കമ്പനിയുടെ അക്കൗണ്ടിൽ പെട്ടതാണ്. നിർവചനങ്ങളോ ലൈബ്രറികളോ മുൻകാല ഔപചാരിക ശ്രമങ്ങളോ ഇല്ലാതെ ആരംഭിക്കുന്നതിനുപകരം മനുഷ്യ ഗണിതശാസ്ത്രത്തിലും നിലവിലുള്ള ഓപ്പൺ സോഴ്സ് പ്രോജക്റ്റുകളിലുമാണ് ഈ വർക്ക് നിർമ്മിച്ചിരിക്കുന്നത്.

പോസിറ്റീവ് സ്വാഭാവിക സംഖ്യകളും കുറഞ്ഞത് മൂന്നെണ്ണത്തിന്റെ ഘാതങ്ങളും ഉപയോഗിച്ചുള്ള ഫെർമയുടെ ഫലം റെപ്പോസിറ്ററി പ്രസ്താവിക്കുന്നു. പൂർത്തിയാകാത്ത പ്രൂഫ് പ്ലേസ്ഹോൾഡറുകളും ലീനിന്റെ സ്റ്റാൻഡേർഡ് ഫൗണ്ടേഷനുകൾക്ക് അപ്പുറത്തുള്ള അധിക അനുമാനങ്ങളും ഒഴിവാക്കാൻ ഉദ്ദേശിച്ചുള്ള പരിശോധനകളെ ഇത് വിവരിക്കുന്നു. രണ്ടാമത്തെ കേർണൽ നടപ്പാക്കൽ ഉപയോഗിച്ചുള്ള സ്ഥിരീകരണവും ഇത് റിപ്പോർട്ട് ചെയ്യുന്നു. ഈ രേഖകൾ പരിശോധനാ സമീപനത്തെ പരിശോധിക്കാൻ കഴിയുന്നതാക്കുന്നു, പകരം ഒരു പ്രൊമോഷണൽ തലക്കെട്ടിനെ മാത്രം ആശ്രയിക്കാൻ വായനക്കാരോട് ആവശ്യപ്പെടുന്നില്ല.

ഒരു ഔപചാരിക നിർദ്ദേശം പരിശോധിക്കുന്നതിനും അത് ഉദ്ദേശിച്ച യഥാർത്ഥ ചോദ്യത്തെ പ്രകടിപ്പിക്കുന്നുണ്ടോ എന്ന് തീരുമാനിക്കുന്നതിനും തമ്മിൽ ഇപ്പോഴും ഒരു വ്യത്യാസമുണ്ട്. മാറ്റം വരുത്തിയ നിർവചനങ്ങളുള്ള ശരിയായി പരിശോധിച്ച പ്രസ്താവനയ്ക്ക് വ്യത്യസ്തമായ എന്തെങ്കിലും തെളിയിക്കാൻ കഴിയും. ശേഖരം പ്രസ്താവന പൊരുത്തപ്പെടുത്തൽ വ്യക്തമായി അഭിസംബോധന ചെയ്യുന്നു. ഒരു തെളിവ് വിലയിരുത്തുന്നതിന്റെ ഭാഗമായി ലീനിന്റെ സ്വന്തം മാർഗ്ഗനിർദ്ദേശം വിശ്വസനീയമായ അടിത്തറകളെയും കൃത്യമായ രൂപീകരണത്തെയും പരിഗണിക്കുന്നു.

ഉപസംഹാരം

സെപ്റ്റംബറിലെ വികസനം ഫെർമയുടെ പ്രശ്നത്തിന്റെ ആദ്യ പരിഹാരമല്ല, മറിച്ച് സ്ഥാപിതമായ ഗണിതശാസ്ത്രത്തിനായുള്ള ഒരു പുതിയ പരിശോധനാ പുരാവസ്തുവിനെ സംബന്ധിച്ചുള്ളതാണ്. മെക്കാനിക്കൽ പരിശോധനയ്ക്കും തുടർ പരിശോധനയ്ക്കുമായി ഒരു വലിയ യുക്തിയുടെ ശൃംഖല ലഭ്യമാക്കുന്നതിലാണ് ഇതിന്റെ പ്രാധാന്യം. സ്ഥായിയായ സംഭാവന എന്നത് സൃഷ്ടിക്കപ്പെട്ട കോഡിന്റെ വേഗതയോ വോളിയമോ മാത്രമല്ല, ആ ഔപചാരിക പ്രവർത്തനത്തിന്റെ വിശ്വാസ്യതയെയും പുനരുപയോഗത്തെയും ആശ്രയിച്ചിരിക്കും.