From conversation with Scott and Michael Dennis: there arenâ€™t enough logical inductors to make the set of limits convex, since there are an uncountable number of convex combinations but only a countable number of inductors (and thus limits). The interesting question would be whether any rational/â€‹computable convex combination of limits of logical inductors is a logical inductor.

From conversation with Scott and Michael Dennis: there arenâ€™t enough logical inductors to make the set of limits convex, since there are an uncountable number of convex combinations but only a countable number of inductors (and thus limits). The interesting question would be whether any rational/â€‹computable convex combination of limits of logical inductors is a logical inductor.