Constructive mathematics reconsiders traditional foundational approaches by emphasising explicit constructions and algorithmic content rather than relying solely on non-constructive existence proofs.

摘要：研究人员在构造性数学(constructive mathematics)与证明辅助工具Minlog框架下，基于Curry-Howard对应(即程序提取program extraction)，将经典数论谓词(divisibility、primality等) 摘要：研究人员在构造性数学(constructive ...