# Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

Preprint · Claus-Peter Wirth

- Archive id: arxiv:0902.3294
- Published: 2009-02-17
- Venue: Logic Journal of the IGPL, 2012, Volume 20, Pp. 1046-1063
- DOI: https://doi.org/10.1093/jigpal/jzr048
- arXiv: https://arxiv.org/abs/0902.3294
- Source URL: https://arxiv.org/abs/0902.3294
- PDF: https://arxiv.org/pdf/0902.3294
- Provenance: arxiv

## Abstract

In this short position paper we briefly review the development history of automated inductive theorem proving and computer-assisted mathematical induction. We think that the current low expectations on progress in this field result from a faulty narrow-scope historical projection. Our main motivation is to explain--on an abstract but hopefully sufficiently descriptive level--why we believe that future progress in the field is to result from human-orientedness and descente infinie.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.