Są nowe wieści od pięknego umysłu.
Twierdzenie "FiNumSall" opisuje pewien względnie oczywisty fakt, który jest bardzo łatwy do uzasadnienia koncepcyjnego, słownego. Obrazowo, mówi on mniej więcej tyle, że jeśli ustawimy ileś skrzynek z butelkami, a w każdej skrzynce będzie co najmniej jedna butelka, to liczba butelek będzie większa lub równa liczbie skrzynek. Niestety udowodnienie tego faktu, umiejscowionego w formalnym opisie funkcji VMPC, zajęło mi 3 tygodnie intensywnej pracy. Przewidywałem, że zajmie mi to 1 dzień. Dowód tego niezwykle odkrywczego faktu zajmuje 1,5 strony A4.
Studentowi na 2 roku by to zajęło 45 minut na kolokwium poprawkowym, a ChatGPT 2 sekundy. 🧠
W idealnym świecie miałbym współpracowników, którzy komponowaliby takie dowody narzędziowe, a sam mógłbym się bardziej skupić na głównym torze rozumowania, jak te fakty ułożyć, aby ukończyć główny dowód, jednokierunkowości funkcji VMPC. Niestety wszystko muszę robić sam. To mniej więcej tak, jakby własnoręcznie jedna osoba budowała cały dom. Położyła cegły, instalacje, tynki, podłogi. Da się, ale zajmie to ogromną ilość wysiłku. Piszę to dla zobrazowania sytuacji, choć też dla złagodzenia własnej frustracji, na wypadek, gdyby ktoś zastanawiał się, jak to możliwe, że pisanie tego dowodu trwa tak długo.
xD
@sens: The axiom of choice is obviously true, the P=NP obviously false, and who can tell about Zorn's lemma
45 minut? przecież dowodem tutaj jest po prostu zapisanie formalnie samego założenia xddd
No to mówię, że dla studenta to 45 minut. dx
Kupiłem bilety na lot do Amsterdamu i dopiero teraz patrzę, że pojeby sobie liczą 1k za noc w Airbnb a ja jestem na 4 kurła. XD
@Deykun: Przykra sprawa. Nie lekceważę jej. W poniedziałek o 15 odniosę się do niej publicznie na konferencji prasowej.
@Deykun: dobrze wiedzieć że pewne rzeczy się nie zmieniają i chłopcy dalej są chłopcami, żeby mężczyźni mogli robić swoje. To też jest potrzebne i ważne ofc
dostałem bana na r/Polska xDDD za komentarz w odpowiedzi na pytanie czy jest jakaś odtrutka na pisowskie poglądy ciotki to napisałem, że raczej trutka by się przydała
20 dni za aprobowanie przemocy wobec zwierząt i ludzi
xDDDDD co za spierdoxy autystyczne
Pokaż ukrytą treść btw moja historia z tubką: 7 lat rozpatrywali odwołanie, że nałożyli ograniczenie 18+ na filmik, który wrzuciłem, stwierdzili, że jednak się pomylili i dziękują mi za cierpliwość
Pokaż ukrytą treść 7 jebanych lat i "dziękujemy za twoją cierpliwość" xd
wstaję o 6, do pracy na 7, o 15 kończę i do 21 robię remont
jestem okrutnie zmęczony, do pracy zasadniczo przychodzę odpocząć, ale twierdzę, że to i tak najpiękniejszy czas w życiu :)
zrobię sobie przerwę znowu od grindu komentarzy
i poczekam na was
a potem znowu wskoczę niczym rączy jeleń na górę
i co mi zrobicie?
Nk mi wytłumaczy dlaczego na YT zawsze przy filmikach o formule 1 druga reklama to reklama produktów do stylizacji włosów xD czy fani F1 to naprawdę target tego rodzaju badziewia?
