Projects per year
Abstract
We argue for two points in this paper. Firstly, formal models
can be a useful means for cognitive modelling, in particular
for domains that traditionally already use this kind of model.
Secondly, we present a formal model of how two of the grounding
metaphors for arithmetic proposed by Lakoff and N´u˜nez
(2000) can be linked to basic notions of arithmetic using the
infomorphisms of the Information Flow theory.
Original language | English |
---|---|
Title of host publication | Proc. of 9th Intern. Conf. on Cognitive Modeling |
Pages | 258-263 |
Number of pages | 6 |
Publication status | Published - 2009 |
Fingerprint
Dive into the research topics of 'Using information flow for modelling mathematical metaphors'. Together they form a unique fingerprint.Projects
- 1 Finished
-
CogMod: A congnitive model of axiom formulation and reformulation with application to AI and software engineering
Smaill, A. & Clark, A.
1/05/08 → 30/04/11
Project: Research