From: Tomaz Kristan (me2icq@icqmail.com)
Date: Wed Feb 04 2004 - 10:48:09 MST
On Wed, 4 Feb 2004 10:30:07 -0500, "Ben Goertzel" wrote:
> Godel's theorem (properly deployed) shows that for any
> community C (with
> finite total compute power) there are some conjectures
> whose degree of
> empirical support can't be estimated by community C.
>
Not true. You have to have an infinite set to deal
with. Otherwise Goedel's theorem can't touch you.
Inside finite arithmetic, Goedel can't be applied. Not
even inside some infinite sets. Like groups.
-------------------------------------------------------------
Sign up for ICQmail at http://www.icq.com/icqmail/signup.html
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:45 MDT