🚀 go-pugleaf

Pan WM napisał:

>>> Proste sprawy trzeba tłumaczyć jak dziecku.
>> Tak! Dokładnie tak uważam!
> W tym przypadku można problem sprowadzić do oceny prawdopodobieństwa
> subiektywnego, że danej osobie będzie wystarczająco ciepło. Funkcjonują
> już takie systemy, które rozpoznają ile osób jest w pomieszczeniu i jak
> są ubrane. Na tej podstawie sterownik wylicza przy jakiej temperaturze
> będzie maksimum prawdopodobieństwa, że ustawiona temperatura zadowoli
> wszystkich.

Stwierdzam, ze głosowanie, które się tak odbywa, w poważnych instytucjach 
uważane byłoby za nieważne. Są trzy metody głosowania, pierwsza przez
aplauz, znaczy się, że wszyscy głosują. Druga metoda -- kulkami. Są kulki
czarne i czerwone, które otrzymuje każdy głosujacy, czy... przepraszam,
białe i czarne, które otrzymuje każdy głosujacy. Czarna za... lub
odwrotnie, czarna za, y... czarna przeciw, biała za, jeżeli nie odwrotnie.

> To jest bardziej sprawiedliwe, niż narzucanie innym swojego upodobania
> przez jakiegoś tupeciarza trzymającego pilota do klimatyzacji.

Jest trzecia metoda, przez podniesienie rąk. Ta metoda jest najdoskonalsza.
 
> Grupy zawodowe często tworzą własny żargon. 
> Robią to głównie po to, by usprawnić porozumiewanie się we własnym
> gronie, nawet jeżeli musi się to odbywać kosztem poprawności językowej.
> Osobie postronnej wydaje się, że to bełkot, ale to tylko pozory.

No dobra, niech będzie, że tylko pozorują.

>>> Pewne rzeczy rozumiemy intuicyjnie, ale nie potrafimy opisać
>>> matematycznie. Teraz nie potrafimy, ale w przyszłości może się
>>> to zmienić. Ważne by wiedzieć czego szukać, w jakim kierunku iść.
>> To ile mamy czekać na owoce? Próby stworzenia użytecznego narzędzia
>> z logiki rozmytej trwają już pół wieku. Co w tym czasie osiągnięto?
>> Proszę o przykład jakiegoś produktywnego twierdzenia pochodzącego
>> z logiki rozmytej.
>
> Logika rozmyta jest szeroko stosowana w systemach eksperckich i AI.
> To, że matematycy czują się sfrustrowani małą liczbą twierdzeń,
> to ich problem.

Czyż logika rozmyta nie powstała aby jako dział matematyki? Czyż nie
miała ambicji uzupełnienia logiki boolowskiej, tak jak prace Einsteina
uzupełniły dokonania Newtona? Matematyk porzuca wszekie nadzieje, gdy
na jaw wychodzi, że w tak dobrze zapowiadającym się obszarze nie da się
sformułować żadnego porządnego twierdzenia. To nie jest frustracja. Życie.

> W tym przypadku to fizycy i inżynierowie inspirują matematyków.

Przecież nie tak było -- to inżynier z matematycznym zacięciem
zainspirował się Tarskim i Łukasiewiczem.

> Zresztą z deltą Diraca było podobnie. 
> Fizycy już dawno ją stosowali z powodzeniem, 
> a matematykom nie pasowało, że nie jest różniczkowalna.

-- Johann Peter Gustav Lejeune Dirichlet (1805-1859)
-- Paul Adrien Maurice Dirac (1902-1984)

Ten pierwszy, niemal równo o wiek wcześniej żyjący, wydumał sobie funkcję,
co to nie jest różniczkowalna w całej swej dziedzinie. I to nie byle jakiej
dziedzinie, bo będącej całą osią liczb rzeczywistych. Matematycy nie pobili
go za to (więc, niech będzie, że podobnie).

>>> Dałem tylko przykład praktycznego zastosowania terminu "wysoka
>>> temperatura". Słowo temperatura pochodzi z łaciny, z czasów kiedy
>>> nie znano jeszcze skali termometrycznej.
>> 
>> Podanie tej informacji jaki miało cel? Że jak słowo z łaciny, to od
>> razu mądrzejsze? Czy ono z łaciny, czy ze słowniczka w podręczniku do
>> logiki rozmytej -- nie ma ma to znaczenia w praktycznym zastosowaniu.
>
> Jeżeli nie było skali termometrycznej, to zapewne posługiwano się skalą 
> opisową. Być może mówiono, że jest temperatura ciepła, lub zimna.
> Jeżeli tak było, to mogło w tej formie przetrwać do naszych czasów.

Dobra, dobra. O co chodziło z tą łaciną? Proszę mi tu nie rozmywać logiki
swoich własnych wywodów (strumienia świadomości czy co to tam jest).

>>> Myślę, że dalsza dyskusja nie wniesie już niczego nowego, więc
>>> proponuję ją zakończyć.
>> 
>> Dla mnie od samego początku było jasne, że nie wniesie. Więc jako
>> powód do zakończenia, przesłanka ta jest nieistotna.
>
> Dziękuję za szczerość.
> Ostatnio modne jest szukanie dowodów pod z góry założoną tezę.

Ostatnio?! Jak wobec tego odbywało się to przedostatnio? Pisano dowód,
a potem starano się dopasować do niego jakieś twierdzenie?!

Jarek

-- 
Jest matematyk w Brukseli,
Co chujem mnoży i dzieli.
  Dodaje i odejmuje.
  A wszystko wyłącznie chujem.
Takiegoście nie widzieli!