This paper is a continuation of William Zell's thesis, A Model of Non-Euclidean Geometry in Three Dimensions. The purpose of that thesis was to show that the axioms of non-Euclidèan geometry are consistent if Euclidean geometry an& hence arithrnetic is consistent. Mr. Zell. discussed the axioms of connection and order...
The classical theory of elasticity and plasticity does
not recognize explicitly the existence of a "transition
zone" between elastic and plastic states, which instead,
makes extensive use of ad-hoc, semi-empirical laws, such as
yield conditions, at the "yield surface" to match both the
extreme states. In the present investigation, it...
A technique of differentiation with respect to the distance to
the boundary of an outer parallel-body is applied to known measures of
sets of p-dimensional linear spaces which intersect a general convex
body in n-dimensional euclidean space in order to obtain an appropriate
definition of the measures of sets of...
In this paper a direct, constructive proof of the equivalence of the Normal Algorithm and Turing machine using the Turing machines NAS (Normal Algorithm Simulator) and NAC (Normal Algorithm Converter) is presented. The Turing machine NAS can simulate any particular Normal Algorithm, and NAG can convert the quintuples of a...