```Date: Feb 2, 2013 12:00 AM
Author: ross.finlayson@gmail.com
Subject: Re: Outline: A Program to establish the continuity of points in a line

On Feb 1, 8:37 pm, William Elliot <ma...@panix.com> wrote:> On Fri, 1 Feb 2013, Ross A. Finlayson wrote:> > Decided to start a program.  An outline of my program follows.>> > A Program to establish the continuity of points in a line>> > The continuum of numbers is a primary feature of mathematics.   Logic> > establishes structures modeling the numbers as abstract things.  Most> > simple concepts of symmetry and conservation establish numerical> > constructs and identities.  Points in a line are built from first and> > philosophic principles of a logic, and a geometry of points and> > space.  Their continuity is established.  Fundamental results of real> > analysis are established on this line as of the continuum of real> > numbers.  Identities are established for certain fundamental> > properties of real numbers in a line in the geometry.>> > An axiomless system of natural deduction> >    Conservation and symmetry in primary objects> >    Categoricity of a general theory> >            Geometry> >            Number theory, analysis, and probability> >            Sets, partitions, types, and categories> > A natural continuum from first principles> >    The continuum in abstract> >    A continuum of integers> >    The establishment of a space of points from a continuum> >    Drawing of a line in the space of points> >    The polydimensional in space> > Features of N> >    The infinite in the natural continuum> >    EF as CDF, the natural integers uniformly>> What does that last line all mean?>>>>>>>> > Features of R> >    Points as polydimensional> >    Results in the polydimensional> > Continuity in the real numbers> >    Reductio of points in space> >    Topological counterparts of the open and closed> > Fundamental results of real analysis> >    The complete ordered field in the space of points> >    Fundamental theorems of integral calculus> > Apologetics> >    Infinitesimals and infinities> >    Rational numbers and exhaustion> >    The continuum as countable> >            Reflection on the drawing of the line as countable> >            Cantor's argument and counterexamples> >            A constructive interpretation of uncountable> >    A retrofit of measure theory> > Applications> >    Applications in geometry> >    Applications in probability> >    Applications in physicsThe notion of selecting among discrete items at uniform random isamong the most reasonable of assumptions of blind selection amongitems, that each is as likely as the other.  In the finite case, thisis well known as fair coin tosses or dice rolls, in Bernoulli and toPoisson.  In the infinite, the notion of selecting among the naturalintegers at uniform random would have particular features of theprobability mass function describing the distribution of the naturalintegers at uniform random.  The function from natural integers topoints in a line called EF has particular features that would make itat once a cumulative distribution function, over its support space ofthe natural integers, and in its constant monotonicity, over constantdifferences, that of a uniform distribution.Regards,Ross Finlayson
```