Some beautiful arguments using mathematical induction

E.W. Dijkstra

doi:10.1007/BF00288531

Some beautiful arguments using mathematical induction

E.W. Dijkstra

Research output: Contribution to journal › Article › Academic › peer-review

33 Citations (Scopus)

Abstract

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.

Original language	English
Pages (from-to)	1-8
Number of pages	8
Journal	Acta Informatica
Volume	13
Issue number	1
DOIs	https://doi.org/10.1007/BF00288531
Publication status	Published - 1980

Access to Document

10.1007/BF00288531

Fingerprint Dive into the research topics of 'Some beautiful arguments using mathematical induction'. Together they form a unique fingerprint.

Cite this

@article{bb21bf23f9334100af641a47bdc0f7d0,

title = "Some beautiful arguments using mathematical induction",

abstract = "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.",

author = "E.W. Dijkstra",

year = "1980",

doi = "10.1007/BF00288531",

language = "English",

volume = "13",

pages = "1--8",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - Some beautiful arguments using mathematical induction

AU - Dijkstra, E.W.

PY - 1980

Y1 - 1980

N2 - 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.

AB - 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.

U2 - 10.1007/BF00288531

DO - 10.1007/BF00288531

M3 - Article

VL - 13

SP - 1

EP - 8

JO - Acta Informatica

JF - Acta Informatica

SN - 0001-5903

IS - 1

ER -