形式不可判定命題
中 文 形式不可判定命題
英 文 formal undecidable proposition
出 處 數學名詞-兩岸數學名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
形式不可判定命題 | formal undecidable proposition | 【數學名詞-兩岸數學名詞 】 |
形式不可判定命題 | formal undecidable proposition | 【數學名詞】 |
不可判定環 | undecidable rings | 【數學名詞】 |
不可判定性 | undecidability | 【數學名詞】 |
本質不可判定性 | essential undecidability | 【數學名詞】 |
不定形式;不定型 | indefinite form | 【數學名詞】 |
不可重定位階段 | nonrelocatable phase | 【電子計算機名詞】 |
可判定子類 | decidabe subclass | 【電子計算機名詞】 |
亞羅不可能定理 | Arrow's impossibility axiom | 【行政學名詞】 |
亞羅不可能定理 | Kenneth Arrow's impossibility theorem | 【行政學名詞】 |
卡拉索多里不可達定理 | Carathéodory axiom of inaccessibility | 【物理學名詞】 |
可判定性 | decidability | 【數學名詞-兩岸數學名詞 】 |
既約多項式,不可約多項式 | irreducible polynomial | 【電力工程】 |
可判定性 | decidability | 【數學名詞】 |
不可測定的損失 | undeterminable loss | 【化學名詞-化學術語】 |
不能判定區域 | Inconclusive region | 【經濟學】 |
亞羅不可能定理 | Arrow’s impossibility theorem | 【經濟學】 |
特定命題 | particular proposition | 【電子計算機名詞】 |
否定命題 | negative proposition | 【兩岸對照名詞-數學】 |
否定命題 | negative proposition | 【數學名詞-兩岸數學名詞 】 |