Options of discovering and verifying mathematical theorems - Task-design from a philosophic-logical point of view

Abstract

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.