Arhive oznaka: formalni. sustav. program. korektnost

Nepotpunost (još jednom, najjednostavnije)

Svaki računalni program možemo zapisati kao konačni niz nula i jedinica. Takve programe zvat ćemo 0,1-programima Niz nula i jedinica duljine n zvat ćemo reducibilnim ako postoji 0,1-program koji generira taj 0,1-niz i čija je duljina manja od n. Ako … Nastavi čitati

Ocijeni:

Objavljeno u filozofija, logika, matematika | Označeno sa , | 2 komentara