Research Article
Open access
Published on 25 May 2023
Download pdf
Chen,W.;Zhang,W. (2023). Continuity of all Algorithmic Functions on Left Numbers. Theoretical and Natural Science,5,47-52.
Export citation

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

* Author to whom correspondence should be addressed.

https://doi.org/10.54254/2753-8818/5/20230268

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

[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)

Conference website: https://www.confciap.org/
ISBN:978-1-915371-53-9(Print) / 978-1-915371-54-6(Online)
Conference date: 25 March 2023
Editor:Marwan Omar, Roman Bauer
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).