From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5cb36983754f64da
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed.stueberl.de!news-mue1.dfn.de!news-ham1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: No call for Ada (was Re: Announcing new   scripting/prototyping
 language)
Date: Mon, 3 May 2004 11:46:27 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c75bej$7do$1@a1-hrz.uni-duisburg.de>
References: <cvb190drh0f8sams9ckv54l1e50h7pmqaf@4ax.com>
 <mailman.31.1083289576.313.comp.lang.ada@ada-france.org>
 <e80490ldm8nkulqt9itss3igeuk9hresef@4ax.com>
 <c6ts8r$pna$1@a1-hrz.uni-duisburg.de>
 <erub90hn3boo0gocp3hn7jnhv4qi9eql25@4ax.com>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1083584787 7608 134.91.1.34 (3 May 2004
 11:46:27 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 3 May 2004 11:46:27 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: controlnews3.google.com comp.lang.ada:202
Date: 2004-05-03T11:46:27+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
 
: But we can build cars, so physics and chemistry are indeed sciences.

But some people feel better after visiting an astrologer, so
astrology is indeed science?

 
: The result of that experiment shown that Marxism is not a science.

If existing societies claiming to be "Marxist" show that socalled
Marxism is science, what definition of science is that?
Even with simple formal methods you face the HALTing problem, among
other obstacles. Hybris aside.
Formal science only deals with formal abstractions.

Are you saying that a "successful" building of a political framework
for a society is an indication of "science" in political reasoning?

David Gries has written "The Science of Programming". The book
is not about everything that a scientist might consider
important in a scientific study of programming, is it?
So given software engineering, which you seem to think is an
indication of software science, what exactly is the subject
of that science?

:>And I don't take it for granted that medicine will be more successful
:>as soon as it is praticed by body engineers.
: 
: Are body shamans any better?

AFAICT, neither of them restrict the background of their techniques
to nothing but scientific engineering, or to nothing but "spirituality".
What's more, a western doctor may treat a patient more, the same,
or less successful than a shaman, in any single case. They might even
work together.


-- Georg