Aktywne Wpisy
#zalesie Dzieci w podstawówce lat 9+ sikały ze szczęścia jak zobaczyły w zamrażarce sklepowej lody Ekipy od Friza i wymieniały się na przerwach papierkami po lodach.
Tępe NPC-e lat 18+ sikają ze szczęścia, że mogą wypić przesłodzoną wodę w super-cool-hype-trendy żółtej puszce za 6.99 zł a potem jeszcze pójdą do kina, żeby obejrzeć kiczowaty film-laurkę o typie z instagrama, który zarobił na takich idiotach kilkanaście milionów xD xD
Nie wiem kto jest
Tępe NPC-e lat 18+ sikają ze szczęścia, że mogą wypić przesłodzoną wodę w super-cool-hype-trendy żółtej puszce za 6.99 zł a potem jeszcze pójdą do kina, żeby obejrzeć kiczowaty film-laurkę o typie z instagrama, który zarobił na takich idiotach kilkanaście milionów xD xD
Nie wiem kto jest
kulis +10
#danielmagical #famemma baobab z nową loszką , a wy dalej kindybał w łapie?haha
Pewnego dnia Twój kolega wysyła Ci na PW link do programu
pasta.exe
, który podobno po uruchomieniu wyświetla pastę o serwerowni i kończy swoje działanie. Chciałbyś go uruchomić, ale wiesz, że Twój kolega jest śmieszkiem poza kontrolą i mógłby Ci wysłać zarzutkę, np. program odgrywający Never Gonna Give You Up. Przydałoby się mieć jakieś narzędzie, którym mógłbyś przeskanować programpasta.exe
, żeby się upewnić, że wyświetli on pastę i tyle -- nic więcej. Niestety, takiego programu nie ma. Nie dlatego, że nikt go nie napisał, ale dlatego, że nie da się go napisać.Aby to pokazać, przyjmijmy, że mamy na dysku taki program
moderacja.exe
, któremu przekazuje się dowolny program i jeśli ten program wyświetla pastę o serwerowni, to pokazuje się komunikat "BAN", a w przeciwnym wypadku jest "OK". Skoro go mamy na dysku, to możemy go użyć w innych programach, które sami napiszemy. Napiszmy zatem taki programtroll.exe
, który wczyta kod innego programu, uruchomi na nim programmoderacja.exe
i jeśli otrzyma komunikat "BAN" od moderacji, to od razu się zakończy, a jeśli otrzyma komunikat "OK", to wyświetli pastę o serwerowni. Innymi słowy, jest to program, który wczytuje inny program i zachowuje się przeciwnie niż on -- jeśli on wyświetla pastę, totroll.exe
jej nie wyświetla, a jeśli wyświetla, totroll.exe
tego nie robi.Pomyślmy teraz, co by się stało, gdybyśmy uruchomili
troll.exe
i przekazali mu program...troll.exe
. Pamiętajmy, że on działa na opak, czyli wyświetla pastę tylko, jeśli wczytany program tego nie robi. Ale wczytanym programem jest on sam! Jak zatem miałby działać? Jeśli wyświetla pastę, to moderacja pokazuje "BAN", zatem jednak nie wyświetla. Paradoks. To dowodzi, że programmoderacja.exe
nie może istnieć, bo gdyby istniał, to moglibyśmy napisać paradoksalny program. To trochę jak pójście do wróżki, dowiedzenie się o swojej przyszłości (np. "jutro umrzesz") i oszukaniu przeznaczenia (zabicie się tego samego dnia). ( ͡° ͜ʖ ͡°)Takie programy, które nie istnieją (jak
moderacja.exe
) nazywa się w informatyce "problemami nierozstrzygalnymi". Pierwszym odkrytym problemem nierozstrzygalnym jest "problem stopu", udowodnionym przez Alana Turinga w 1936. To prawie 10 lat przed stworzeniem pierwszego komputera! Turing wymyślił matematyczny model reprezentacji obliczeń (maszyna Turinga) i pokazał, że ten model nie jest w stanie rozwiązać problemu stopu. Ponieważ wszystkie współczesne komputery są uproszczoną (bo ma skończoną pamięć) wersją maszyny Turinga, jej ograniczenia także ich dotyczą.O Turingu lub o maszynie Turinga można jeszcze dużo napisać, np. czym się różni deterministyczna wersja od niedeterministycznej, czyli czym jest słynne P i NP, ale byłoby to za dużo naraz. Mam nadzieję, że kogoś spoza IT to zaciekawiło, bo programiści w większości o tym wiedzą. Na deser XKCD na temat.
#ciekawostki #programowanie #informatyka #ciekawostkiinformatyczne #gruparatowaniapoziomu
#dobrycontent ;)
@sylwester-stallone wkipedia
moderacja.exe
i obsługi argumentów w programach. Ogólnie fajna bardzo analogia, ale pomyślałem o kilku pytaniach, które się nasuwają po lekturze wpisu:- "co zwraca
moderacja.exe
kiedypasta.exe
się zapętli"?- "hej, napisałem program
parzystapasta.exe
który bierze jako argument liczbę i wypisuje pastę tylko jeśli liczba jest parzysta, co zwracamoderacja.exe
dla tego programu?"- "jaki program analizuje
troll.exe
, który jest podany jako