直觉主义逻辑的语义基础
认领
0粉丝
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的
简介
在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。 指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。 详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的... 更多
属性
出版社
上海三联书店
ISBN
9787542646132
出版年
2014-4
装帧
平装
价格
32.00
评价
0.0（满分 10 分）0 个评分
什么是点评分
全部评价(
0)
推荐率
100%