The very deep problem is we and the word ARE NOT algorithmic.  No matter the underlying structure, anything based on computation..the actual machine...is algorithmic. The world isn't.  Logics are by that limited in what they can do and adapt to. They still have problems with simple things like recognizing a school bus, or understanding how to adapt to a snowbank. Great for a mapped, purely dry surface with no unexpected behavior. The world like that doesn't exist...it isn't euclidean, it's fractal.