This preprint was accepted July 30, 2018
ABSTRACT: The paper presents a system of 9 conditions imposed on 9 variables. In order to state these conditions one needs only addition, multiplication, exponentiation (unary, with fixed base~2), congruences and remainders, inequalities, and binomial coefficient. The whole system can be written explicitly on a single sheet of paper. It is proved that the system is inconsistent if and only if the Riemann Hypothesis is true.Key words: the Riemann Hypothesis, binomial coefficients
АННОТАЦИЯ: В работе приводится система из 9 условий, налагаемых на 9 переменных. Для формулировки этих условий используются только сложение, умножение, возведение в степень (унарное, с фиксированным основанием 2), функция ``остаток от деления'', неравенства, сравнения по модулю и биномиальный коэффициент. Вся система может быть явно выписана на одной странице. Доказано, что построенная система условий несовместна в том и только том случае, когда гипотеза Римана верна.Ключевые слова: гипотеза Римана, биномиальные коэффициенты