Skip to main content
Top

2010 | OriginalPaper | Chapter

Recursion

Authors : Matthias Beck, Ross Geoghegan

Published in: The Art of Proof

Publisher: Springer New York

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Before You Get Started

. You have most likely seen sums of the form

$$\sum\nolimits_{j = 1}^k {j = 1 + 2 + 3 + \cdots + k,}$$

or products like

$$k! = 1 \cdot 2 \cdot 3 \cdots k.$$

In this chapter we will use the idea behind induction to

define

expressions like these. For example, we can define the sum 1+2+3+ ∙ ∙ ∙ +(

k

+1) by saying, if you know what 1+2+3+ ∙ ∙ ∙ +

k

means, add

k

+1 and the result will be 1+2+3+ ∙ ∙ ∙ +(

k

+1). Think about how this could be done; for example, how should one define 973685! rigorously, i.e., without using ∙ ∙ ∙ ? Find a formula for 1+2+3+ ∙ ∙ ∙ +

k

.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadata
Title
Recursion
Authors
Matthias Beck
Ross Geoghegan
Copyright Year
2010
Publisher
Springer New York
DOI
https://doi.org/10.1007/978-1-4419-7023-7_4

Premium Partner