coriolisova sila se javlja i na Marsu i svim tilima u svemiru koja se okriću oko svoje osi i lako je izračunljiva . zašto bi ta sila imala na zemlji jedan uzrok, a na svima ostalima drugi? svemir ko puding s

teritorij etnički očisti i pripoji tzv. Velikoj Srbiji. Prema relevantnim izvorima, ukupna ( izračunljiva ) materijalna šteta koju je pretrpjelo hrvatsko gospodarstvo tijekom Domovinskog rata penje

5 komada.Ali ne bilo kome već Realu iz Madrida.Vjerovatnost da se takvo što dogodi je teško izračunljiva u postocima i više je u sferi naučne fantastike.Nisam dvojio ni trenutka i odluka je pala u

s w. Ovako definirana funkcija očito je injekcija i, do na nepreciznu "definiciju" , izračunljiva . Ako nam je zadan takav kôd, po Osnovnom teoremu aritmetike znamo da svaki pozitivan prirodan

" neuhvatljive ", jer rastu brže od bilo koje Turing-izračunljive funkcije ). Kad bi npr. S bila izračunljiva , tada bi znali da svaki Turingov stroj s n stanja, ako nije stao u S ( n ) koraka, nikada neće stati .

se pokazati da, iako su poznate neke početne znamenke, niti jedna Chaitinova konstanta nije izračunljiva jer bi u suprotnom mogli riješiti Halting problem. Church-Turingova teza Teza je tvrdnja koja

. Dosad nije pronađena niti jedna funkcija za koju bi se svatko složio da je izračunljiva , ali za nju dokazano ne postoji pripadni Turingov stroj. Štoviše, pokazano je da su svi "

Turingovog stroja neodlučiv problem odluke. U praksi je većina zanimljivih funkcija izračunljiva strojevima koji uvijek staju. Stroj može biti prisiljen stati za svaki ulaz ograničavanjem

. Na primjer, Ackermannova funkcija, koja nije primitivno rekurzivna, je svejedno totalno izračunljiva funkcija izračunljiva koristeći tzv. sustav prepisivanja terma sa dobro uređenim

funkcija, koja nije primitivno rekurzivna, je svejedno totalno izračunljiva funkcija izračunljiva koristeći tzv. sustav prepisivanja terma sa dobro uređenim argumentima ( Ohlebusch, 2002 ,

funkcije izračunljive na parcijalnom Turingovom stroju proširiti tako da postane totalno izračunljiva funkcija? Može li se definicija Turingovog stroja izmjeniti tako da se može pronaći istaknuta

izračunljivu funkciju. Dokaz slijedi kontradikcijom iz pretpostavke. Ako bi g bila totalno izračunljiva funkcija koja proširuje f, tada bi g bila izračunljiva nekim Turingovim strojem; fiksirajmo

iz pretpostavke. Ako bi g bila totalno izračunljiva funkcija koja proširuje f, tada bi g bila izračunljiva nekim Turingovim strojem; fiksirajmo tad e kao indeks takvog stroja. Izgradimo Turingov

Turingovih strojeva koji izračunavaju svaku totalnu funkciju na način da je svaka totalno izračunljiva funkcija izračunljiva od strane nekog od strojeva T i. Ovo je nemoguće, pošto bi mogao biti

koji izračunavaju svaku totalnu funkciju na način da je svaka totalno izračunljiva funkcija izračunljiva od strane nekog od strojeva T i. Ovo je nemoguće, pošto bi mogao biti konstruiran stroj takav da