Jan, 2024
几何中自动定理生成 / 发现的方法和度量考虑
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
TL;DR为了发现并判断几何定理的有趣性，本文针对自动发现几何定理和其性质的不同方法和度量进行讨论，并引入了一个不可判定性结果来证明判断定理生成程序是否能产生有趣定理是一个非确定性任务。此外，还强调了需要通过专家调查和相关度量和方法的研究明确定理生成程序和有趣几何定理之间的关系。