期刊名称：Eurasia Journal of Mathematics, Science & Technology Education
印刷版ISSN：1305-8223
电子版ISSN：1305-8223
出版年度：2018
卷号：14
期号：9
页码：1-13
DOI：10.29333/ejmste/92561
出版社：Pamukkale Univ Dept Sci Education
摘要：Mathematical theorems can be discovered and verified in different ways. The
philosophical logic provides a conceptual understanding of these processes and helps
to distinguish different options of initiating them. These options are established by
analyzing different textbooks and describe the possibilities of the discovery and
(empirical) verification of mathematical knowledge.
关键词：abduction; discoveries; induction; options of task-design; philosophical;
logic; verifications
