Activity
Tyler Mills commented on idea #5182.
#5182·Tyler MillsOP, 8 days agoSo reach should only ever be invoked with respect to existing knowledge? So a program's reach is the intersection of its codomain and the solutions to known problems.
I think all problems are known, so we can just say "solutions to problems."
A problem is a conflict between theories, meaning it relates to knowledge currently instantiated.