From: Peter de Blanc (peter@spaceandgames.com)
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