> > By "formal incompleteness" I mean Goedel's proof that "every sufficiently powerful formal system is either inconsistent or incomplete". > > Oh. There are a variety of completeness and incompleteness theorems. They always struck me as being similar to other statements about ... completeness, closures, compactifications, entireness. So, like Banach spaces are complete. Great. Very important property, when you work with them, but otherwise its a propos nothing at all. Some other theory will be different. Its just one of those properties that systems have or don't have. But I never really read/looked/thought hard about that so I dunno. Doesn't strike me as important for for AGI or anything.
Completely agree here, another refreshing view on things by Linas (he has a few of those). What Gödel proved is much overrated. Some people even take it to mean that "computers can't be as smart as humans" which is obviously not what the theorem says it all. Stefan ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T581199cf280badd7-M403da09a0a0ee13cb1de375b Delivery options: https://agi.topicbox.com/groups/agi/subscription
