GEB makes a very strong case for the idea that intelligent systems might not be formal systems. That idea is then developed in his subsequent writings, and has lead to a quiet branch of AI that still flourishes.
GEB makes a very strong case for the idea that intelligent systems might not be formal systems. That idea is then developed in his subsequent writings, and has lead to a quiet branch of AI that still flourishes.