comp.lang.ada
 help / color / mirror / Atom feed
From: aek@vib.usr.pu.ru (Alexander Kopilovitch)
Subject: Re: signature like constructions
Date: 8 Aug 2003 16:44:04 -0700
Date: 2003-08-08T23:44:06+00:00	[thread overview]
Message-ID: <e2e5731a.0308081544.7d558e3e@posting.google.com> (raw)
In-Reply-To: 0o57jvsu8svaarn54n1j7js0casiclfqhb@4ax.com

Dmitry A. Kazakov wrote:

> This is a question of balance between understanding of the problem and
> understanding of the software tools used to solve it. From the dawn of
> computers to present day, the first component prevailed,

And certainly will always prevail. Essentially, by definition: if the software
world becomes more significant than traditional real world -:) then there will
be just new class of the problems - concerning the software world, and no more
than that. So we'll still look at the problems at first.

> allowing to implement "everything [problem] in anything [language]".

No, this is too inexact statement: even 3 decades ago it was not possible
to implement real-time control program in RPG language. So, not in "anything",
but in "any universal language" - and with this more precise wording the
statement becomes trivially true.

> But in a long-term perspective, I am talking about 20-100 years,

20 years ago no one can predict our current power of computing technology and
its presence everywhere in just 2000. Given that the explosion still continues,
how can you guess about 20 and even 100 future years?

> the balance
> will definitely change, otherwise we will be unable to maintain the
> complexity of software [not the algorithms, note].

What we will unable to maintain will certainly crash. And we will not make
such too complex software any more (after several attempts with sound failures).
That's simple. Just the same reasons as for not to build a 100km-high tower.

> It will be a
> virtual reality with its own virtual problems, if you wish. (:-))

Well, virtual reality is not so big challenge actually. Even nanotechnologies
constitute substantially bigger challenge, because they may easily ruin much
more our "axioms of impossible", which may appear vital for our implicit logic.



Alexander Kopilovitch                      aek@vib.usr.pu.ru
Saint-Petersburg
Russia



  parent reply	other threads:[~2003-08-08 23:44 UTC|newest]

Thread overview: 47+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-07-30 11:32 XML DOM Binding for Ada 95 - matter of style DENNY VRANDECIC
2003-07-30 12:33 ` Martin Dowie
2003-07-30 15:20   ` Denny Vrandecic
2003-07-30 16:33     ` Stephen Leake
2003-07-31 10:57       ` Marin David Condic
2003-07-31 11:27         ` Preben Randhol
2003-07-31 13:10           ` Matthew Heaney
2003-07-31 19:04             ` Simon Wright
2003-08-02 14:40               ` Matthew Heaney
2003-07-31 20:25             ` Randy Brukardt
2003-08-01 11:46           ` Marin David Condic
2003-08-02  3:40             ` Matthew Heaney
2003-08-02 12:08               ` Marin David Condic
2003-08-02 14:46                 ` Matthew Heaney
2003-08-02 21:25                   ` Ed Falis
2003-08-05 19:59                   ` Marin David Condic
2003-08-03 16:42                 ` Matthew Heaney
2003-08-04  8:04                   ` Dmitry A. Kazakov
2003-08-05  8:00                     ` Georg Bauhaus
2003-08-05 11:46                       ` Dmitry A. Kazakov
2003-08-05 13:34                         ` Georg Bauhaus
2003-08-06  9:03                           ` Dmitry A. Kazakov
2003-08-06 18:15                             ` signature like constructions (was: Re: XML DOM Binding for Ada 95 - matter of style) Georg Bauhaus
2003-08-07 10:12                               ` Dmitry A. Kazakov
2003-08-07 16:22                                 ` signature like constructions Georg Bauhaus
2003-08-08  8:31                                   ` Dmitry A. Kazakov
2003-08-08 10:12                                     ` Robert I. Eachus
2003-08-08 13:29                                       ` Dmitry A. Kazakov
2003-08-08 19:37                                         ` Robert I. Eachus
2003-08-09  0:58                                           ` Alexander Kopilovitch
2003-08-09  7:39                                             ` Robert I. Eachus
2003-08-10  1:30                                               ` Alexander Kopilovitch
2003-08-10  4:11                                                 ` Robert I. Eachus
2003-08-11 10:25                                           ` Dmitry A. Kazakov
2003-08-08 23:44                                         ` Alexander Kopilovitch [this message]
2003-08-11  9:54                                           ` Dmitry A. Kazakov
2003-08-11 14:59                                             ` Alexander Kopilovitch
2003-08-12  9:54                                               ` Dmitry A. Kazakov
2003-08-13 22:28                                                 ` Alexander Kopilovitch
2003-08-09  8:32                                       ` Simon Wright
2003-08-09 15:32                                         ` Robert I. Eachus
2003-08-07 12:52                             ` XML DOM Binding for Ada 95 - matter of style Matthew Heaney
2003-08-07 15:03                               ` Dmitry A. Kazakov
2003-08-07 12:28                           ` Matthew Heaney
2003-08-05 20:05                   ` Marin David Condic
2003-07-30 16:34     ` Martin Dowie
2003-07-30 17:54 ` tmoran
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox