请问「可构造序数」是什么意思？
2026-07-11 07:19:47
「可构造序数」读音
拼音 kě gòu zào xù shù，注音 ㄎㄜˇ ㄍㄡˋ ㄗㄠˋ ㄒㄩˋ ㄕㄨˋ
| 拼音字母 | ke gou zao xu shu |
|---|---|
| 拼音首字母 | kgzxs |
| 注音符号 | ㄎㄜ ㄍㄡ ㄗㄠ ㄒㄩ ㄕㄨ |
| 注音首符号 | ㄎㄍㄗㄒㄕ |
「可构造序数」释义
扩展释义 可构造序数(constructive ordinal)是一种特殊的序数。α为可构造序数，是指存在一个记号系统S，使得S中有α的记号。可构造序数都是可数序数，可构造序数的全体构成序数的一个前节，并且可构造序数只有可数多个。从直观上说，可构造序数是可以在自然数上能行表示的序数。事实上，对任何可构造序数，都存在递归相关的单一的记号系统S，使得S中有该序数的记号。此外，可构造序数也恰为递归序数。最早定义可构造序数并对之进行研究的是美国数学家、逻辑学家丘奇(A.Church)。
推荐