Shopping Podder - the Best of Computer Postings! :: View topic

Guest · Posted: Tue Aug 26, 2008 4:56 pm Post subject: Computing Beyond Church's Thesis

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-8443/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. ]


www.ShoppingPodder.com Leading Computer Shopping, News and information	Part of the Identityscape.com network... getxfactor.com jmoodmusic.com smartbusinesschoices.com mintdepot.com lowfaresalways.com evangelicalview.com shoppingpodder.com soproudlywehail.com webnews.ws currenthumor.com

Shopping Podder - the Best of Computer Postings! Forum Index -> Computer Artificial Intelligence
Page 1 of 1