Index ** Start of Presentation Acknowledgements Aims Automated reasoning Build computational model Cannot understand maths Checking Proofs Checking Proofs:Contents Choose human learning task CMS:Introduction CMS answer Collect learning protocols Compound inferences Contents Conclusion Conclusion:Contents Contextual Memory System Contextual Memory System:Contents Creation and Discovery Creating Features Creating Features:Contents Different perspective Emperor new mind Escaping from box Examples Example 1 Expert sees answer Facts Feature analysis Features as subtrees Features made from input Features not built in FEL FEL 1 Flaws in Penrose Focus of attention Godel's theorem HAL:Introduction HAL:Knowledge representation heuristic and algorithm Heuristic Applier Learner (HAL) Heuristic Applier Learner (HAL):Contents Heuristics in HAL Heuristics in Maths History of AI Human learning reasoning Humans are scruffy Humans not perfect Humans see truth Identify knowledge used Introduction Introduction:Contents ISA Arguments Knowledge representation LAWE Learning by Experience Learning by Experience:Contents Learning Defns and Theorems Learning Defns and Theorems:Contents Learning Example 1 Learning features example Learning heuristics Learning Mathematics Task Learning Maths and AI Learning Maths and AI:Contents Learning something new Learning worked examples Machine learning Machines can be scruffy Mathematics Mathematics:Contents Mathematical knowledge Maths experience Maths limited by Godel maths mistakes Mathematics Understander (MU) Mathematics Understander (MU):Contents Maths is Scruffy, but Computable Models of learning MU MU:Contents MU Architecture No perfect maths old Index Operationalization Parsing definitions Parsing frame Parsing result Penrose Maths and AI Penrose Maths and AI:Contents Penrose:Introduction Penrose on AI Penrose on Maths Penrose:Non rigorous reasoning Perception and Experience Perception test 1 Perception test 2 Perceptual features Problem solving Procedures Produce paper model Psychological Experiments Quantum gravity Recall Recall:Contents Recall Example 1 Research Methodology Robot Reading Robot taking exam Samuel Shadows of the mind Simple heuristics Solving Problems Steps with explanations Steps without explanations Storage Storage:Contents Storage stages Strong AI is wrong according to Penrose Student Reading Study textbooks Term operators Term predicates Test model Types of definitions Types of Proof Steps Understanding Proofs Understanding Viewing Notes What is mathematics