A Post's Program for Complexity Theory


In 1944, E. Post proposed a program that would lead to the identi cation of separate degrees equivalence classes de ned by reductions of recursively enumerable sets. Post proposed to identify structural properties that sets of di erent degrees would not share. Thus proving that some sets in one degree have such a property, and all sets in another degree do… (More)

1 Figure or Table


  • Presentations referencing similar topics