On Wednesday, September 28, 2016 at 9:55:41 AM UTC+2, Tomasz Kaczanowski wrote:
> W dniu 2016-09-27 19:16, M.M. pisze:
> > On Tuesday, September 27, 2016 at 7:06:39 PM UTC+2, bartekltg wrote:
> >> On 27.09.2016 18:11, M.M. wrote:
> >>
> >>>
> >>> Jest to szczególny przypadek, bo program który rozstrzyga
> >>> może mieć nieskończony rozmiar.
> >>
> >> Nie może.
> >
> > Dlaczego nie może? Taśma jest nieskończona, to zmieści się program o
> > nieskończonym rozmiarze, czyli może.
>
> Aż przypomniał mi się stary dowcip, że IBM stworzył dysk o nieskończonej
> pojemności, pokazany będzie, jak tylko skończy się formatować.
>
Dowcip miły, ale mam nadzieję że nie użyłeś tego dowcipu
jako argumentu na nic, bo dowcip nie jest adekwatny do
naszej rozmowy. Dysk jest bytem fizycznym. Taśma maszyny
turinga jest bytem teoretycznym. Dwa zupełnie inne byty.
Na maszynie turinga zmieści się program o nieskończonym
rozmiarze, więc istnieje program który rozstrzyga problem
stopu dla każdego programu o skończonym rozmiarze.