-
Data: 2013-05-08 20:14:47
Temat: Re: DCT
Od: "Stachu 'Dozzie' K." <d...@g...eat.some.screws.spammer.invalid> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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
Następne wpisy z tego wątku
- 08.05.13 20:30 firr kenobi
- 12.05.13 06:36 Roman W
- 12.05.13 06:50 Roman W
- 12.05.13 14:09 Michoo
- 13.05.13 08:55 M.M.
- 14.05.13 01:25 Andrzej Jarzabek
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-06-27 Re: Prywatny parking? Pierwsze 10 minut bezplatnie
- 2024-06-27 A co mnie to koooorwa obchodzi?
- 2024-06-28 nawigacja satelitarna
- 2024-06-28 SmartLife/Tuya i osuszanie -- mordowanie z zimną krwią...
- 2024-06-27 położyłem kafelki
- 2024-06-28 Łódź => International Freight Forwarder <=
- 2024-06-28 Łódź => Spedytor Międzynarodowy <=
- 2024-06-28 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-06-28 Sopot => Team Leader E-Commerce for Foreign Markets <=
- 2024-06-28 Warszawa => Senior React Native Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Software .Net Developer <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=
- 2024-06-28 Warszawa => Programista Full Stack .Net <=
- 2024-06-28 Warszawa => Frontend Developer (React) <=