Dershowitz and Gurevich claim to have proven Church's   
   Thesis starting from a set of 4 reasonable postulates.   
   (Bulletin of Symbolic Logic, vol. 14, num. 3, Sept. 2008, pg 299)   
      
   But their postulate II assumes fixed vocabulary.  Humans, however,   
   change their vocabulary words   
   (and concepts) over time.  My Asa H AI also changes   
   its vocabulary. (Trans. of the Kansas Acad. of Sci.,   
   vol. 109, no. 3/4, pg 159, 2006, www.bioone.org/archive/0022-844   
   /109/3/pdf/i0022-8443-109-3-159.pdf)   
      
   Their postulate I excludes nondeterministic transitions between   
   states.  I don't know how often humans flip a coin but my Asa H does   
   have a module wherein random transitions can be employed.   
      
   Perhaps humans and Asa H go beyond Church's   
   Thesis.   
      
   [ comp.ai is moderated ... your article may take a while to appear. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)