Screen Library直觉主义逻辑的语义基础
Saved in:
| Main Authors: | |
|---|---|
| Published: |
上海三联书店
|
| Publisher Address: | 上海 |
| Publication Dates: | 2014 |
| Literature type: | Book |
| Language: | Chinese |
| Subjects: | |
| Carrier Form: | 138页: 图 ; 23cm |
| ISBN: | 978-7-5426-4613-2 |
| Index Number: | B815 |
| CLC: | B815.9 |
| Call Number: | B815.9/4920 |
| Contents: | 本书在Cantor和Posy的基础上提出实无穷与潜无穷在本体论和认识论上的分野，直觉主义将无穷问题从本体论转到认识论。指出Brouwer思想发展的两个阶段对于理解直觉主义一系列概念至关重要。分析了这两个阶段里直觉、构造概念和无穷观所发生的重大变化。并详细分析了自然数概念的构造性、递归函数类及其与ω-规则的关系，指出Brouwer的基本观念是非有穷的序列只有在能构造、能直觉时才能成为数学的对象，从直觉主义角度解决了ω-规则等问题。从 |