Re: Does a potential infinity actually exist?

MoeBlee wrote:
If you would either give 'potential infinity' as a primitive and
axioms with it or 'potential infinity' defined from primitives, then
there might be something of specific mathematical interest there.

You'll find a systematic treatment of "potential infinity" in
intuitionistic mathematics, especially the theory of choice sequences.
Of course, as with any piece of mathematics, the principles that
concern choice sequences must be seen justified on the "informal"
intuitionistic understanding if we are to adopt them as axioms (of
intuitionistic analysis, say).

Intuitionistic analysis and intuitionistic mathematics in general will
probably not be to Petry's liking, though, highly abstract and
infinitary as they are.

--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)

"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus

.

Relevant Pages

  • Re: On Ultrafinitism
    ... not only is mathematics a finite process ... Mueckenheim was blamed an ultrafinitist. ... infinity while the potential infinity seems to be obvious to anybody. ... Weyl suggested an atomist continuum. ...
    (sci.logic)
  • Re: On Ultrafinitism
    ... not only is mathematics a finite process ... infinity while the potential infinity seems to be obvious to anybody. ... Weyl suggested an atomist continuum. ... ultrafinitism is rumored to be the most silly counterpoint to formalism. ...
    (sci.logic)
  • Re: Does a potential infinity actually exist?
    ... axioms with it or 'potential infinity' defined from primitives, ... intuitionistic mathematics, especially the theory of choice sequences. ... intuitionisitc analsysis from axioms, while, on the other hand, an ...
    (sci.math)
  • Re: Cantor Confusion
    ... mathematics at some sort of college. ... what he presents in the mathematics courses at his University. ... actual and potential infinity, but that can be clarified later. ... The reason appears to be that irrationals can only be given by a rule ...
    (sci.math)
  • Re: Does a potential infinity actually exist?
    ... axioms with it or 'potential infinity' defined from primitives, ... There is a school in mathematics, called constructivism, ... So do you think the original poster's "potential infinity" ...
    (sci.math)