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

Can we teach computers higher order logic? Is it the same as AI?

http://www.reddit.com/r/practicalagi/comments/29452o/can_we_teach_computers_higher_order_logic_is_it/

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.

0 comments

—