By 1965, standard reductions were established in computability theory; failing to specify them sugge...
This proposition has not been edited since the history system was added.