Motes on forcing in set theory and recursion theory