Pravim zuraju 500+ ljudi.
Ulaz samo uz potvrdu da nisi vakcinisan.
Ne sme se unositi maska, vizir ili bilo kakav vid zastite.
Bice pretres na ulazu.
Od 20h pa dok ne zakukurice prvi petao pa + jedno par sati.
Bićeš sam na žurki jer ne postoje potvrde da nisi vakcinisan. Ovo je problem poluodlučivosti:
Citat:
Teorija je poluodlučiva ako postoji efektivni metod koji će za datu proizvoljnu formulu uvek ispravno reći ako je formula u teoriji, ali će dati ili negativan odgovor ili neće dati odgovora ako formula nije u teoriji. Logički sistem je poluodlučiv ako postoji efektivni metod za generisanje teorema (i samo teorema), takav da će u nekom momentu svaka izabrana teorema biti generisana. Ovo se razlikuje od odlučivosti, jer za poluodlučiv sistem ne mora da postoji efektivna procedura koja proverava da li formula nije teorema.