User blog comment:Ubersketch/Uncomputable function/@comment-35470197-20190618223755/@comment-34422464-20190618235108

I should clarify, if theres a contradiction then it cannot produce a finite number, so it defaults to 0. I should clarify the all-knowing oracle by saying it can solve any decision problem in a single step.