An axiomatics of geomechanics

ＡＮＡＸＩＯＭＡＴＩＣＳＯＦＧＥＯＭＥＣＨＡＮＩＣＳＣｈｅｎＺｈｅｎｇ－ｈａｎ（陈正汉）（ＬａｇｉｓｌｉｃａｌＥｎｇｉｎｅｅｒｉｎｇＵｎｉｖｅｒｓｉｔｙ,Ｃｈｏｎｇｑｉｎｇ）（ＲｅｃｅｉｖｅｄＦｅｂ．２１．１９９４;ＣｏｍｍｕｎｉｃａｔｅｄｂｙＪｉａ...     

Logic of proofs with substitution

The substitution operation in logic of proofs is axiomatized. For the system constructed, symbolic semantics is introduced and a completeness theorem is proved.     

Human Perception as a Phenomenon of Quantization

For two decades, the formalism of quantum mechanics has been successfully used to describe human decision processes, situations of heuristic reasoning, and the contextuality of concepts and their combinations. The phenomenon of ‘categorical perception’ has put us on track to find a possible deeper cause of the presence of this quantum structure in human cognition. Thus, we show that in an archetype of human perception consisting of the reconciliation of a bottom up stimulus with a top down cognitive expectation pattern, there arises the typical warping of categorical perception, where groups of stimuli clump together to form quanta, which move away from each other and lead to a discretization of a dimension. The individual concepts, which are these quanta, can be modeled by a quantum prototype theory with the square of the absolute value of a corresponding Schrödinger wave function as the fuzzy prototype structure, and the superposition of two such wave functions accounts for the interference pattern that occurs when these concepts are combined. Using a simple quantum measurement model, we analyze this archetype of human perception, provide an overview of the experimental evidence base for categorical perception with the phenomenon of warping leading to quantization, and illustrate our analyses with two examples worked out in detail.     

Canonical form of Tarski sets in Zermelo-Fraenkel set theory

We establish the equivalence of the notions of an inaccessible cumulative set and uncountable Tarski set. In addition, the equivalence of these notions and that of a galactic set is proved.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 323–333.Original Russian Text Copyright © 2005 by E. I. Bunina, V. K. Zakharov.This revised version was published online in April 2005 with a corrected issue number.     

Steps Towards the Axiomatic Foundations of the Relativistic Quantum Field Theory: Spin-Statistics, Commutation Relations, and CPT Theorems

A realistic physical axiomatic approach of the relativistic quantum field theory is presented. Following the action principle of Schwinger, a covariant and general formulation is obtained. The correspondence principle is not invoked and the commutation relations are not postulated but deduced. The most important theorems such as spin-statistics, and CPT are proved. The theory is constructed form the notion of basic field and system of basic fields. In comparison with others formulations, in our realistic approach fields are regarded as real things with symmetry properties. Finally, the general structure is contrasted with other formulations.     

岩土力学的公理化理论体系*

本文以混合物理论为基础,融理性力学、不可逆过程热力学和土力学的精华于一体,提出了岩土力学的公理化理论体系。该理论体系包括5个基本定律和8个本构原理,它们在纯力学理论和工程实际的鸿沟之间架起了一道桥梁。     

To Consider the Electromagnetic Field as Fundamental,and the Metric Only as a Subsidiary Field

In accordance with an old suggestion of Asher Peres (1962), we consider the electromagnetic field as fundamental and the metric as a subsidiary field. In following up this thought, we formulate Maxwell’s theory in a diffeomorphism invariant and metric-independent way. The electromagnetic field is then given in terms of the excitation and the field strength F = (E,B). Additionally, a local and linear “spacetime relation” is assumed between H and F, namely H ~ κ F, with the constitutive tensor κ. The propagation is studied of electromagnetic wave fronts (surfaces of discontinuity) with a method of Hadamard. We find a generalized Fresnel equation that is quartic in the wave covector of the wave front. We discuss under which conditions the waves propagate along the light cone. Thereby we derive the metric of spacetime, up to a conformal factor, by purely electromagnetic methods.     

Axiomatics of theD-dimension in the class of weakly countable-dimensional compact spaces

Axiomatics of the Henderson dimension in the class of weakly countable-dimensional compact spaces is described. Translated fromMatematicheskie Zamelki, Vol. 60, No. 6, pp. 912–918, December, 1996.