The Effect of the Theorem Prover in Cognitive Science

机译：定理证明在认知科学中的作用

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Humans use strategies to solve problems. Strategies are used as knowledge to plan solutions and decide procedures. A computer algebra system with a theorem prover is being developed. We must consider the theorem prover from not only the perspective of its effect on cognitive science, but also from the perspective of mathematical studies.

机译：人类使用策略来解决问题。策略被用作规划解决方案和确定程序的知识。具有定理证明者的计算机代数系统正在开发中。我们不仅要从定理证明者对认知科学的影响的角度考虑它，还要从数学研究的角度考虑它。

著录项

来源
《International Conference on Computational Science(ICCS 2006) pt.1; 20060528-31; Reading(GB)》|2006年|P.924-927|共4页
会议地点 Reading(GB)
作者
Tadashi Takahashi; Hidetsune Kobayashi;
展开▼
作者单位

Dept. of Mathematics and Informatics, Faculty of Human Development, Kobe University, 3-11, Tsurukabuto, Nada-ku, Kobe 657-8501, Japan;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be "not yet proved wrong" [J] . Burke Kevin Canadian journal of earth sciences . 2016,第11期

机译：纯粹数学定理可以证明是正确的，但应用数学，自然科学和社会科学以及工程学中使用的模型最多只能“尚未证明是错误的”。
2. Theorems in pure mathematics can be proved right but the models used in applied mathematics, natural and social science, as well as in engineering, can at most be "not yet proved wrong" [J] . Burke Kevin Canadian journal of earth sciences . 2016,第11期

机译：纯数学的定理可以得到证明，但应用数学，自然和社会科学以及工程中的模型最多可以“尚未证明是错误”
3. EFFECTIVE METHODS FOR PROVING COMPUTER SCIENCE THEOREMS [J] . AMOS O. OLAGUNJU Journal of North Carolina Academy of Science . 2004,第4期

机译：证明计算机科学定理的有效方法
4. The Effect of the Theorem Prover in Cognitive Science [C] . Tadashi Takahashi, Hidetsune Kobayashi International Conference on Computational Science pt.1 . 2006

机译：认知科学定理秘诀的效果
5. On the applications of Interactive Theorem Proving in computational sciences and engineering. [D] . Tahat, Amer. 2016

机译：关于交互式定理证明在计算科学和工程中的应用。
6. Why Cognitive Sciences Do Not Prove That Free Will Is an Epiphenomenon [O] . Andrea Lavazza 1979

机译：为什么认知科学不能证明自由意志是一种现象
7. ON THE APPLICATIONS OF INTERACTIVE THEOREM PROVING IN COMPUTATIONAL SCIENCES AND ENGINEERING [O] . Amer Tahat -1

机译：论互动定理证明在计算科学与工程中的应用
8. Which Theorem Prover. A Survey of Four Theorem Provers [R] . Smith, A. 1990

机译：哪个定理证明。四种定理证明方法综述

The Effect of the Theorem Prover in Cognitive Science

摘要

著录项

相似文献

相关主题

期刊订阅