Lakatos Games for Mathematical Argument
Lakatos Games for Mathematical Argument
复制标题
数学论证的拉卡托斯游戏
DOI：
10.3233/978-1-61499-436-7-59
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
C. Reed
中科院分区：
文献类型：
--
作者：
A. Pease;Katarzyna Budzynska;John Lawrence;C. Reed
我们提出了拉卡托斯在数学中的证明和发现理论的对话游戏表示，并描述了我们对游戏的实现。除了展示对话游戏的新领域外，这还可以为帮助数学家工作的系统提供基础。
We present a dialogue game representation of Lakatos’s theory of justification and discovery in mathematics and describe our implementation of the game. As well as demonstrating a new domain for dialogue games, this could provide the basis for systems which can be used to aid mathematicians in their work.
影响因子：
22.7
作者：
Bex, Floris;Lawrence, John;Reed, Chris
通讯作者：
Reed, Chris