Re: poprawność algorytmu - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › poprawność algorytmu › Re: poprawność algorytmu

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.chmurka.net!.POSTED!not-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: poprawność algorytmu
Date: Sat, 28 Mar 2015 11:54:39 +0100
Organization: news.chmurka.net
Lines: 16
Message-ID: <mf6188$t4h$1@srv.chmurka.net>
References: <4...@g...com>
<d...@g...com>
<meti4e$osd$1@srv.chmurka.net>
<f...@g...com>
<mevfpd$gpa$1@srv.chmurka.net>
<e...@g...com>
<mf1tnf$d48$1@srv.chmurka.net>
<5...@g...com>
<mf4eao$a9t$1@srv.chmurka.net>
<2...@g...com>
<7...@g...com>
NNTP-Posting-Host: 78.31.215.218
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: srv.chmurka.net 1427540040 29841 78.31.215.218 (28 Mar 2015 10:54:00 GMT)
X-Complaints-To: abuse-news.(at).chmurka.net
NNTP-Posting-Date: Sat, 28 Mar 2015 10:54:00 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101
Thunderbird/31.5.0
In-Reply-To: <7...@g...com>
X-Authenticated-User: ajarzabek
Xref: news-archive.icm.edu.pl pl.comp.programming:207691
[ ukryj nagłówki ]
On 28/03/2015 10:47, g...@g...com wrote:
> W dniu sobota, 28 marca 2015 10:10:20 UTC+1 użytkownik Maciej Sobczak napisał:
>>> w przeciwieństwie do niekompletnego dowodu, który jest
>>> czystym marnotrawstwem.
>
> istotnie, rozumowanie albo czegoś dowodzi (i wtedy jest dowodem), albo
> nie dowodzi (i wtedy nie jest dowodem; wtedy może najwyżej być próbą
> perswazji)
>
> jakoś nie umiem w swojej głowie oddzielić znaczeń sformułowań "niekompletny
> dowód" od "test",

Przez "niekompletny dowód" miałem na myśli to, co się ma pomiędzy
rozpoczęciem przeprowadzania formalnego dowodu, a zakończeniem go. Jeśli
zacząłeś dowodzić w poniedziałek i skończyłeś w piątek, to to co miałeś
w środę to był niekompletny dowód.