Skip to main content

Berechenbarkeit und Entscheidbarkeit

  • 598 Accesses

Zusammenfassung

Die Idee der Rekursion und der vollständigen Induktion ist sehr alt. Aber erst im 19. Jahrhundert hat Richard Dedekind mit seinen Büchern\(^\text {148}\) „Stetigkeit und Irrationalzahlen“ und „Was sind und was sollen die Zahlen?“ die grundlegenden Eigenschaften der natürlichen Zahlen auf ein solides Fundament gestellt und den Aufbau des Zahlsystems mit den ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen heraus definiert. Eine seiner wichtigsten Leistungen war die Entdeckung und der Beweis des Rekursionssatzes.

This is a preview of subscription content, access via your institution.

Buying options

eBook
USD   19.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   29.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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Stefan Müller-Stach .

Rights and permissions

Reprints and Permissions

Copyright information

© 2023 Der/die Autor(en), exklusiv lizenziert an Springer-Verlag GmbH, DE, ein Teil von Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Müller-Stach, S. (2023). Berechenbarkeit und Entscheidbarkeit . In: Der Code der Mathematik. Springer Spektrum, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-66562-6_5

Download citation