juvenal ([info]juvenal) rakstīja,
Ordinālo datoru galīga laika skaitļošanas rezultāti izdod neizlemjamu (undecidable) problēmu instanču tuvinātu risinājumu. Piem., vispārīgi verificēt programmu ir neatrisināmi, bet šī pieeja ļauj izcelt bīstamās instances tālākai izpētei. Tuvinātas atbildes arī ir ļoti vērtīgas.

(Lasīt komentārus)

Nopūsties:

No:
Lietotājvārds:
Parole:
Ievadi te 'qws' (liidzeklis pret spambotiem):
Temats:
Tematā HTML ir aizliegts
  
Ziņa:
Neesi iežurnalējies. Iežurnalēties?