哲学研究
哲學研究
철학연구
Philosophical Researches
2012年
6期
112~115
,共null页
对角线 复杂度 系统 元素 实数集 不可数 汤姆逊 哥德尔
對角線 複雜度 繫統 元素 實數集 不可數 湯姆遜 哥德爾
대각선 복잡도 계통 원소 실수집 불가수 탕모손 가덕이
对角线方法是指德国学者康托尔(G.Cantor)在证明实数集不可数时所运用的一种技术方法。在这种意义上,康托尔的实数集不可数论本身便是对角线方法的一种重要运用。此外,对角线方法还有两种重要运用,即哥德尔对角线定理和汤姆逊引理的证明。
對角線方法是指德國學者康託爾(G.Cantor)在證明實數集不可數時所運用的一種技術方法。在這種意義上,康託爾的實數集不可數論本身便是對角線方法的一種重要運用。此外,對角線方法還有兩種重要運用,即哥德爾對角線定理和湯姆遜引理的證明。
대각선방법시지덕국학자강탁이(G.Cantor)재증명실수집불가수시소운용적일충기술방법。재저충의의상,강탁이적실수집불가수론본신편시대각선방법적일충중요운용。차외,대각선방법환유량충중요운용,즉가덕이대각선정리화탕모손인리적증명。