[FOM] 546: New Pi01/solving CH

[Harvey Friedman]

http://www.cs.nyu.edu/pipermail/fom/2014-September/018193.html
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
supporting philosophy.

Harvey Friedman