Can we teach computers higher order logic? Is it the same as AI? (reddit.com)

It's a complicated talk, but try to mostly understand it from an open mind following the links and you will get what I am saying. The logic is somewhat speculative and I am only suggesting a different way of tackling problems. It may seem math intense but it's more of a general reasoning about what has been happening to so many fields over the years.