Re: #485 what is infinite and what is finite in geometry; there are not infinitely many polygons on sphere; new textbook: "Mathematical-Physics (AP-adic primer) for students of age 6 onwards"



On Dec 28, 11:16 am, "Ross A. Finlayson" <r...@xxxxxxxxxxxxxxx> wrote:
Here's another (modern) one: in the consideration of Goedelian
incompleteness, Paris and Kirby posit that of the "true, but
unprovable" statements about the natural integers, that some of them
are due a "nonstandard countable" model of the natural integers. That
would be different from, say, the Robinsonian hyperintegers, which are
equivalent to all infinite length strings on a finite alphabet...
<snip>

Where do you get that Robinsonian hyperintegers "are equivalent to all
infinite length strings on a finite alphabet"? When you say
"equivalent", do you simply mean that both have the cardinality of the
continuum, or do you have another "equivalence" in mind?
.



Relevant Pages

  • Re: Cantorian pseudomathematics
    ... >>> Because the set of all finite strings on a finite alphabet is not ... >>> strings, of ALL lengths, on a finite alphabet is infinite. ... >> L is a sum of a finite number of finite terms, ...
    (sci.math)
  • Re: infinity
    ... Yes, the finite naturals, and the set of finite strings on a finite alphabet, ... We can never discuss anything fruitfully about infinite sets ...
    (sci.math)
  • Re: infinity
    ... > If you are required to have infinite strings in an infinite set of ... > strings from a finite alphabet, then any infinite set of normal ...
    (sci.math)
  • Re: infinity
    ... >>> I don't think you do need to allow infinite length strings, ... >> not contain infinitely long strings, then it does not contain an infinite set ... > strings over a finite alphabet, at least one must be infinitely long. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... >>> finite strings on a finite alphabet to be infinite? ... >> set of strings of length L, ... > language on a finite alphabet, one must have infinite lengths to the strings. ...
    (sci.math)

Quantcast