@inproceedings{72a76ade18854eddb5bf705f77321358,
title = "A formal cognitive model of mathematical metaphors",
abstract = "Starting from the observation by Lakoff and N{\'u}{\~n}ez (2000) that the process for mathematical discoveries is essentially one of creating metaphors, we show how Information Flow theory (Barwise & Seligman, 1997) can be used to formalise the basic metaphors for arithmetic that ground the basic concepts in the human embodied nature.",
author = "Markus Guhe and Alan Smaill and Alison Pease",
year = "2009",
month = sep,
day = "15",
doi = "10.1007/978-3-642-04617-9_41",
language = "English",
isbn = "978-3-642-04616-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "323--330",
booktitle = "KI 2009: Advances in Artificial Intelligence",
address = "United Kingdom",
}