[FOM] Re: Crystal Ball Theory

Timothy Y. Chow tchow at alum.mit.edu
Wed Feb 25 12:18:39 EST 2004


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




More information about the FOM mailing list