I Prime-counting function questions

  • I
  • Thread starter Thread starter AdamsJoK
  • Start date Start date
  • Tags Tags
    Function
AI Thread Summary
The prime counting function, denoted as pi(x), lacks a simple formula, leading to reliance on approximations and algorithms for computation. While mathematical definitions confirm the function's existence through procedures for counting primes, these methods can be complex and computationally intensive. Some formulas exist, but they are often inefficient for large values of x, making approximations more practical. The discussion emphasizes that the choice of algorithm significantly impacts the ease of computing pi(x). Ultimately, the focus should be on finding efficient algorithms rather than solely seeking clear-cut formulas.
AdamsJoK
Messages
4
Reaction score
0
I'm confused about the existence of the prime counting function.

When I search for information about pi(x), I turn up a lot of information on approximations and algorithms for finding pi(x) but there doesn't seem to be any clear cut formula, yet it seems to exist?
If there exists formula for the prime counting function, is it that they just aren't very friendly to work with and therefore we resort back to using the approximations? If so, what makes them hard to work with exactly?

Thank you.
 
Mathematics news on Phys.org
AdamsJoK said:
I'm confused about the existence of the prime counting function.

When I search for information about pi(x), I turn up a lot of information on approximations and algorithms for finding pi(x) but there doesn't seem to be any clear cut formula, yet it seems to exist?

The mathematical definition of a "function" doesn't require that function have a formula. It only requires that each x in the domain of the function is mapped to some unique y in the co-domain. To show a function exists, you only have to show that some procedure exists for finding y once x is given. The procedure for the prime counting function is "List all the prime numbers that are less than equal to x and count how many numbers are in the list".

People interested in mathematics are interested in functions that do have formulas of the usual type. It would be nice to discover such a formula for the prime counting function, but (as far as I know) all that is currently available are approximations.

People who study computer science, study algorithms and often these are functions that can't be implemented as straightforward formulas. For example, a computer could be programmed to compute the prime counting function. The program wouldn't be a simple one-line formula. There would be a lot of steps to the program.
 
  • Like
Likes Lucas SV and AdamsJoK
Figures I was being sloppy, a function is just a ordered pair(with some rules). The 2nd paragraph answers the question.

Helpful post, I appreciate it, thank you.
 
I don't know what you call clear cut, but i found two formulas that look prety clear to me:
NumberedEquation7.gif

from http://mathworld.wolfram.com/PrimeCountingFunction.html, and
NumberedEquation1.gif

from http://mathworld.wolfram.com/RiemannPrimeCountingFunction.html. ##f## and ##\mu## are defined in the webpage.

The second formula is more algorithmic, if you look at the definitions. But the first formula is also computationally intensive. The choice of algorithm certainly matters for the computer scientist, and algorithms that lead to approximate solutions are fine too because the computed values should be close to an integer, so they can be rounded to get the correct value, which we know is an integer.

But perhaps the better reason to use approximations, is that for large ##n##, the exact algorithms are extremely inefficient, in particular the first formula (Hardy and Wright, 1979). Just you try computing ##\pi(100)## and you will see what I mean.

What you really want is a easy formula to compute the prime counting function, but what you really should ask for is the best algorithm for computing it. To make this point clear we consider the function ##f(x)=x^2+3x##. The formula I have given actually prescribes a great algorithm to compute the values of the function. It just happens that in this case, the computational power you need is very small, compared to ##\pi(x)##. I'm just highlighting the obvious but overlooked fact that how hard it is to compute values for functions depends on the algorithm you use, and on the functions themselves.
 
Last edited:
  • Like
Likes AdamsJoK
Hey Lucas SV, you're right I do mean easy to compute. I overlooked the first which is pretty "clear cut" but as you have said, it's useless because of how large factorials get.

Appreciate the insight, thank you.
 
Lucas SV said:
approximate solutions are fine too because the computed values should be close to an integer, so they can be rounded to get the correct value, which we know is an integer
Try using an approximate solution to compute pi(x) - pi(x-1).
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top