关于实数上归纳法的初步研究
计算机科学中的逻辑
2023-05-25 v1
摘要
自然数的归纳原理表述为：当某性质对某个自然数 a 成立且具有遗传性时，则该性质对一切大于或等于 a 的数均成立。我们给出实数上的一个类似原理。
引用
@article{arxiv.2305.14803,
title = {Preliminary investigations on induction over real numbers},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:2305.14803},
year = {2023}
}