@amiloradovsky@functional.cafe Mathematics historically was a near religious search for "truth", rather than any practical study, which has its manifestation even today. Just listening to people talking about your pi, your e, your phi or i, will make you wonder whether those are abstractions or deities.

Programming is in an interesting position, as it is exploring the practical application of the abstractions themselves, not just results that they produce. With something like pi your are forced to drop the charade and accept it for what it is - an infinite(countably now, don't get excited) convergent process, in the simplest form - a function, that accepts a termination condition and returns a rational (not that many people do that today, us puny programmers dare not challenge the sanctity of mathematics, pi is a number so it has to be hard coded as a constant).

I don't think an upper limit of useful abstraction height has been proven to exist, since the field of science that is questioning the objective value of each and every step of the ladder is only starting to emerge.