- Claus-Peter Wirth
- History and Future of Implicit and Inductionless Induction:
Beware the old jade and the zombie!
- Mechanizing Mathematical Reasoning:
Essays in Honor of Jörg H. Siekmann
on the Occasion of His 60th Birthday.
LNAI 2605, pp. 192-203, Springer.
- Copyright Owner
- Yes! (Oct. 21, 2002)
I recollect some memories on the history of
implicit induction as it is relevant for future research
on computer-assisted theorem proving,
especially memories that significantly
differ from the presentation in
a recent handbook article on ``inductionless induction''.
Moreover, the important references excluded there
are provided here.
To clear the fog a little,
there is a short introduction to inductive theorem proving and
a discussion of connotations of implicit induction like
``proof by consistency'',
implicit induction orderings (term orderings),
and refutational completeness.
- Two complete Comments for authors on a
short preliminary version
- Full paper
- Version with minor updates
- .09 Mbytes
- .03 Mbytes