Re: a theory of countable reals




There is an argument that pi does not exist. Pi cannot be
represented by geometrically. But this is inevitable in
mathematics. We can represent many values using pi like the
probability density function, and calculate many values
related to a circle.
These calculation cannot be done by its approximation.
After equation is established, we can calculate its value
in any detail.

Even if pi cannot be constructed on a line geometrically
or with decimals, we can deal with it as if it is there.
Given a circle, we can think about the ratio of the
circumference to the diamiter.
If it can be approximated in any detail, we can assume
its existence as black box regardless of the
representation and can use in various calculation. This
black box can be approximatid unlimitedly to the ratio
different from using one of the approximations.

I think that the infinite set like N could be used in
this way witout assuming a size. All infinite objects
we can use is countable. "countable" is not a size.
"countable" is constructibe or expressible or
specifiable.

It is not certain that a line is made of points. If it
is made of distinguishable points, this cannot be
realized without gap corresponding to the difference
between them.
When it comes to the calculation of a circle, the problem
becomes clearer. We cannot calculate the circumference of
a circle without subdividing it and taking the limit.
An existence of a circle made of smooth and connected
line is based on the assumption.


.



Relevant Pages

  • Re: Induction experiment part 2
    ... Make it a one turn loop of a perfect circle and take mu to be mu0. ... The H field we have now is calculated from the 10mV across the secondary so we need to get 4.36 amps in the primary via the loop calculation. ...
    (sci.physics.electromag)
  • Re: Induction experiment part 2
    ... Make it a one turn loop of a perfect circle and take mu to be mu0. ... turn leading to curl E and dphi/dt and all the rest. ... Except your calculation for B above is wrong. ...
    (sci.physics.electromag)
  • Re: Monte Carlo computation of PI with license numbers
    ... approximation to PI by using three digit car license plate ... circle to get the result you should converge to: ... end program bresenham ...
    (comp.lang.fortran)
  • Nested value types
    ... This seems wrong because circle values are not propositions. ... the representation of some complex value types such as a TriSurface. ...
    (comp.databases.theory)
  • Re: python as pen and paper substitute
    ... from math import pi as PI ... elif self.is_printing: ... #Calculation of first Area: ... print ("Area of Circle 1:\t", ...
    (comp.lang.python)