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

eGospodarka.pl › Prawo › Grupy › pl.soc.prawo › Program komputerowy a prawo › Re: Definicja algorytmu (było: Program komputerowy a prawo)

Path: news-archive.icm.edu.pl!news.gazeta.pl!not-for-mail
From: "Henry (k)" <moj_adres_to_henrykg@na_serwerze_gazeta.pl>
Newsgroups: pl.soc.prawo
Subject: Re: Definicja algorytmu (było: Program komputerowy a prawo)
Date: Mon, 18 Jun 2007 17:44:45 +0200
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 23
Message-ID: <kugkhqecaexc.bhcqxivqnveb$.dlg@40tude.net>
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>
<8...@h...domek>
NNTP-Posting-Host: giant.systemhaus.net
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-2"
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1182181436 20851 212.125.40.21 (18 Jun 2007 15:43:56 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Mon, 18 Jun 2007 15:43:56 +0000 (UTC)
X-User: henrykg
X-Antivirus: avast! (VPS 000715-0, 2007-02-20), Outbound message
X-Antivirus-Status: Clean
User-Agent: 40tude_Dialog/2.0.15.1pl
Xref: news-archive.icm.edu.pl pl.soc.prawo:468135
[ ukryj nagłówki ]
Dnia Mon, 18 Jun 2007 16:17:32 +0200, Piotr Dembiński napisał(a):

>>>> Uporządkowany zupełnie zbiór elementarnych czynności, wykonanie
>>>> których spowoduje osiągnięcie zamierzonego celu.
>>>

> 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'.

Też się z nia spotkałem i imho odpowiada ona definicji podanej powyżej.
W końcu "osiągniecie celu" zakłada że jest on "osiągalny". Czyli
opis na wyliczenie liczby pi z dokładnością do 20 cyfr po przecinku
już algorytmem będzie. Z drugiej strony istnieją algorytmy rekurencyjne
- na przykład taki rysujący fraktale w teorii może być nieskończony -
ale to już nie w wersji komputerowej ;-)

Tak w ogóle to NTG ;-)

Pozdrawiam,
Henry