中文

对风车问题的公理化审视

逻辑 2012-09-27 v1 度量几何

摘要

我们将第 52 届国际数学奥林匹克竞赛中作为第 2 题提出的直观语言描述的问题形式化为正式陈述,并证明其在有序正则结合平面中是有效的,这是其模型可嵌入射影有序平面的最弱有序几何。

关键词

引用

@article{arxiv.1209.5979,
  title  = {An axiomatic look at a windmill},
  author = {Victor Pambuccian},
  journal= {arXiv preprint arXiv:1209.5979},
  year   = {2012}
}

备注

10 pages