Re: Definicja algorytmu (było: Program komputerowy a prawo)

Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: p...@g...pl (Piotr Dembiński)
Newsgroups: pl.soc.prawo
Subject: Re: Definicja algorytmu (było: Program komputerowy a prawo)
Date: Mon, 18 Jun 2007 16:17:32 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 21
Message-ID: <8...@h...domek>
References: <7...@n...onet.pl> <a...@z...router>
<8...@h...domek> <q...@z...router>
<8...@h...domek> <v...@z...router>
<8...@h...domek> <f...@z...router>
<8...@h...domek> <8...@h...domek>
<1qfzdd9vst4o9$.qmev2xeo1yby.dlg@40tude.net>
NNTP-Posting-Host: dif107.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1182175248 24574 83.23.213.107 (18 Jun 2007 14:00:48 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Mon, 18 Jun 2007 14:00:48 +0000 (UTC)
Cancel-Lock: sha1:ZmJW40al45kYcJe+cSjCEhiaR80=
X-User: pdemb
User-Agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux)
Xref: news-archive.icm.edu.pl pl.soc.prawo:468104
[ ukryj nagłówki ]
"Henry (k)" <moj_adres_to_henrykg@na_serwerze_gazeta.pl> writes:

> Dnia Sun, 17 Jun 2007 22:50:24 +0200, Piotr Dembiński napisał(a):
>
>>> Uporządkowany zupełnie zbiór elementarnych czynności, wykonanie
>>> których spowoduje osiągnięcie zamierzonego celu.
>>
>> Gdyby ktoś był ciekaw, to w powyższej definicji jest oczywiście
>> błąd, podobnie zresztą jak w definicji algorytmu znajdującej się
>> w słowniku udostępnionym pod adresem http://www.sjp.pwn.pl.
>
> To podaj właściwą definicję.

Większość definicji, z którymi się spotkałem, ogranicza zbiór
algorytmów do zbioru takich sekwencji czynności, wykonanie których
spowoduje osiągnięcie zamierzonego celu w skończonej liczbie kroków.
Zgodnie z tą definicją nie istnieje algorytm wypisania pełnego
rozwinięcia binarnego liczby 'pi'.

--
http://www.piotr.dembiński.prv.pl