Source / pinned edition
Авторский контракт композиции «P vs NP» Arxo
Source of package arxo.p_vs_np · 0.1.0
- work
- urn:arxo:arxo.p_vs_np#ARXO_PVSNP_CONTRACT
- number
- 0.1.0
- kind
- urn:arxo:arxo.p_vs_np#treatise
ARXO_PVSNP_EDITION
- edition
- urn:arxo:arxo.p_vs_np#ARXO_PVSNP_EDITION
- language
- ru
- officiality
- unofficial
- materialisation
- PINNED_UNOFFICIAL_COPY
- life cycle
- —
Publications
| URI | Type | documentHash | Retrieved |
|---|---|---|---|
| urn:arxo:p-vs-np-contract:0.1.0 | text/plain; charset=utf-8 | sha256:78d6b3efec8634fec6c3cd41bc0c85b0ab4488d9f376f498e4adf3368084e484 | 2026-09-17T00:00:00Z |
Fragments — 1
contract · defn · referenced by: 4
ru · unofficial · sha256:78d6b3efec8634fec6c3cd41bc0c85b0ab4488d9f376f498e4adf3368084e484RU
Авторский контракт композиции «P vs NP» Arxo, версия 0.1.0.
Пакет связывает записи разных владельцев (cmi.p_vs_np, cook_levin.sat_np_complete_1971,
karp.combinatorial_reductions_1972, baker_gill_solovay.relativization_1975,
razborov_rudich.natural_proofs_1994) через общий словарь
arxo.computational_complexity/arxo.math_claims, не создавая собственных
фактов взамен чужих. pvsnp_formulation_from(c, src) — производное
соединение уже заявленных identifies_p_vs_np и source_asserts, не новый
факт от имени источника. established_results_summary(claim, label) —
соединение established_by_source набора в единый обзор, без выбора одного
результата вместо другого.
Ни established_by_source, ни established_under_assumption для самой
формулировки "Does P = NP?" (cmi.p_vs_np::PvsNpFormalStatement) не
появляются нигде в наборе: ни один пакет не заявляет source_proves для неё
— задача остаётся открытой. Условный барьер natural proofs
(razborov_rudich.natural_proofs_1994) остаётся established_under_assumption
только при явном assumed_in_scenario в конкретном деле; барьер
релятивизации (baker_gill_solovay.relativization_1975) остаётся
ограничением на класс методов, параметризованным по методу, а не
институциональным фактом о самом вопросе P vs NP.
Referencing norms: CollectEstablishedResult, CollectPvsNpFormulation, established_results_summary, pvsnp_formulation_from
The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.