-
X-Received: by 10.157.55.181 with SMTP id x50mr1813618otb.7.1474993534436; Tue, 27
Sep 2016 09:25:34 -0700 (PDT)
X-Received: by 10.157.55.181 with SMTP id x50mr1813618otb.7.1474993534436; Tue, 27
Sep 2016 09:25:34 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!enother.net!enother.net!p
eer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!x192no5373253itb
.0!news-out.google.com!b4ni14145iti.0!nntp.google.com!x192no5373242itb.0!postne
ws.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 27 Sep 2016 09:25:34 -0700 (PDT)
In-Reply-To: <e...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=77.254.35.87;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
NNTP-Posting-Host: 77.254.35.87
References: <ns1l8a$oh4$1@node1.news.atman.pl> <ns2paj$lu0$1@node2.news.atman.pl>
<ns2rle$o74$1@node2.news.atman.pl>
<6...@g...com>
<f...@g...com>
<a...@g...com>
<4...@g...com>
<d...@g...com>
<b...@g...com>
<5...@g...com>
<s...@j...net>
<a...@g...com>
<s...@j...net>
<e...@g...com>
<s...@j...net>
<d...@g...com>
<s...@j...net>
<f...@g...com>
<s...@j...net>
<4...@g...com>
<nsd5lh$6dr$1@node1.news.atman.pl>
<e...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b...@g...com>
Subject: Re: Testy losowości liczb
From: "M.M." <m...@g...com>
Injection-Date: Tue, 27 Sep 2016 16:25:34 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5873
X-Received-Body-CRC: 2920681161
Xref: news-archive.icm.edu.pl pl.comp.programming:209692
[ ukryj nagłówki ]On Tuesday, September 27, 2016 at 12:41:53 PM UTC+2, g...@g...com wrote:
> W dniu wtorek, 27 września 2016 09:04:18 UTC+2 użytkownik bartekltg napisał:
> > On 27.09.2016 02:22, M.M. wrote:
> > > Nie zgadzamy się, bo problem stopu na MT jest rozstrzygalny.
> [...]
> > Jakby nie patrzeć, z każdej strony dupa.
> > A formalniej, istnienie takiej uniwersalnej procedury
> > prowadzi do paradoksu (fałszu). A wiec któreś z założeń
> > jest nieprawdziwe. Nie założyliśmy za wiele, więc albo
> > matematyka się wali, albo załozenie, że procedura stop
> > istenije, jest fałszywe.
>
> Tym niemniej, konstrukcja, którą przedstawił M.M. (która w istocie
> nie dotyczy problemu stopu), wydaje się analogiczna do teorii typów,
> będącej jedną z propozycji rozwiązania Paradoksu Russella
> (o strukturze analogicznej do problemu stopu).
Czy mógłbyś powiedzieć która konstrukcja? Bo było wiele w tym wątku.
Pewnie moja wina, bo niezbyt klarownie piszę i skaczę po zagadnieniach.
> Wydaje się, że tym, czego w istocie dowodzi przedstawiony przez
> Ciebie argument, jest to, że logika dwuwartościowa nie jest
> dość bogata do wyrażania naszych intuicji dotyczących programów
> komputerowych -- bo przecież my jako ludzie nie mamy problemu
> ze zrozumieniem źródła sprzeczności w tym dowodzie. Mianowicie
> dowód ten mówi nam, że pewne programy, które mają explicite
> rozstrzygać o swoich własnych właściwościach, mogą być kłopotliwe
> w analize. (Oczywiście będą również takie, które bez problemu
> rozstrzygają o pewnych swoich właściwościach)
To nie wynika z problemu logiki dwuwartościowej. Logika pięknie
tutaj działa i dowód jest poprawny. Chodzi o to, że logika tutaj
pokazuje nieco inną rzecz niż nierozstrzygalność problemu stopu,
a mianowicie pokazuje szczególny przypadek problemu stopu, gdy
są nałożone ograniczenia na rozmiary programów testowanych i testujących.
> Oczywiście temat jest bardzo słynny i szeroko dyskutowany,
> ale rodzi następujące pytania (gdyby ktoś znał albo umiał
> wymyślić na nie odpowiedzi, prosiłbym o ich tu przedstawienie):
> - czy jeżeli zawęzimy problem stopu tylko do programów, które
> nie odnoszą się do samych siebie, to czy wówczas staje
> się rozstrzygalny?
Jeśli procedura rozstrzygająca ma odpowiednio duży rozmiar względem
procedury rozstrzyganej, to oczywiście tak. Przy stałym lub jakoś
inaczej ograniczonym rozmiarze procedury rozstrzygającej - nie
słyszałem.
> czy może też istnieje jakiś argument,
> w którym nie używa się samoodnośnych programów, a z którego
> również wynika nierozwiązywalność problemu stopu?
Problem stopu jest ogólnie rozstrzygalny, ponieważ MT może udzielić
odpowiedzi czy program się zatrzyma czy nie.
> - czy istnieje jakaś systematyczna procedura rozpoznawania
> programów, które będą popadały w ów paradoks zatrzymywalności?
Pozdrawiam
Następne wpisy z tego wątku
- 27.09.16 19:06 bartekltg
- 27.09.16 19:16 M.M.
- 28.09.16 09:55 Tomasz Kaczanowski
- 28.09.16 12:51 M.M.
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-16 Samo rozładowywanie baterii trakcyjnej w elektryku.
- 2024-05-16 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-16 Warszawa => Interactive/Experience Designer <=
- 2024-05-16 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-16 Zabrze => Junior HelpDesk <=
- 2024-05-16 Warszawa => Technical Lead ( (Java Background)) <=
- 2024-05-16 Szczecin => Senior DevOps Engineer <=
- 2024-05-16 Szczecin => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-16 Śledztwo bodnatury "jak wyrok"? ["likwidator" Polskiego Radia donosi]
- 2024-05-16 Citi... zmiany warunków umowy o kartę kredytową Citibank?
- 2024-05-16 prawo jazdy z Nepalu
- 2024-05-15 Mini Netykieta polskich grup i list dyskusyjnych
- 2024-05-15 Warszawa => Key Account Manager <=
- 2024-05-15 Millenium czyli DEBILE bankowości
- 2024-05-15 Warszawa => Frontend Developer - React <=