论文标题
布鲁维尔的粉丝定理
Brouwer's fan theorem
论文作者
论文摘要
布鲁维尔（Brouwer）的粉丝定理指出，每个酒吧都是统一的酒吧。我们在Bishop的建设性数学中概述了该公理的状态。特别是，我们描述了风扇定理，弱könig引理和均匀连续性定理之间的关系。
Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak König lemma, and the uniform continuity theorem.
