Dyskusja:Problem stopu

Z Wikipedii

Jeśli UMT miałaby wykonać samą siebie to należałoby jej przekazać swój własny kod. Ale skoro tak, to żeby jej kopia wykonywana na niej samej działała trzeba jej przekazać jej własny kod. Idąc tak dalej dochodzimy do tego że ilość danych które trzebaby przekazać do UMT jest nieskończona. Czy możemy tu rozpatrywać przypadki w których algorytm dostaje na wejściu nieskończenie wiele danych? A jeśli tak to dlaczego możemy? I czy możemy wtedy założyć, że każdy algorytm dostający niekończenie wiele danych nigdy się nie zatrzyma? A jeśli tak to UMT chyba nie może istnieć, czyli dowód 1 niczego nie dowodzi, bo z fałszu może wynikać wszystko (zgodnie z logiką), a za fałsz w tym dowodzie możemy uznać próbę użycia nieistniejącego algorytmu UMT. JaBoJa 00:08, 7 paź 2006 (CEST)

Oczywiście, że nie można na UMT uruchomić UMT, która uruchomi kolejną UMT i tak w nieskończoność, ale to ani nie dowodzi nieistnienia UMT ani nie ma związku z problemem stopu. Dowód 1 jest rzeczywiście niepoprawny (a przynajmniej wymaga dopracowania), ponieważ UMT przyjmuje na wejściu zarówno algorytm (numer maszyny Turinga) jak i dane dla tego algorytmu, co zostało w "dowodzie" przemilczane. Nie ma sensu pytać o to, czy dana maszyna Turinga się zatrzyma bez wskazania danych, na których ma ona pracować. Dowód dla problemu stopu zwykle podaje się w oparciu o tzw. argument przekątniowy Cantora, podobny do tego, który został wykorzystany w dowodzie nierównoliczności zbioru liczb rzeczywistych i naturalnych. Jeśli chodzi o istnienie UMT, to u niektórych autorów można znaleźć konkretne przykłady takich maszyn (oczywiście istnieje ich nieskończenie wiele). --Krzysztof G 15:50, 22 paź 2006 (CEST)

Dowód nierozstrzygalności to kompletny bełkot. Przepiszę, jak znajdę chwilę czasu. Scobac2 16:31, 13 lip 2007 (CEST)

JaBoJa: Twoje wątpliwości są słuszne, bo tzw. dowód (1) jest niepoprawny, a co najmniej bardzo bełkotliwy z tego mniej więcej powodu. Konkretnie: MT zatrzymuje się, jeżeli algorytm zatrzymuje się na jakich danych? Na wszystkich czy na jakichś konkretnych? Jeżeli na wszystkich, to co wynika z tego, że UMT się zatrzymuje na swoim własnym kodzie? Tylko tyle, że UMT nie zatrzymuje się na wszystkich danych. Tu nie ma żadnej sprzeczności, niczego to nie dowodzi. Dowód (2) to czysty bełkot. Dopisałem nowy dowód, poprawny (mam nadzieję) i proponuję pozostałe 2 usunąć. Bklin 00:28, 7 sie 2007 (CEST)

Na moje oko dowód jest poprawny. Jest to standardowy dowód, który się znajduje we wszystkich chyba książkach i podawany jest na wykładach. Scobac2 11:00, 9 sie 2007 (CEST)

Też mi się wydaje że jest ok, chociaż nie jestem ekspertem. Wszystskie argumenty tych programów mają skończony rozmiar więc nie widzę błędu, a reszta to standardowy dowód nie wprost.

Prokurator chce uniewinnienia matki utopionego 4-latka

Prokuratura chce uniewinnienia Barbary S., matki 4-letniego Michałka, utopionego w 2001 r. w Wiśle przez jej konkubenta. O to samo wnosi też obrona i sama S. 16 stycznia warszawski sąd okręgowy wyda wyrok w sprawie tej głośnej zbrodni.

Debata o kryzysie gazowym: "Praw fizyki pan nie zmieni. Gaz płynie"

Nie wiadomo, kto odpowiada za energetykę - stwierdził w Sejmie poseł PiS Paweł Kowal. Kowalowi odpowiedział minister gospodarki Waldemar Pawlak. Zapewnił, że bieżącą polityką energetyczną kieruje jego resort. - Praw fizyki pan nie zmieni. Gaz płynie - zwrócił się do Kowala, który uzasadniając debatę mówił, że gazu nie ma.

Polska rodzina wróciła z Gazy

Pierwsza z polskich rodzin ze Strefy Gazy wróciła do kraju. Pani Bożena, jej palestyński mąż oraz trójka dzieci tuż po 12.00 wylądowali na lotnisku Okęcie. Z Gazy rodzina została ewakuowana przez przejście z Izraelem w miejscowości Erez.

Chlebowski: Plan antykryzysowy PiS jest nie do zaakceptowania

Pakiet działań antykryzysowych, zaprezentowany przez PiS, jest dla Platformy nie do zaakceptowania - oświadczył szef klubu PO Zbigniew Chlebowski. - Dla takich propozycji nie ma i nie będzie nigdy zgody. To propozycje, które rujnują finanse publiczne - powiedział.

PiS ws. kryzysu: Rząd się nie wywiązuje, my mamy plan

Przewodniczący Komisji Europejskiej Jose Barroso powiedział, że państwa europejskie nie mogą być obojętne wobec kryzysu - przypomniał na konferencji prasowej Jarosław Kaczyński. - Do Warszawy ten apel nie dotarł - powiedział prezes PiS. Jak stwierdził, skoro rząd nie jest w stanie wykonywać swoich obowiązków, musi to zrobić opozycja. Na konferencji przedstawiono plan PiS wobec kryzysu.

Dożywocie za zabójstwo 12-letniej dziewczynki?

Dożywotnie więzienie grozi mieszkańcowi Szczecina Mariuszowi S., którego prokuratura oskarżyła o zabójstwo 12-letniej dziewczynki

Prezydium Episkopatu w obronie abp. Kowalczyka

Polski Episkopat broni nuncjusza papieskiego, któremu niektóre media i ksiądz Isakowicz Zaleski zarzucają świadome kontakty z komunistyczną Służbą Bezpieczeństwa. Kościelna komisja historyczna ustaliła niedawno, że abp Kowalczyk był zarejestrowany bez swojej wiedzy jako kontakt informacyjny.

Bombowy proces Dody

- To nie jest cyrk, to nie są jaja - powiedziała Dorota "Doda" Rabczewska po tym jak pojawiła się w warszawskim sądzie na rozprawie o naruszenie czci. Po czym ostentacyjnie zaczęła jeść żelki i częstować nimi swojego adwokata.

SLD chce "białej księgi" w sprawie polityki gazowej Polski

SLD chce, by powstała tzw. biała księga w sprawie polityki gazowej Polski.

Sejm: PO i PiS przeciw nowelizacji ustawy o CBA

Sejm odrzucił w pierwszym czytaniu projekt nowelizacji ustawy o Centralnym Biurze Antykorupcyjnym. Według projektu nadzór nad Biurem miałby objąć minister odpowiedzialny za sprawy wewnętrzne, a nie - jak dotychczas - premier.