ctulhu ([info]ctulhu) rakstīja,
@ 2017-06-09 01:17:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Es laikam izdomāju, kā varētu padarīt drošas rekursīvas orākula tipa sistēmas, ja mums ir iespēja noteikt to utilītfunkciju. Nosakam, ka atbildes atrašanai nevar izlietot tik daudz resursu, lai tas padarītu neiespējamu citu atbilžu atrašanu.

(Ierakstīt jaunu komentāru)


[info]mindbound
2017-06-09 09:31 (saite)
Tas nedarbosies veselas iemeslu rindas dēļ, aprunāsim.

(Atbildēt uz šo)

Neesi iežurnalējies. Iežurnalēties?