Computability in Basic Quantum Mechanics
Computability in Basic Quantum Mechanics
复制标题
基础量子力学中的可计算性
DOI：
10.23638/lmcs-14(2:14)2018
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
T. Streicher
中科院分区：
文献类型：
--
作者：
Martin Pape;T. Streicher
在第二类有效性(TTE)的意义下，我们讨论了量子力学的基本概念，如态和能观的可计算性。这不是直接完成的，而是通过使用Schroeder和Simpson开发的拓扑域理论的函数可实现性来实现的。我们将由可容许表示诱导的自然拓扑与泛函分析和测度论中所考虑的拓扑联系起来。
We discuss computability of basic notions of quantum mechanics like states and observables in the sense of Type Two Effectivity (TTE). This is not done directly but via function realizability using topological domain theory as developed by Schroeder and Simpson. We relate the natural topologies induced by admissible representations to topologies considered in functional analysis and measure theory.
脱敏谷氨酸受体塑造虎蝾螈视网膜神经节细胞的兴奋性突触输入。
DOI：
10.1523/jneurosci.15-09-06189.1995
发表时间：
1995
期刊：
The Journal of neuroscience : the official journal of the Society for Neuroscience.
影响因子：
--
作者：
Lukasiewicz,PD;Lawrence,JE;Valentino,TL
通讯作者：
Valentino,TL