Novo

Forum kao aplikacija na telefonu

Dodajte forum na početni ekran i koristite ga kao aplikaciju, sa menijem na dnu ekrana.

  • 23 odgovora
  • 17.209 pregleda

Najnovija ↓

Re: Jeli di ćete čekat Novu ? 15.10.2021. u 05:10 · pre 61 mesec #22
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.
Potpis
(c) 1982 sinclair research ltd
Sviđa mi se1
Re: Jeli di ćete čekat Novu ? 15.10.2021. u 09:46 · pre 61 mesec #23
"Ulaz samo uz potvrdu da nisi vakcinisan."

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.
Odgovori
Prijavite se da biste odgovorili u ovoj temi.PrijavaRegistracija

Premeštanje teme