On 2013-05-08, Edek <e...@g...com> wrote:
> Dnia Tue, 07 May 2013 20:33:29 +0200 po głębokim namyśle slawek rzekł:
>
>> Użytkownik "A.L." napisał w wiadomości grup
>> dyskusyjnych:nocio857l62pekd2ierqbe9rk9b7c7i664@4ax.
com...
>>
>>>Wiesz co, zanim sie zaczniesz madralic, to troche poczytaj. Bo na razie
>>>opowiadasz glupoty. NA temat matematyk ieksperymantalnej zwlaszcza
>>
>> Sorry, ale nie znam się na tarocie, UFO, wróżeniu z fusów i dowodzeniu
>> twierdzeń metodą Chucka ("Chuck policzył dla uspokojenia w pamięci od
>> zera do nieskończoności, dla pewności dwa razy"). To co wiem o
>> "eksperymentalnej matematyce" kwalifikuje ją do jednej z tych czterech
>> rzeczy. Nie wiem co prawda jeszcze do której konkretnie, ale nie jestem
>> aż tak dociekliwy.
>
> Może się w tym momencie wygłupię, bo nie jestem matematykiem, ale
> o ile część materiałów sprawia wrażenie lekkiej zdzierki, to lista
> rzeczy na wiki wydaje się być sprawdzaniem komputerowym metodą
> brute force prawdziwości niektórych hipotez. Chyba trzeba się
> mocno nudzić żeby to ćwiczyć, ale dla laika takiego jak ja
> wygląda na 'legit'. Mylę się?

Głównie w kwestii zastosowania metody brute force, czyli przeglądu
wyczerpującego przestrzeń. Ale twoja intuicja, ZTCW, jest słuszna:
chodzi o komputerowe weryfikowanie czegoś, czego weryfikacja ręczna
byłaby bardzo pracochłonna i żmudna, a więc podatna na błędy.

--
Secunia non olet.
Stanislaw Klekot