It is not the case that Post's work refutes a specific 1944-era conjecture but doesn't establish which degree-theoretic claims about undecidability were actually being defended.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.