Journal Menu
FOR MATHEMATICS, IN CONTRADISTINCTION TO ANY EMPIRICAL SCIENCE, THE PREDICATE OF THE CURRENT KNOWLEDGE IN THE SUBJECT SUBSTANTIALLY INCREASES ITS CONSTRUCTIVE AND INFORMAL PART
Pages : [103] - [108]
Received : October 5, 2023; Revised November 11, 2023
Communicated by : Professor Francisco Bulnes
Abstract
We assume that the current mathematical knowledge K is a finite set of statements from both formal and constructive mathematics, which is time-dependent and publicly available. Any theorem of any mathematician from past or present belongs to K. The set K exists only theoretically. Ignoring K and its subsets, sets exist formally in ZFC theory although their properties can be time-dependent (when they depend on K) or informal. In every branch of mathematics, the set of all knowable truths is the set of all theorems. This set exists independently of K. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivial statements on decidable sets that belong to constructive and informal mathematics and refer to the current mathematical knowledge on This and the next sentence justify the article title. The current knowledge in any empirical discipline is the whole discipline because truths from the empirical sciences are not necessary truths but working models of truth about particular real phenomena.
Keywords
constructive algorithms, constructive mathematics, current knowledge in a scientific discipline, current mathematical knowledge, informal mathematics, known algorithms.