neprihlásený Sobota, 4. decembra 2021, dnes má meniny Barbora
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:
                               
 

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.

Meno:


Titulok:


Text:


Prihláste sa a povoľte si emailové notifikácie na odpovede na Váš príspevok.

Overovací text:



Pre overenie, že komentár sa nepridáva automatizovanými prostriedkami, prosím prepíšte text, ktorý vidíte na obrázku. Písmená musíte zadávať rovnako ako na obrázku veľké. Pokiaľ text neviete prečítať, kliknite prosím na tlačidlo "Obnoviť obrázok". V texte sa používajú iba znaky "BCDJKMPRSVWXY1234589".