Skip to main content
SpringerLink
Log in
Book cover

Conference on Computability in Europe

CiE 2018: Sailing Routes in the World of Computation pp 194–203Cite as

On General Sum Approximations of Irrational Numbers

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10936))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Georgiev, I.: Continued fractions of primitive recursive real numbers. Math. Log. Q. 61, 288–306 (2015)

    Article  MathSciNet  Google Scholar 

  2. Georgiev, I., Kristiansen, L. and Stephan, F.: Subrecursive Approximations of Irrational Numbers by Variable Base Sums (2018). ArXiv e-prints, arXiv:1804.05330 [math.LO]

  3. Ko, K.: On the definitions of some complexity classes of real numbers. Math. Syst. Theory 16, 95–109 (1983)

    Article  MathSciNet  Google Scholar 

  4. Ko, K.: On the continued fraction representation of computable real numbers. Theor. Comput. Sci. 47, 299–313 (1986)

    Article  MathSciNet  Google Scholar 

  5. Kristiansen, L.: On subrecursive representability of irrational numbers. Computability 6, 249–276 (2017)

    Article  MathSciNet  Google Scholar 

  6. Kristiansen, L.: On subrecursive representability of irrational numbers, part II. Computability 6, 249–276 (2018). https://doi.org/10.3233/COM-170081

    Article  MATH  Google Scholar 

  7. Kristiansen, L., Schlage-Puchta, J.-C., Weiermann, A.: Streamlined subrecursive degree theory. Ann. Pure Appl. Log. 163, 698–716 (2012)

    Article  MathSciNet  Google Scholar 

  8. Mostowski, A.: On computable sequences. Fundamenta Mathematica 44, 37–51 (1957)

    Article  MathSciNet  Google Scholar 

  9. Labhalla, S., Lombardi, H.: Real numbers, continued fractions and complexity classes. Ann. Pure Appl. Log. 50, 1–28 (1990)

    Article  MathSciNet  Google Scholar 

  10. Lehman, R.S.: On primitive recursive real numbers. Fundamenta Mathematica 49(2), 105–118 (1961)

    Article  MathSciNet  Google Scholar 

  11. Péter, R.: Rekursive funktionen. Verlag der Ungarischen Akademie der Wissenschaften, Budapest (1957). English translation: Academic Press, New York, 1967

    MATH  Google Scholar 

  12. Rose, H.E.: Subrecursion. Functions and hierarchies. Clarendon Press, Oxford (1984)

    MATH  Google Scholar 

  13. Specker, E.: Nicht konstruktiv beweisbare Satze der Analysis. J. Symbol. Log. 14, 145–158 (1949)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Physics, Faculty of Natural Sciences, University “Prof. d-r Asen Zlatarov”, 8010, Burgas, Bulgaria

    Ivan Georgiev

  2. Department of Mathematics, University of Oslo, Oslo, Norway

    Lars Kristiansen

  3. Department of Informatics, University of Oslo, Oslo, Norway

    Lars Kristiansen

  4. Department of Mathematics and School of Computing, National University of Singapore, Singapore, 119076, Republic of Singapore

    Frank Stephan

Authors
  1. Ivan Georgiev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lars Kristiansen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frank Stephan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ivan Georgiev .

Editor information

Editors and Affiliations

  1. Kiel University, Kiel, Germany

    Florin Manea

  2. Queens College, CUNY, Queens, New York, USA

    Russell G. Miller

  3. Kiel University, Kiel, Germany

    Dirk Nowotka

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Georgiev, I., Kristiansen, L., Stephan, F. (2018). On General Sum Approximations of Irrational Numbers. In: Manea, F., Miller, R., Nowotka, D. (eds) Sailing Routes in the World of Computation. CiE 2018. Lecture Notes in Computer Science(), vol 10936. Springer, Cham. https://doi.org/10.1007/978-3-319-94418-0_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-94418-0_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-94417-3

  • Online ISBN: 978-3-319-94418-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation