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 aⁿ + bⁿ = cⁿ, pie n > 2"). Pirmais sekmīgais šīs teorēmas pierādījums ir 100+ lpp. garš.

(Reply to this) (Parent) (Thread)

nu. jā. es redzu, kāpēc tas varētu būt interesanti. katrs jūk prātā pa savam :)

(Reply to this) (Parent)