会员服务
Shannon meets Gödel-Tarski-Löb: Undecidability of Shannon Feedback Capacity for Finite-State Channels
Arxiv
0+阅读 · 3月18日
Homotopy Cardinality and Entropy
Arxiv
0+阅读 · 3月13日
Machine Space I: Weak exponentials and quantification over compact spaces
Arxiv
0+阅读 · 2月19日
Homotopy Cardinality and Entropy
Arxiv
0+阅读 · 3月6日
Homotopy Cardinality and Entropy
Arxiv
0+阅读 · 3月3日
Undecidability of the block gluing classes of homshifts
Arxiv
0+阅读 · 2月25日
Constructing (Co)inductive Types via Large Sizes
Arxiv
0+阅读 · 2月21日
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
Arxiv
0+阅读 · 2月7日
Self-referential instances of the dominating set problem are irreducible
Arxiv
0+阅读 · 2月11日
Generalized Decidability via Brouwer Trees
Arxiv
0+阅读 · 2月11日
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
Arxiv
0+阅读 · 2月10日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 2月10日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 1月30日
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
Arxiv
0+阅读 · 2月2日
Decidability of Interpretability
Arxiv
0+阅读 · 2月2日
参考链接
微信扫码咨询专知VIP会员
Top