Continuity of all Algorithmic Functions on Left Numbers

Research Article
Open access

Continuity of all Algorithmic Functions on Left Numbers

Weixi Chen 1* , Wenkuan Zhang 2
  • 1 Nanjing Foreign Language School, Nanjing 210036, China    
  • 2 Kunlun, RDFZ Chaoyang Branch School, Beijing 100028, China    
  • *corresponding author ch.weixi@outlook.com
TNS Vol.5
ISSN (Print): 2753-8826
ISSN (Online): 2753-8818
ISBN (Print): 978-1-915371-53-9
ISBN (Online): 978-1-915371-54-6

Abstract

A constructive Function is a computer program that transforms a Constructive Real Number (CRN) into another CRN. A left number is a program that generates an increasing sequence of rational numbers with an upper bound. We use algorithmic functions to generate CRNs and Left numbers. In this essay, we will prove the continuity of such functions on Left numbers in topological space with the base of right rays.

Keywords:

CF (constructive function), algorithmic functions, CRN (constructive real number), Left number, Topological space

Chen,W.;Zhang,W. (2023). Continuity of all Algorithmic Functions on Left Numbers. Theoretical and Natural Science,5,47-52.
Export citation

References

[1]. Munkres, J. R. (2000). Topology (Vol. 2). Upper Saddle River: Prentice Hall.

[2]. BrunkChavez, Beth L . Co-author with Nancy V. Wood. Instructor's Manual for College Reading. Up-per Saddle River : Prentice Hall,[J]. 2013.

[3]. E. Bishop (2012) “Foundations of Constructive Analysis”. Ishi Press

[4]. Robinson A . Reviews: Foundations of Constructive Analysis.[J]. Amer.math.monthly, 1968(8):920-921.

[5]. B. A. Kushner (1984) “Lectures on Constructive Mathematical Analysis”. Translated by E. Mendelson. American Mathematical Society

[6]. VOLKERMICHEL. LECTURES ON CONSTRUCTIVE APPROXIMATION[M].

[7]. Shen and N. K. Vereshchagin (2002) “Computable Functions”. Translated by V. N. Dubrovskii. American Mathematical Society

[8]. Turing (1937) “On Computable Numbers, with an Application to the Entscheidungsproblem” Pro-ceeding of the London Mathematical Society, Vol S2-42, Issue 1, pages 230-265

[9]. Goto S . A.M.Turing: On Computable Numbers, with an Application to the Entscheidungsproblem[J]. IPSJ Magazine, 2002, 43.


Cite this article

Chen,W.;Zhang,W. (2023). Continuity of all Algorithmic Functions on Left Numbers. Theoretical and Natural Science,5,47-52.

Data availability

The datasets used and/or analyzed during the current study will be available from the authors upon reasonable request.

Disclaimer/Publisher's Note

The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of EWA Publishing and/or the editor(s). EWA Publishing and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

About volume

Volume title: Proceedings of the 2nd International Conference on Computing Innovation and Applied Physics (CONF-CIAP 2023)

ISBN:978-1-915371-53-9(Print) / 978-1-915371-54-6(Online)
Editor:Marwan Omar, Roman Bauer
Conference website: https://www.confciap.org/
Conference date: 25 March 2023
Series: Theoretical and Natural Science
Volume number: Vol.5
ISSN:2753-8818(Print) / 2753-8826(Online)

© 2024 by the author(s). Licensee EWA Publishing, Oxford, UK. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license. Authors who publish this series agree to the following terms:
1. Authors retain copyright and grant the series right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this series.
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the series's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this series.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See Open access policy for details).

References

[1]. Munkres, J. R. (2000). Topology (Vol. 2). Upper Saddle River: Prentice Hall.

[2]. BrunkChavez, Beth L . Co-author with Nancy V. Wood. Instructor's Manual for College Reading. Up-per Saddle River : Prentice Hall,[J]. 2013.

[3]. E. Bishop (2012) “Foundations of Constructive Analysis”. Ishi Press

[4]. Robinson A . Reviews: Foundations of Constructive Analysis.[J]. Amer.math.monthly, 1968(8):920-921.

[5]. B. A. Kushner (1984) “Lectures on Constructive Mathematical Analysis”. Translated by E. Mendelson. American Mathematical Society

[6]. VOLKERMICHEL. LECTURES ON CONSTRUCTIVE APPROXIMATION[M].

[7]. Shen and N. K. Vereshchagin (2002) “Computable Functions”. Translated by V. N. Dubrovskii. American Mathematical Society

[8]. Turing (1937) “On Computable Numbers, with an Application to the Entscheidungsproblem” Pro-ceeding of the London Mathematical Society, Vol S2-42, Issue 1, pages 230-265

[9]. Goto S . A.M.Turing: On Computable Numbers, with an Application to the Entscheidungsproblem[J]. IPSJ Magazine, 2002, 43.