Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

An algebra of sentences of the quite intuitionistic protothetics, that is, an intuitionistic propositional logic with quantifiers augmented by the negation of the excluded middle, is a faithful model of intuitionistic propositional logic.     

On an extremal problem of Selberg

We consider the minimum value m_p of the product under the conditions that and . This problem stems from estimation of the Selberg integral appeared in the study of integral-valued entire functions [A. Selberg, Über einen Satz von A. Gelfond, Arch. Math. Naturvid. 44 (1941) 159–170]. We give upper and lower estimates of m_p : . This, in particular, slightly improves the earlier lower estimate given by Selberg: logm_p>p·0.31654924….     

遗传算法的物理解释

提出了一种理想化的模拟仿生搜索算法——扰动算法 ,以此方法为基础 ,分析了遗传算法的搜索过程和效率问题 ,阐明了遗传算法作为一种次优算法的有效性 .相对于遗传算法的生物解释 ,本文给出了相应的物理解释 .同时 ,本文为遗传算法、进化策略和模拟退火算法找到了一种统一的物理解释 ,揭示了这些重要的仿生类算法实质上的相似性 .     

An integrable semi-discrete equation and combinatorial numbers with their combinatorial interpretations

A Hankel type determinant solution for an integrable semi-discrete equation is presented. As an application, the relations between the solution and combinatorial numbers are discussed, which lead to new combinatorial numbers. The so-called Motzkin-like numbers are obtained, and the corresponding combinatorial interpretation is given. Additionally, it is also shown that some lattice paths have connections with the special solution.     

Nonlocality in the Expanding Infinite Well

According to D. Bohm's interpretation of quantum mechanics, a particle always has a well-defined spatial trajectory. A change in boundary conditions can nonlocally change that trajectory. In this note we point out a striking instance of this phenomenon that is easy to understand qualitatively.     

Remarks on Mohrhoff's Interpretation of Quantum Mechanics

In a recently proposed interpretation of quantum mechanics, U. Mohrhoff advocates original and thought-provoking views on space and time, the definition of macroscopic objects, and the meaning of probability statements. The interpretation also addresses a number of questions about factual events and the nature of reality. The purpose of this note is to examine several issues raised by Mohrhoff's interpretation, and to assess whether it helps providing solutions to the long-standing problems of quantum mechanics.     

What’s Wrong with Einstein’s 1927 Hidden-Variable Interpretation of Quantum Mechanics?

Einsteins unpublished 1927 deterministic trajectory interpretation of quantum mechanics is critically examined, in particular with regard to the reason given by Einstein for rejecting his theory. It is shown that the aspect Einstein found objectionable—the mutual dependence of the motions of particles when the (many-body) wavefunction factorises—is a generic attribute of his theory but that this feature may be removed by modifying Einsteins method in either of two ways: using a suggestion of Grommer or, in a physically important special case, using a simpler technique. It is emphasized though that the presence or absence of the interdependence property does not determine the acceptability of a trajectory theory. It is shown that there are other grounds for rejecting Einsteins theory (and the two modified theories), to do with its domain of applicability and compatibility with empirical predictions. That Einsteins reason for rejection is not a priori grounds for discarding a trajectory theory is demonstrated by reference to an alternative deterministic trajectory theory that displays similar particle interdependence yet is compatible with quantum predictions.PACS: 03.65.Bz.Essay written in memory of J.T. Cushing.     

瑞奇-康芒两角度检测法的一种波像差解读方法

瑞奇-康芒法是大口径平面元件面形检测的有效方法.通过分析检测光瞳到被检平面的位置转换关系以及波像差到面形误差的幅值转换关系,分别对检测得到的波像差以及干涉仪离焦产生的Power进行转换处理,利用最小二乘法计算出瑞奇-康芒两角度检测时的干涉仪离焦量,从而获得被检平面的面形误差分布.实验部分给出了第4项到第37项泽尼克多项...     

The Observer in the Quantum Experiment

A goal of most interpretations of quantum mechanics is to avoid the apparent intrusion of the observer into the measurement process. Such intrusion is usually seen to arise because observation somehow selects a single actuality from among the many possibilities represented by the wavefunction. The issue is typically treated in terms of the mathematical formulation of the quantum theory. We attempt to address a different manifestation of the quantum measurement problem in a theory-neutral manner. With a version of the two-slit experiment, we demonstrate that an enigma arises directly from the results of experiments. Assuming that no observable physical phenomena exist beyond those predicted by the theory, we argue that no interpretation of the quantum theory can avoid a measurement problem involving the observer.