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

Please read this: http://www.reddit.com/r/practicalagi/comments/29452o/can_we_teach_computers_higher_order_logic_is_it/ http://www.reddit.com/r/practicalagi/comments/29452o/can_we_...