[FOM] Re: Crystal Ball Theory

[Timothy Y. Chow]

Harvey Friedman wrote:
>2. What kinds of exciting/important questions can be appropriately packed
>into at most 100 Turing machine quadruples? What techniques can be used
>to reduce the number of quadruples needed?

Do you have a partial answer to this question already?  When you mentioned
sporadic simple groups and so on, did you mean that you have worked out
the details and found that 100 quadruples suffice for these particular
problems?

Tim