Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > pl.comp.programming > #28858
| From | "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> |
|---|---|
| Newsgroups | pl.comp.programming |
| Subject | Re: Testy losowości liczb |
| Date | 2016-09-27 00:04 +0000 |
| Organization | solani.org |
| Message-ID | <slrnnujduh.9h3.dozzie@jarowit.net> (permalink) |
| References | (13 earlier) <efd2f8cf-d52b-4dc0-a90c-0389cf5b85cb@googlegroups.com> <slrnnuieio.9h3.dozzie@jarowit.net> <dbfd1dca-bad0-4abb-b164-bc3dc920f7d5@googlegroups.com> <slrnnuj1up.9h3.dozzie@jarowit.net> <fa418b9d-276a-4269-9728-f4948d6ce75b@googlegroups.com> |
On 2016-09-26, M.M. <mmarszik@gmail.com> wrote: >> > [...] problem stopu to ustalenie czy dany ciąg instrukcji zakończy >> > się dla każdego zbioru danych wejściowych. Jaki tutaj widzisz błąd? >> >> W tym, że problem stopu to zadanie stworzenia *uniwersalnego* programu, >> który rozstrzyga, czy zadany mu na wejściu program się zatrzyma. > > Opowiem Ci kawał. Jeden facet pyta się drugiego: > - widzisz las? > - nie, bo drzewa mi zasłaniają. > > Przecież to jest jedno i to samo! Otóż nie. Ty chcesz ograniczać długość danych wejściowych i się awanturujesz, że przecież to wykonalne. Problem stopu nie na tym polega. >> Jeśli nagle ograniczasz maksymalny możliwy rozmiar programu wejściowego, > Ależ nie ograniczyłem. O? To nie bzdurzyłeś o uruchamianiu na komputerze nieograniczonym jedynie programów, które się zmieszczą na rzeczywistym komputerze (czyli są ograniczone przez, powiedzmy, 1TB kodu)? > Problem stopu jest rozstrzygalny, tylko nie istnieje program o skończonym > rozmiarze który by umiał rozstrzygnąć dla każdego programu. Program który > rozstrzyga dla każdego programu ma nieskończony rozmiar. O widzisz, czyli nagle mamy problem rozstrzygalny, którego jednak się nie da rozstrzygnąć? Cieszę się, że przynajmniej w tej drugiej części jednak się zgadzamy. -- Secunia non olet. Stanislaw Klekot
Back to pl.comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-23 00:16 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-23 10:32 +0200
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-23 11:12 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-23 02:54 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-23 14:00 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-23 05:17 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-23 19:27 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-23 10:45 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-24 13:35 +0200
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-24 05:12 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-24 14:18 +0200
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-24 13:38 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-24 13:56 +0200
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-24 14:09 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-24 14:36 +0200
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-23 03:19 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-23 13:55 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-23 10:47 -0700
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-23 18:06 -0700
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-25 10:15 -0700
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-25 11:25 -0700
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-25 11:48 -0700
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-25 12:36 -0700
Re: Testy losowości liczb "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> - 2016-09-25 21:03 +0000
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-25 15:53 -0700
Re: Testy losowości liczb "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> - 2016-09-26 09:02 +0000
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-26 07:19 -0700
Re: Testy losowości liczb "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> - 2016-09-26 15:09 +0000
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-26 12:27 -0700
Re: Testy losowości liczb "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> - 2016-09-26 20:40 +0000
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-26 14:07 -0700
Re: Testy losowości liczb "Stachu 'Dozzie' K." <dozzie@go.eat.some.screws.spammer.invalid> - 2016-09-27 00:04 +0000
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-26 17:22 -0700
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-27 09:04 +0200
Re: Testy losowości liczb godek.maciek@gmail.com - 2016-09-27 03:41 -0700
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-27 09:25 -0700
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-27 09:11 -0700
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-27 19:06 +0200
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-27 10:16 -0700
Re: Testy losowości liczb Tomasz Kaczanowski <kaczus@dowyciecia_poczta.onet.pl> - 2016-09-28 09:55 +0200
Re: Testy losowości liczb "M.M." <mmarszik@gmail.com> - 2016-09-28 03:51 -0700
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-25 14:20 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-25 14:47 +0200
Re: Testy losowości liczb Borneq <borneq@antyspam.hidden.pl> - 2016-09-25 15:07 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-25 15:11 +0200
Re: Testy losowości liczb bartekltg <bartekltg@gmail.com> - 2016-09-25 14:20 +0200
csiph-web