Neviem, ci zrovna existencia sa da takto lahko redukovat na algoritmicku nerozhodnutelnost, ehehe :)
Predpoklady su, ze Boh ma nejaku rozhodnutelnu :) vlastnost, ktoru nutne pouzije (napr.), naviac s predpokladanym vysledkom, atd..]
Ale paci sa mi idea redukcie, ktora nie je ostatne vobec nova