Меня как из ушата окатили. Так гадко стало. И обидно. Пустышка.

>Так гадко стало.

это формализм.

есть ещё конструктивизм.

доказательство это апофеоз импредикативности, то есть именно то, что делает математику религией и что уже более 100 лет культивируется жрецами теории множеств как рай из которого их не изгонишь.

не знаю понимает ли аттья это и тупо троллит. но там , в заключении ,есть ремарка:
There are also logical issues that will emerge. To be explicit, the proof of RH in this
paper is by contradiction and this is not accepted as valid in ZF, it does require choice. I
fully expect that the most general version of the Riemann Hypothesis will be an undecidable
problem in the Gödel sense.

но ссылка на гёделя не корректна по тем же причинам неразрешимости непротиворечивости.

gödsel sense