Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.java.programmer > #33826
| From | Jan Burse <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.java.programmer |
| Subject | Re: ... |
| Date | 2016-02-15 20:44 +0100 |
| Organization | albasani.net |
| Message-ID | <n9t9r1$8pf$1@news.albasani.net> (permalink) |
| References | (6 earlier) <9fb2e9af-f704-4e51-9904-bb5b9283032f@googlegroups.com> <n9st0k$itv$1@dont-email.me> <n9stnk$hs7$1@gioia.aioe.org> <slrnnc3vmb.456.avl@login.logic.tuwien.ac.at> <n9sv7u$kh6$2@gioia.aioe.org> |
Arne Vajhøj schrieb:
>> The Node constructor in the first Post might still see MAX_VALUE
>> elements within children, because the constructor can also be
>> called with a single array (and not only by individual Nodes).
>
> Very relevant point IMHO.
Well my point was Java doesn't have *infinite*
arrays. In the same sense as BigInteger doesn't
provide *infinite* integers.
BigInteger only provides elements of Nat, limited
by resources. And even if there were no resource
limites, any element you pick from Nat is still finite.
And since an array is basically a mapping from
a set {0..k-1} to its domain, where you pick k from
Nat, arrays are also pretty finite, provided the domain
elements are each finite.
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*.
Bye
Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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