Re: [sl4] Is there a model for RSI?

From: Peter de Blanc (
Date: Mon Jun 23 2008 - 11:54:23 MDT

Peter de Blanc wrote:
> But I was saying that if you substitute "finitely-many algorithms" for
> "finitely-many machines", then the proof still works given your definition.

Whoops. "functions," not "algorithms."

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT