论文标题
沟通渠道和塔斯基的真相定理中的不可转移性
Non-Transferability in Communication Channels and Tarski`s Truth Theorem
论文作者
论文摘要
本文探讨了通信渠道内的可转让性概念,特别关注无法通过这些渠道传输某些情况。通道的非转移性定理确定,没有编码编码机制可以将所有命题以及它们的真实价值从发射器完全发送到接收器。该定理强调,当通信渠道试图传输其自身错误状态时,它不可避免地会进入不可转移的条件。我认为,塔斯基的真理不确定性定理与通信渠道中不可转化的概念相似。如本文所示,交流理论中不可转移的代码的存在在数学上等同于Tarski定理中所阐明的真理的不确定性。这种等效性类似于计算机科学中不可竞争函数的存在与戈德尔在数学逻辑中的第一个不完整定理之间的关系。这种新的观点阐明了Tarski定理的其他方面,从而更清晰地表达了其含义。 关键词:非转移性,渠道理论,塔斯基的真相定理,语义。
This article explores the concept of transferability within communication channels, with a particular focus on the inability to transmit certain situations through these channels. The Channel Non-Transferability Theorem establishes that no encoding-decoding mechanism can fully transmit all propositions, along with their truth values, from a transmitter to a receiver. The theorem underscores that when a communication channel attempts to transmit its own error state, it inevitably enters a non-transferable condition. I argue that Tarski`s Truth Undefinability Theorem parallels the concept of non-transferability in communication channels. As demonstrated in this article, the existence of non-transferable codes in communication theory is mathematically equivalent to the undefinability of truth as articulated in Tarski`s theorem. This equivalence is analogous to the relationship between the existence of non-computable functions in computer science and Gödel`s First Incompleteness Theorem in mathematical logic. This new perspective sheds light on additional aspects of Tarski`s theorem, enabling a clearer expression and understanding of its implications. Keywords: Non-Transferability, Channel Theory, Tarski`s Truth Theorem, Semantic.