[FOM] 546: New Pi01/solving CH
hmflogic at gmail.com
Tue Sep 30 21:27:09 EDT 2014
Mitchell Spector wrote:
"As you say, changing the definition so that Pi is simpler than Sigma
(both at the same level) would
take care of the particular issue I mentioned.
However, is there a rationale for considering the Pi side to be
simpler than the Sigma side, aside
from making this example come out right?"
I can go ahead and answer this as best I can - actually somewhat along
the lines you indicate later in your posting.
But I would prefer to take a different line. This is a case where we
need to experiment with the idea, and anticipate that after such
experimentation, we will be in a better position to work up some
More information about the FOM