> Jaunākais
> Arhivētais
> Draugi
> Par sevi

Maijs 16., 2017

mindbound

13:03 Gadās abējādi, jo pārbaudīt to, vai tā "strādā" (t.i., ir patiesa, izejot no dotajām aksiomām) mēdz būt sasodīti sarežģīti un laikietilpīgi. Kā labu (šobrīd jau atrisinātu) piemēru varu piedāvāt apskatīt Fermā "pēdējo teorēmu", kā pārbaudīšanai vajadzēja 360 gadu un desmitiem matemātiķu karjeru, par spīti tam, ka pats matemātiskais apgalvojums ir šķietami ļoti vienkāršs ("nav tādu trīs pozitīvu veselu skaitļu a, b, un c, kam varētu uzrakstīt izteiksmi an + bn = cn, pie n > 2"). Pirmais sekmīgais šīs teorēmas pierādījums ir 100+ lpp. garš.

Read Comments

Reply

No:	Sviesta Ciba user Lietotājvārds: Parole: Iežurnalēties ar'?  Anonīms Ievadi te 'qws' (liidzeklis pret spambotiem):
Temats:	Tematā HTML ir aizliegts   Neformatēt automātiski:
Ziņa:	Gandrīz jau aizmirsu pateikt – šis lietotājs ir ieslēdzis IP adrešu noglabāšanu. Operatore Nr. 65.