Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #33837

Re: ...

From Andreas Leitgeb <avl@logic.at>
Newsgroups comp.lang.java.programmer
Subject Re: ...
Date 2016-02-16 10:05 +0000
Organization A noiseless patient Spider
Message-ID <slrnnc5t86.456.avl@login.logic.tuwien.ac.at> (permalink)
References (8 earlier) <n9stnk$hs7$1@gioia.aioe.org> <slrnnc3vmb.456.avl@login.logic.tuwien.ac.at> <n9sv7u$kh6$2@gioia.aioe.org> <n9t9r1$8pf$1@news.albasani.net> <n9t9tj$8pf$3@news.albasani.net>

Show all headers | View raw

Jan Burse <janburse@fastmail.fm> wrote:
> Jan Burse schrieb:
>> And if you would allow for arrays that k can have any
>> value from Nat, if there were no resource limits, still
>> the array would be finite and not *infinite*.
> Since Nat does have an element that is *infinite*.

Not sure, what "Nat" you are talking about, but in mathematics,
the set of natural numbers, commonly denoted with symbol ℕ, does
*NOT* contain a single infinite element.  It does of course still
contain an infinite number of (each finite!) elements.

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

... Popping mad <rainbow@colition.gov> - 2016-02-15 11:48 +0000
  Re: ... Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-02-15 07:52 -0500
    Re: ... Popping mad <rainbow@colition.gov> - 2016-02-15 13:09 +0000
      Re: ... Eric Douglas <e.d.programmer@gmail.com> - 2016-02-15 05:14 -0800
      Re: ... Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-02-15 08:43 -0500
      Re: ... Andreas Leitgeb <avl@logic.at> - 2016-02-15 13:46 +0000
        Re: ... Eric Douglas <e.d.programmer@gmail.com> - 2016-02-15 06:03 -0800
          Re: ... j4n bur53 <janburse@fastmail.fm> - 2016-02-15 15:54 +0100
            Re: ... Eric Douglas <e.d.programmer@gmail.com> - 2016-02-15 07:24 -0800
              Re: ... Eric Sosman <esosman@comcast-dot-net.invalid> - 2016-02-15 11:08 -0500
                Re: ... Arne Vajhøj <arne@vajhoej.dk> - 2016-02-15 11:17 -0500
                Re: ... Andreas Leitgeb <avl@logic.at> - 2016-02-15 16:34 +0000
                Re: ... Arne Vajhøj <arne@vajhoej.dk> - 2016-02-15 11:43 -0500
                Re: ... Jan Burse <janburse@fastmail.fm> - 2016-02-15 20:44 +0100
                Re: ... Jan Burse <janburse@fastmail.fm> - 2016-02-15 20:44 +0100
                Re: ... Jan Burse <janburse@fastmail.fm> - 2016-02-15 20:45 +0100
                Re: ... Andreas Leitgeb <avl@logic.at> - 2016-02-16 10:05 +0000
                Re: ... Arne Vajhøj <arne@vajhoej.dk> - 2016-02-15 21:46 -0500
      Re: ... Arne Vajhøj <arne@vajhoej.dk> - 2016-02-15 09:34 -0500

csiph-web