Acta Informatica

, Volume 13, Issue 1, pp 1–8 | Cite as

Some beautiful arguments using mathematical induction

  • Edsger W. Dijkstra


Three elegant proofs and an efficient algorithm are derived. The derivations evolve smoothly from the choice to apply mathematical induction, the pattern of reasoning that has been chosen as the ‘Leitmotiv’ for this small collection. The last proof is the by-product of the algorithm.


Information System Operating System Data Structure Communication Network Information Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1980

Authors and Affiliations

  • Edsger W. Dijkstra
    • 1
  1. 1.Burroughs CorporationAL NuenenThe Netherlands

Personalised recommendations