Does anyone have a general opinion on Gödel's incompleteness theorem <https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems>? The question that rises is: "Is Atomspace a consistent formation, or is it an incomplete formation, assuming it is an embodiment of a kind of logical system?"
I ask this question because I suspect it is possible to define different rule sets in URE, applying to different areas of knowledge contained within AGI's memory, thus overcoming limitations of Gödel's incompleteness proof of a logical system while retaining overall knowledge relative consistency. Does OpenCog support this kind of rule divergence? -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAB5%3Dj6XvNt5yaXcpkTQXjFmpfxTaV_KxFFozHyJx5BnbuojHyg%40mail.gmail.com.
