Journal Menu
Volume 11, Issue 2 (2023), Pages [61] - [130]
FOR MATHEMATICS, IN CONTRADISTINCTION TO ANY EMPIRICAL SCIENCE, THE PREDICATE OF THE CURRENT KNOWLEDGE IN THE SUBJECT SUBSTANTIALLY INCREASES ITS CONSTRUCTIVE AND INFORMAL PART
[1] J. Case and M. Ralston, Beyond Rogers’ non-constructively computable function, In: The Nature of Computation, Lecture Notes in Computer Science (7921), 45-54, Springer,
DOI: https://doi.org/10.1007/978-3-642-39053-1_6
[2] J.-M. De Koninck and F. Luca, Analytic Number Theory: Exploring the Anatomy of Integers, American Mathematical Society,
[3] M. Křížek, F. Luca and L. Somer, 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Springer,
DOI: https://doi.org/10.1007/978-0-387-21850-2
[4] R. Reitzig, How can it be Decidable whether p has Some Sequence of Digits?.
[5] H. Rogers, Jr., Theory of Recursive Functions and Effective Computability, 2nd Edition, MIT Press,
[6] A. Tyszka, In mathematics, in contradistinction to any empirical science, the predicate of the current knowledge in the subject substantially increases its constructive and informal part.
https://arxiv.org/abs/1309.2605
[7] A. Tyszka, Statements and open problems on decidable sets 
that contain informal notions and refer to the current knowledge on 
Creative Mathematics and Informatics 32(2) (2023), 247-253.
https://semnul.com/creative-mathematics/wp-content/uploads/2023/07/creative_2023_32_2_247_253.pdf
[8] B. L. J. Webb, Science, Truth, and Meaning: From Wonder to Understanding, World Scientific,