Авторский контракт словаря дзета-функции Римана Arxo

ru · unofficial · sha256:1c405b34af86136c9a454685d3041644592e4dfefc588182cae6a58348e38487RU

Авторский контракт словаря дзета-функции Римана Arxo, версия 0.1.0. Zero обозначает опознаваемый нетривиальный нуль дзета-функции Римана, ho = beta + i*gamma; его действительная и мнимая части — заявленные извне данные (has_real_part, has_imaginary_part), а не результат вычисления Arxo. on_critical_line и in_critical_strip — институциональные факты, которые проверяют уже заявленное число против границ 1/2 и (0, 1); это проверка предъявленного значения, а не вычисление дзета-функции: контракт не содержит и не подразумевает алгоритма нахождения нулей. identifies_riemann_hypothesis(c) связывает claim словаря arxo.math_claims с идентичностью «гипотеза Римана»: какая именно claim есть RH — заявляется по источнику, а не выводится из имени. verified_zero_count(ev, count) и verified_max_height(ev, height) — ДВА РАЗНЫХ вида заявленной проверки: первый называет число проверенных нулей, второй — верхнюю границу мнимой части проверенных нулей. Контракт не связывает их правилом: количество нулей ниже данной высоты не равно ни высоте, ни обратно, и превращать одно сообщение источника в другое значило бы приписать источнику утверждение, которого он не делал.

Referencing norms: InCriticalStripByRealPartRange, OnCriticalLineByRealPartHalf, Zero, equivalent_to_rh, has_imaginary_part, has_real_part, identifies_riemann_hypothesis, in_critical_strip, nontrivial_zero, on_critical_line, verified_max_height, verified_zero_count