Overview
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.
-
Alan Smaill: Principal Investigator at the University of Edinburgh
-
Andy Clark: Co-Investigator at the University of Edinburgh
-
Simon Colton: Principal Investigator at Imperial College London
-
Andrew Ireland: Principal Investigator at Heriot-Watt University
-
Alison Pease: Research Associate at the Univerisity of Edinburgh
-
Markus Guhe: Research Associate at the Univerisity of Edinburgh
-
Ramin Ramezani: PhD student at Imperial College London
-
Teresa Llano Rodriguez: PhD student at Heriot-Watt University
