平行公设的独立性与两直角等腰四边形上的锐角假设
历史与综述
2016-10-05 v3
摘要
我们追溯了非欧几何一致性和平行公设独立性的论证发展，展示了随着形式化几何概念的引入，论证如何变得更加严谨。我们利用这些哲学观点解释了为什么欧几里得几何的确定性受到后来被视为其替代物的几何发展的威胁。最后，我们提供了一个模型，为使用自然语言进行证明和演示奠定基础，以研究两直角等腰四边形上的锐角假设，该四边形具有直线形顶边。
引用
@article{arxiv.1203.2243,
title = {The independence of the parallel postulate and the acute angles hypothesis on a two right-angled isosceles quadrilateral},
author = {Christos Filippidis and Prodromos Filippidis},
journal= {arXiv preprint arXiv:1203.2243},
year = {2016}
}