P vs NP pre každého. Čo by znamenalo P != NP a čo P = NP
Diskusia k článku: P vs NP pre každého. Čo by znamenalo P != NP a čo P = NP
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Re: asdasd
Od: Pjetro de
|
Pridané:
2010-08-18 08:04:42
To sme vsak vo svete metajazyka a metainformacii (metaifnormacia je informacia o informacii - napr. Exif data v hlavicke fotiek informuju o tom, ako, kedy, s cim, za akych podmienok a nastavini bola urobena samotna fotka a samotne data tvoriace tuto fotku nasladuju az za touto hlavickou).
Podobne je to s godelovskou neurcitostou axiomatickych systemov. V istom axiomatickom systeme logicky a axiomovo tak bohatom ako napr. system teorie mnozin, existuju tvrdenie ktore sa nedaju ano dokazat ani vyvratit - su nerozhodnutelne. Ak priberieme nove potrebne axiomy, tieto tvrdenia uz zmiznu - daju sa principialne dokaz ci vyvratit, samozrejme to neznamena ze taky dokaz uz niekto nasiel, len je principialne zrejme ze dokaz v systeme s novymi axiomami uz existuje. A to je defacto metadokaz, dokaz o dokaze, t.j. dokaz, ze sa nieco da/neda vobec dokazat! Bez toho ze by niekto samotny dokaz poznal.
|