MRG home page · Research · Publications · Projects · Software · People

A Cognitively Based Model of Theory Formulation and Reformulation


The aim of the project is to develop a model of symbolic theory formulation and reformulation that takes account of recent developments in the cognitive science of mathematics, starting from ideas formulated by Lakatos on heuristics involved in the evolution of mathematical theories.

Grant Information

"A Cognitive Model of Axiom Formulation and Reformulation with applications to AI and Software Engineering". EPSRC grant EP/F035594/1. Grant Duration: 3 years from 1st May 2008.

The people

Here are the people working on this grant.
Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the Alan Smaill
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.