nondefinability

[美國]/ˌnɒndɪˌfaɪnəˈbɪləti/
[英國]/ˌnɑːndɪˌfaɪnəˈbɪləti/

中文釋義

n. 無法定義的性質或狀態;無法被定義的狀態;(邏輯學、數學)概念、集合或函數在某一給定形式系統中無法被形式化定義的性質。

短語搭配

conceptual nondefinability

Traditional Chinese_translation

inherent nondefinability

Traditional Chinese_translation

nondefinability theorem

Traditional Chinese_translation

nondefinability result

Traditional Chinese_translation

recursive nondefinability

Traditional Chinese_translation

essential nondefinability

Traditional Chinese_translation

logical nondefinability

Traditional Chinese_translation

formal nondefinability

Traditional Chinese_translation

semantic nondefinability

Traditional Chinese_translation

inductive nondefinability

Traditional Chinese_translation

例句

the nondefinability theorem demonstrates fundamental limits in formal systems.

不可定義定理展示了形式系統中的基本限制。

mathematical logic often explores the nondefinability of certain sets.

數學邏輯經常探討某些集合的不可定義性。

semantic nondefinability creates challenges in computational linguistics.

語義上的不可定義性在計算語言學中帶來挑戰。

researchers prove nondefinability results using diagonalization arguments.

研究人員使用對角線化論證來證明不可定義性的結果。

the nondefinability of truth in arithmetic was proven by tarski.

塔斯基證明了算術中真理的不可定義性。

inherent nondefinability prevents complete formal characterization of complex concepts.

內在的不可定義性阻止了對複雜概念的完整形式化描述。

logical nondefinability emerges from the interaction between syntax and semantics.

邏輯上的不可定義性來自於語法與語義之間的互動。

formal nondefinability results have profound implications for artificial intelligence.

形式上的不可定義性結果對人工智慧有深遠的影響。

the phenomenon of nondefinability challenges our understanding of formal systems.

不可定義性的現象挑戰了我們對形式系統的理解。

model theory provides tools to analyze nondefinability in various structures.

模型理論提供了分析各種結構中不可定義性的工具。

computational complexity theory studies the nondefinability of certain functions.

計算複雜度理論研究某些函數的不可定義性。

philosophical implications of nondefinability extend to the limits of human knowledge.

不可定義性的哲學含義延伸至人類知識的極限。

下載 App 以解鎖完整內容

想更有效率地學習單字嗎?下載 DictoGo 應用程式,享受更多單字記憶與複習功能!

立即下載 DictoGo