-
Data: 2015-03-28 05:04:03
Temat: Re: poprawność algorytmu
Od: "M.M." <m...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Friday, March 27, 2015 at 1:21:22 PM UTC+1, g...@g...com wrote:
> W dniu piątek, 27 marca 2015 12:24:48 UTC+1 użytkownik M.M. napisał:
> > On Friday, March 27, 2015 at 10:57:26 AM UTC+1, g...@g...com wrote:
> > > Oczywiście pewien problem natury epistemicznej wiąże się ze sformułowaniem
> > > odpowiedniej listy aksjomatów, które miałyby odzwierciedlać rozważany
> > > przez nas problem
> > Właśnie o tym pisałem. Poprawność dowodu, to też jego poprawność w
> > odzwierciedlaniu oryginalnego zadania.
>
> W takim razie zgoda -- tego rodzaju "poprawność" jest niemożliwa do uzyskania.
> Należy jednak mieć na uwadze, że z formalnego punktu widzenia poprzez
> "poprawność" dowodu rozumie się to, czy każdy krok jest zgodny z regułami,
> natomiast w tym przypadku raczej należałoby użyć słowa "adekwatność"
> (na przykład teza Churcha-Turinga postuluje adekwatność maszyny Turinga
> jako modelu ujmującego intuicyjne rozumienie obliczalności)
Mój (hipotetyczny) klient zamawia najlepszy program do gry w
szachy o łącznym rozmiarze kodu i danych nie większym niż 1MB. Napisałem
taki program. Jak mam przeprowadzić dowód, że nie istnieje w
ramach tego rozmiaru lepszy program?
>
> Jednak z drugiej strony jeśli mamy na przykład dowód indukcyjny twierdzenia,
> że funkcja "append" zdefiniowana (dajmy na to w czymś haskelopodobnym) jako
>
> append [] y = y
> append (h:t) y = h:(append t y)
>
> jest operatorem łącznym, tzn dla dowolnych skończonych list a, b, c
> append (append a b) c === append a (append b c)
>
> to tak naprawdę trudno jest to kwestionować i podważać, tzn. albo uznajemy
> regułę indukcji, i wtedy musimy uznać dowód za poprawny, albo jej nie uznajemy,
> i obawiamy się, że "mogą istnieć takie listy, dla których append wcale
> nie będzie się zachowywał jako operator łączny" -- choć byłoby czymś
> szokującym, gdyby ktoś był w stanie podać pozbawione błędów rozumowanie,
> które pozwalałoby taki obiekt skonstruować. Tym bardziej trudno byłoby
> tutaj sformułować zarzut nieadekwatności, bo nie za bardzo można wskazać
> jakąś zewnętrzną dziedzinę problemową, do której mielibyśmy odnosić
> dowód
>
> (a przy okazji jak kogoś ciekawi, to znajdzie ten dowód w notatkach
> http://www.cl.cam.ac.uk/teaching/Lectures/funprog-jr
h-1996/all.pdf
> na stronie 86)
Następne wpisy z tego wątku
- 28.03.15 09:40 Maciej Sobczak
- 28.03.15 09:45 g...@g...com
- 28.03.15 10:10 Maciej Sobczak
- 28.03.15 10:47 g...@g...com
- 28.03.15 10:54 M.M.
- 28.03.15 11:46 M.M.
- 28.03.15 11:54 Andrzej Jarzabek
- 28.03.15 13:08 Andrzej Jarzabek
- 28.03.15 18:22 Maciej Sobczak
- 28.03.15 19:38 Roman W
- 28.03.15 19:43 Roman W
- 28.03.15 19:50 A.L.
- 28.03.15 19:51 A.L.
- 28.03.15 21:16 Andrzej Jarzabek
- 29.03.15 00:13 Maciej Sobczak
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-07-02 Realme 7 Na co zmienić?
- 2024-06-27 Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-07-02 znalazłem samochód ;)
- 2024-07-02 Pierwszeństwo łamane
- 2024-07-02 zamek
- 2024-07-02 Akumulatory VRLA
- 2024-07-03 Białystok => Inżynier DevOps Conexa First (Kontraktor) <=
- 2024-07-03 MĂźnchen => Test Development Engineer (m/w/d) <=
- 2024-07-03 Warszawa => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-07-03 Warszawa => Programista Full Stack (.Net Core) <=
- 2024-07-02 Kraków => Spedytor międzynarodowy <=
- 2024-07-02 Poznań => Senior React Native Developer <=
- 2024-07-02 Rzeszów => Frontend Developer (React) <=
- 2024-07-02 Warszawa => Fullastack (Java) Developer <=
- 2024-07-02 reparacje