Можно найти кучу формул для простых чисел, и здесь на форуме тоже, поищите.
Мне не удалось ничего найти. Если вы помните, шла речь о простой биекции
. То, что все простые числа можно пронумеровать — это простой факт, который легко объяснить. А вот задать функцию в виде
, где справа будет алгебраическое выражение — это вряд ли получится.
В том числе можно просто выразить предикат «являться простым числом» на языке, скажем, теории множеств (если нет нужды минимизировать зависимости).
Зачем этот предикат «являться простым числом»? Задача в том, чтобы по данному номеру найти простое число
, либо по данному простому числу
определить его номер. Приемами школьной алгебры эта задача не решается. Можно было бы, например, предложить решето Эратосфена с последовательным выписыванием всех простых чисел до
, но этот метод не алгебраический и нужную формулу из него получить нельзя. Причем здесь предикат «являться простым числом»?