Konkurs na wpis wszechczasów

[Lord Hrabula]

Ogłaszam konkurs na najlepszy wpis blogosfery.

[podbiel]

Hakken i Krótka rozprawa o teorii mnogości

[Lord Hrabula]

Konkurs odwołuję, bo chciałem żeby inny wpis był nominowany. Za taką sytuację możecie dziękować podbielowi.

[DarthMetalus]

Czy mógłby zacny pan Hrabula publicznie zapewnić ogół, że będzie pilnie śledził konkurs, zorganizowany przez siebie i dopilnuje, aby ów doszedł do końca, w przeciwieństwie do pewnego zachodniego jegomościa?

[[Ekspert] 47]

Nie czytam blogów zbyt często, ale nominuję wszystkie wpisy autorstwa ...AAA... na tematy astrofizyczne.

[[Ekspert] Hakken]

Wszystkie wpisy niestety nie mogą zostać tym najlepszym z racji tego, że blogi tworzą łańcuch z kresem górnym należącym do blogów. Istnieje więc element maksymalny $a \in blogi \ \ \ \forall x\in blogi a\ge x$.

[t3tris]

Twój łańcuch jest inwalidą, bo częściowy porządek można stworzyć na zbiorze blogów z relacją <=, nie zaś < (analogicznie >= i >). Słaba nierówność zaś implikuje możliwość istnienia niepojedyńczego elementu maksymalnego. Z tego powodu też uważam, że 47 nie był w błędzie.

Prościej: funkcja wpis -> wartość nie jest bijektywna. Możesz mieć wiele wpisów równie dobrych, w szczególności zatem wiele wpisów najlepszych.

[[Ekspert] Hakken]

Panie t3trisie, miał pan świetną okazję użyć notacji lambda do zapisania tej funkcji, po co tak po plebejsku nazywał ją pan zamiast napisać ?

Co więcej, mieszasz pojęcia. Jeśli wpisy nie tworzą łańcucha, to tworzenie konkursu na najlepszy mija się z celem.

Innym problemem jest to, czy supremum jest obierane.

[Lord Hrabula]

Zamknąć się i wynocha z mojego topiku.

[mateusz(stefan)]

Nominuję wszystkie wpisy Kathai. A jak ktoś się ze mną nie zgadza, to ban.

[[Ekspert] Hakken]

Nie zgadzam się.

[Sevard]

Banuj.

[Rankin]

mode +b

[t3tris]

Szanowny Panie Hakkenie.

Notacja lambda jest przeze mnie darzona głęboką pogardą wywiedzioną wprost z kursu programowania funkcyjnego.

Nie zgodzę się również z Pańskim twierdzeniem dotyczącym bezcelowości organizacji konkursu, gdy bijektywność wyżej wzmiankowanego odwzorowania nie jest w założeniach - w takim przypadku nagrodę główną, która nijak nie jest rzeczowa przyznać można większej ilości wpisów.

Kreślę się z rewerencją.

[[Ekspert] Hakken]

W przypadku braku spełnienia warunku spójności (a więc per saldo bycia łańcuchem) nie można mówić o wpisie najlepszym, gdyż przynajmniej dwa wpisy nie zostały porównane, co przeczy zasadom fair-play.

Polecam się na przyszłość.

[t3tris]

Pozwolę sobie nie zgodzić się po raz kolejny. Myli Czcigodny Pan pojęcia - istnienie elementów wielokrotnych nie niszczy warunku spójności. Relacja <= w niczym nie ustępuje < poza brakiem zapewniania jedyności supremum i infimum. Tym niemniej nie przeszkadza w samym porównywaniu.

Kłaniam się!

[[Ekspert] Hakken]

Jeżeli przyjmiemy, że '<=' jest domknięciem zwrotnym relacji '<', to w rzeczy samej w przypadku '<=' możemy otrzymać wiele elementów maksymalnych, ale żadnego nawiększego. Logicznym wydaje się więc użycie '<', gdyż poszukujemy wpisu najlepszego.

Prawdą jest jednak, że zarówno <= jak i < nie przeczą możliwości osiągnięcia łańcucha.

[Sevard]

@Hakken Skoro piszesz o łańcuchach, to musisz mieć zbiór częściowo uporządkowany. I blogi tworzą właśnie taki zbiór. Pytanie czy w tym zbiorze da się wprowadzić porządek liniowy? Jeśli tak, to jest tylko jeden łańcuch maksymalny i wszystko jest ok, ale moim zdaniem takiego porządku się nie da wprowadzić, bo czasem kilka wpisów wydaje się być równie dobrych (lub częściej równie złych). W tym zbiorze będzie więc wiele różnych łańcuchów maksymalnych i o najlepszym wpisie możemy mówić iff wszystkie te łańcuchy mają wspólny element maksymalny.

[[Ekspert] Hakken]

Sevardzie, cenna uwaga.

Uważam jednak, że jeśli tworzymy taki konkurs, to wszystkie wpisy MUSZĄ znajdować się w jednym łańcuchu. Inaczej nie byłoby uczciwie stwierdzić, że dany wpis jest najlepszy, bo wszak nie został porównany z jakimś innym.

Jeśli jednak jest to zbiór łańcuchów, to najlepiej byłoby stworzyć osobną kategorię dla każdego łańcucha.

[Gość Tebeg]

Zgłaszam to: http://forum.cdaction.pl/index.php?app=blog&module=display&section=blog&blogid=8&showentry=36406

[Sevard]

@Tebeg Nie spamuj, my tu o poważnych rzeczach dyskutujemy.

@Hakken Ale zauważ, że czasem nawet w jednej kategorii nie da się stwierdzić, który wpis jest lepszy. A jeśli wprowadzimy osobną kategorię dla każdego łańcucha, to w ogóle będzie dziwnie, bo może być kilka bardzo podobnych kategorii (które w dodatku mogą się przecinać). I to nie rozwiązuje problemu elementu maksymalnego, bo zamiast kilku elementów maksymalnych dla całego zbioru będziemy mieli tyle samo elementów maksymalnych, ale każdy dla innego łańcucha maksymalnego.

[[Ekspert] Hakken]

@Hakken Ale zauważ, że czasem nawet w jednej kategorii nie da się stwierdzić, który wpis jest lepszy.

Z tym punktem się nie zgadzam.

[Sevard]

Jeśli kategorie zdefiniujesz jako łańcuchy, to rzeczywiście to będzie spójne, tylko jaki to ma sens?

[[Ekspert] Hakken]

A czy musi mieć sens? Na miłość boską, to jest matematyka. To ma być prawdziwe, a nie sensowne.

[Sevard]

Tylko to nie będzie prawdziwe. Jeśli chcesz znaleźć najlepszy wpis, to jest on z definicji jedyny. Jeśli weźmiesz sobie po najlepszym wpisie z każdego łańcucha maksymalnego (czy jak wolisz kategorii), to nie będziesz miał jednego wpisu, tylko zbiór wpisów (najpewniej wieloelementowy). W tym sensie można nawet stwierdzić, że każdy wpis jest najlepszy, bo porządek można wybrać tak, że żadne dwa wpisy nie będą w relacji.