Activity
Tyler Mills commented on idea #5179.
#5179·Tyler MillsOP, 3 days agoFun question. Say the reach of a program is the set of all problems it can solve or help solve (whether anyone knows, or whether the problems exist yet). All of that program's possible outputs together comprise the implication space -- it sounds like "codomain" is actual term. The instantiation of each item in the codomain is an occurrence of my "inferential novelty". The codomain is implicit in a program when it is created, but not all of that output will help solve problems. The program's reach is the subset that does.
Maybe this definition accommodates both the multiversal and atemporal aspects of reality: a program's reach is the set of its outputs that solve problems in any universe (past, present or adjacent).