Article
Version 1
Preserved in Portico This version is not peer-reviewed
The predicate of the current mathematical knowledge increases the constructive mathematics what is impossible for the empirical sciences
Version 1
: Received: 27 July 2023 / Approved: 28 July 2023 / Online: 31 July 2023 (10:54:27 CEST)
Version 2 : Received: 2 August 2023 / Approved: 3 August 2023 / Online: 4 August 2023 (07:45:49 CEST)
Version 3 : Received: 14 August 2023 / Approved: 15 August 2023 / Online: 15 August 2023 (08:49:43 CEST)
Version 4 : Received: 29 August 2023 / Approved: 30 August 2023 / Online: 31 August 2023 (03:53:31 CEST)
Version 5 : Received: 5 September 2023 / Approved: 6 September 2023 / Online: 7 September 2023 (05:01:30 CEST)
Version 6 : Received: 20 September 2023 / Approved: 21 September 2023 / Online: 22 September 2023 (05:14:58 CEST)
Version 7 : Received: 9 October 2023 / Approved: 10 October 2023 / Online: 10 October 2023 (10:05:52 CEST)
Version 8 : Received: 17 October 2023 / Approved: 18 October 2023 / Online: 19 October 2023 (04:49:53 CEST)
Version 9 : Received: 4 December 2023 / Approved: 6 December 2023 / Online: 6 December 2023 (12:11:37 CET)
Version 10 : Received: 14 January 2024 / Approved: 16 January 2024 / Online: 16 January 2024 (06:42:23 CET)
Version 2 : Received: 2 August 2023 / Approved: 3 August 2023 / Online: 4 August 2023 (07:45:49 CEST)
Version 3 : Received: 14 August 2023 / Approved: 15 August 2023 / Online: 15 August 2023 (08:49:43 CEST)
Version 4 : Received: 29 August 2023 / Approved: 30 August 2023 / Online: 31 August 2023 (03:53:31 CEST)
Version 5 : Received: 5 September 2023 / Approved: 6 September 2023 / Online: 7 September 2023 (05:01:30 CEST)
Version 6 : Received: 20 September 2023 / Approved: 21 September 2023 / Online: 22 September 2023 (05:14:58 CEST)
Version 7 : Received: 9 October 2023 / Approved: 10 October 2023 / Online: 10 October 2023 (10:05:52 CEST)
Version 8 : Received: 17 October 2023 / Approved: 18 October 2023 / Online: 19 October 2023 (04:49:53 CEST)
Version 9 : Received: 4 December 2023 / Approved: 6 December 2023 / Online: 6 December 2023 (12:11:37 CET)
Version 10 : Received: 14 January 2024 / Approved: 16 January 2024 / Online: 16 January 2024 (06:42:23 CET)
A peer-reviewed article of this Preprint also exists.
Tyszka, A. Constructive Mathematics with the Predicate of the Current Mathematical Knowledge. SSRN Electronic Journal 2024, doi:10.2139/ssrn.4710446. Tyszka, A. Constructive Mathematics with the Predicate of the Current Mathematical Knowledge. SSRN Electronic Journal 2024, doi:10.2139/ssrn.4710446.
Abstract
This is an expanded and revised version of the article: A. Tyszka, Statements and open problems on decidable sets X⊆N, Pi Mu Epsilon J. 15 (2023), no. 8, 493-504. The main results were presented at the 25th Conference Applications of Logic in Philosophy and the Foundations of Mathematics, see http://applications-of-logic.uni.wroc.pl/XXV-Konferencja-Zastosowania-Logiki-w-Filozofii-i-Podstawach-Matematyki. We assume that the current mathematical knowledge is a finite set of statements which is time-dependent. Nicolas D. Goodman observed that epistemic notions increase the understanding of mathematics without changing its content. 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 X⊆N that belong to constructive mathematics and refer to the current mathematical knowledge on X. This and the next sentence justify the article title. For any empirical science, we can identify the current knowledge with that science because truths from the empirical sciences are not necessary truths but working models of truth from a particular context. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,(((24!)!)!)!]. We heuristically justify the statement Φ. This justification does not yield the finiteness/infiniteness of P(n^2+1). We present a new heuristic argument for the infiniteness of P(n^2+1), which is not based on the statement Φ.
Keywords
composite numbers of the form 2^(2^n)+1, constructive algorithms, current mathematical knowledge, decidable sets X⊆N, epistemic notions, informal notions, known algorithms, known elements of N, primes of the form n^2+1, primes of the form n!+1, primes of the form 2^(2^n)+1
Subject
Computer Science and Mathematics, Logic
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment