布劳维尔相关论文
布劳维尔是20世纪伟大的数学家、哲学家，他提出的直觉主义数学及直觉主义逻辑继弗雷格和罗素的古典逻辑形式系统之后影响极为广大和......
阐述了直觉主义者的主要观点，认为海丁演算系统的提出是直觉主义逻辑最重要的发展，并对海丁演算系统的特点作了介绍和评价。同时介绍......
