关于布劳威尔的若干公理
逻辑
2022-11-14 v2
摘要
我们讨论直觉主义数学在构造性数学领域中的地位。我们讨论布劳威尔所捍卫并使用但被 Bishop 拒绝的一些原则，如连续性原理、扇定理与杆定理。我们阐释它们在构造性数学发展中的一些推论，如 Borel 分层定理与直觉主义拉姆齐定理。我们深入考察测度与积分理论，因为 Bishop 在该领域所走路径与布劳威尔不同。
引用
@article{arxiv.2202.06078,
title = {On some of Brouwer's axioms},
author = {Wim Veldman},
journal= {arXiv preprint arXiv:2202.06078},
year = {2022}
}