数学基础中的超穷构造  

Transfinite Constructions in the Foundation of Mathematics

作　　者：裘江杰[1] Qiu Jiangjie

机构地区：[1]中国人民大学哲学院

出　　处：《哲学门》2022年第1期211-223,共13页Beida Journal of Philosophy

摘　　要：超穷构造是数学基础和逻辑学中常用的方法,它们体现了一种分而治之的思想;依据构造的实施的不同,主要有步进构造、滤子构造以及可损构造三类构造方法。本文结合具体的例子,相对系统地梳理了这三类超穷构造方法,同时也揭示了它们背后的机制。Transfinite Constructions are common methods in mathematics and logic,which embodies the idea of divide and conquer.There are three kinds of construction methods:step by step,filter construction and injury construction,according to the different implementation of the construction.Combined with several examples,we will systematically sorts out the three kinds of transfinite constructions,and reveals the mechanism behind them.

关 键 词：步进构造 滤子构造 可损构造 

分 类 号：O1-02[理学—数学]