Scifaro

中文

无点形式的微积分基本定理及其在指数函数和对数函数中的应用

范畴论 2023-12-11 v1 逻辑

作者: Steven Vickers

在 arXiv 上查看 ↗ PDF ↗

摘要

在几何逻辑约束下的无点拓扑框架中，我们证明了微积分基本定理，并将其应用于推导 $x^\alpha$ 、 $\gamma^x$ 和 $\log_\gamma x$ 的常用导数规则。

关键词

无点拓扑几何逻辑微积分基本定理导数指数函数

引用

@article{arxiv.2312.05228,
  title  = {The Fundamental Theorem of Calculus point-free, with applications to exponentials and logarithms},
  author = {Steven Vickers},
  journal= {arXiv preprint arXiv:2312.05228},
  year   = {2023}
}

备注

20 pages, 2 figures